762 search results - page 75 / 153 » Conditionally correct superoptimization |
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a system for learning the 3 DOF finepositioning task of a robot manipulator (Puma 260) using a gripper mounted camera. Small lateral gripper-target misalignments are c...
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
PG
2000
IEEE
14 years 2 months ago
2000
IEEE
Creating and rendering realistic water is one of the most daunting tasks in computer graphics. Realistic rendering of water requires that the sunlight and skylight illumination ar...
SRDS
2000
IEEE
14 years 2 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
PDP
1997
IEEE
14 years 2 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...