1145 search results - page 195 / 229 » The Correctness of an Optimized Code Generation |
119
click to vote
ICDT
2001
ACM
15 years 4 months ago
2001
ACM
This paper presents a general methodology for the efficient parallelization of existing data cube construction algorithms. We describe two different partitioning strategies, one f...
HPCA
2008
IEEE
16 years 4 days ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
119
click to vote
TPDS
2008
14 years 11 months ago
2008
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....
194
click to vote
Presentation
In robotic navigation, path planning is aimed at getting the optimum collision-free
path between a starting and target locations. The optimality criterion depends on
the surround...
102
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a method for space-time completion of large space-time "holes" in video sequences of complex dynamic scenes. The missing portions are filled-in by sampling sp...