223 search results - page 25 / 45 » pc 2006 |
FM
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
We present a system for the peripheral display of digital handwritten notes, motivated by the joint observation that people seldom refer back to their notes and that these notes o...
AUIC
2006
IEEE
14 years 1 months ago
2006
IEEE
We have developed an outdoor augmented reality game, Sky Invaders 3D, which is designed to be played by the game playing public. We conducted a user study to measure how much user...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
– In this paper, we describe a prototype interface that facilitates the control of a mobile robot team by a single operator, using a sketch interface on a tablet PC. The user ske...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
NAMD is a scalable molecular dynamics application, which has demonstrated its performance on several parallel computer architectures. Strong scaling is necessary for molecular dyn...