5220 search results - page 442 / 1044 » Changing Persistent Applications |
177
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
178
click to vote
HUC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract An infrastructure is currently being deployed for delivering multimedia services using IP endto-end. Mobile devices and application resources, because of their computing c...
198
click to vote
SIGCOMM
1995
ACM
15 years 10 months ago
1995
ACM
Data copying and checksumming are the most expensive operations when doing high-bandwidth network IO over a highspeed network. Under some conditions, outboard buffering and checks...
167
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
215
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...