675 search results - page 33 / 135 » New reals: Can live with them, can live without them |
HPCC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
HUC
2004
Springer
15 years 4 months ago
2004
Springer
Although various interaction technologies for handling information in the ubiquitous computing environment have been proposed, some techniques are too simple for performing rich in...
IPSN
2005
Springer
15 years 4 months ago
2005
Springer
Surveillance has been a typical application of wireless sensor networks. To conduct surveillance of a given area in real life, one can use stationary watch towers, or can also use...
106
click to vote
ECOOP
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
87
Voted
MICRO
2006
IEEE
14 years 11 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...