12265 search results - page 2122 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
183
Voted
SIGSOFT
2006
ACM
16 years 22 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
173
click to vote
SLIP
2006
ACM
16 years 22 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
164
click to vote
CVPR
2010
IEEE
16 years 13 days ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
178
click to vote
3DIM
2005
IEEE
16 years 12 days ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...
188
click to vote
ASAP
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...