504 search results - page 44 / 101 » Definitional Reflection and the Completion |
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...
PLDI
1992
ACM
14 years 25 days ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper we propose a video-object based coding scheme using dynamic coding. The principle of dynamic coding is to set on competition different coders on each video object. T...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Computational RFIDs (CRFIDs) provide flexible, general-purpose computation on a microcontroller via energy that is harvested and stored in capacitors rather than batteries. Our co...