762 search results - page 76 / 153 » Conditionally correct superoptimization |
CSCW
1996
ACM
14 years 2 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
PEPM
1994
ACM
14 years 2 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a new technique for CSG operations with voxelized geometric objects, which are represented by truncated discrete distance fields supplemented by additional information ...
ECRTS
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
FGR
2004
IEEE
14 years 1 months ago
2004
IEEE
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...