Sciweavers

684 search results - page 51 / 137
» Techniques for Accelerating a Grammar-Checker
Sort
View
ICSE
2012
IEEE-ACM
12 years 9 days 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
14 years 4 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
13 years 11 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»
14 years 10 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»
14 years 3 months 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 ...