Sciweavers

684 search results - page 51 / 137
» Techniques for Accelerating a Grammar-Checker
Sort
View
ICSE
2012
IEEE-ACM
13 years 9 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
SI3D
2010
ACM
16 years 1 months ago
Simple data-driven modeling of brushes
We present a new and simple data-driven technique for modeling 3D brushes for use in realistic painting programs. Our technique simplifies and accelerates simulation of the const...
William Baxter, Naga K. Govindaraju
SIMVIS
2001
15 years 8 months ago
Subdivision for Line Drawings
This paper presents approaches of incorporating subdivision techniques in the rendering process for computer-generated line drawings. A new method for accelerating silhouette dete...
Bert Freudenberg
SIGMOD
2001
ACM
108views Database» more  SIGMOD 2001»
16 years 6 months ago
Improving Index Performance through Prefetching
This paper proposes and evaluates Prefetching B+ -Trees pB+ -Trees, which use prefetching to accelerate two important operations on B+ -Tree indices: searches and range scans. To ...
Shimin Chen, Phillip B. Gibbons, Todd C. Mowry
ICRA
2005
IEEE
182views Robotics» more  ICRA 2005»
16 years 9 days ago
Control Synthesis for Dynamic Contact Manipulation
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
Siddhartha S. Srinivasa, Michael Erdmann, Matthew ...