932 search results - page 125 / 187 » Verifying Progress in Timed Systems |
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
ICEIS
2000
IEEE
14 years 1 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
Availability requirements for database systems are more stringent than ever before with the widespread use of databases as the foundation for ebusiness. This paper highlights Fast...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— In order to provide personalized services and to develop human-like interaction capabilities robots need to recognize their human partner. Face recognition has been studied in ...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...