1108 search results - page 191 / 222 » Algorithm Transformation for FPGA Implementation |
102
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
129
click to vote
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
110
click to vote
MSV
2004
15 years 3 months ago
2004
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
121
click to vote
Publication
We present a pose estimation method for rigid
objects from single range images. Using 3D models of the
objects, many pose hypotheses are compared in a data-parallel
version of t...
107
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
In a shared server infrastructure, a scheduler controls how quantities of resources are shared over time in a fair manner across multiple, competing consumers. It should support w...