319 search results - page 60 / 64 » Precise Dynamic Slicing Algorithms |
121
click to vote
EGH
2010
Springer
14 years 9 months ago
2010
Springer
The k-D tree is a well-studied acceleration data structure for ray tracing. It is used to organize primitives in a scene to allow efficient execution of intersection operations be...
117
click to vote
TMI
2010
14 years 6 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
PERCOM
2011
ACM
14 years 3 months ago
2011
ACM
—In this paper, we consider the problem of tracking fine-grained speeds variations of vehicles using signal strength traces from GSM enabled phones. Existing speed estimation te...
193
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
102
click to vote
NDSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...