1304 search results - page 197 / 261 » Evaluating Hardware Compilation Techniques |
169
click to vote
ACMMSP
2005
ACM
15 years 12 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
159
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
159
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper reconsiders the threat posed by Shacham's "return-oriented programming" -- a technique by which WX-style hardware protections are evaded via carefully cr...
201
click to vote
ISVC
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper introduces a new approach for volumetric visual hull reconstruction, using a voxel grid that focuses on the moving target object. This grid is continuously upd...
170
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...