809 search results - page 155 / 162 » Differential Point Rendering |
200
Voted
POPL
2004
ACM
16 years 19 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
ICFP
2004
ACM
16 years 9 days ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
117
Voted
PERCOM
2006
ACM
15 years 12 months ago
2006
ACM
Typical packet traffic in a sensor network reveals pronouncedpatterns that allow an adversary analyzing packet traffic to deduce the location of a base station. Once discovered, t...
111
Voted
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
104
Voted
VRML
2009
ACM
15 years 6 months ago
2009
ACM
Web-based applications of interactive 3D computer graphics are showing a tendency to get more interconnected and visually complex. Virtual communities like Second Life demand real...