1980 search results - page 297 / 396 » Compositional Model Checking of Real Time Systems |
118
click to vote
ISLPED
1999
ACM
15 years 7 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
103
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
136
click to vote
BCSHCI
2008
15 years 4 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
129
Voted
IVC
2002
15 years 2 months ago
2002
In this paper, we consider a vision-based system that can interpret a user's gestures in real time to manipulate windows and objects within a graphical user interface. A hand...
133
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...