7943 search results - page 1225 / 1589 » A calculus for costed computations |
176
click to vote
ASPLOS
2006
ACM
16 years 24 days ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
160
Voted
CSCW
2006
ACM
16 years 24 days ago
2006
ACM
In this paper, we describe a range of audio problems that impact the effectiveness of audio conferences and detail the solutions we have devised to address these problems. We cond...
151
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
164
click to vote
IWCMC
2006
ACM
16 years 24 days ago
2006
ACM
Obstacles are but pleasing for many aspects of large realworld sensor networks. Among other things, the presence of obstacles distort the sensor node localization process and migh...
172
click to vote
MM
2006
ACM
16 years 24 days ago
2006
ACM
There is a renewed interest in the 3DTV research primarily due to the advances in low cost 3D display technologies. The two views required for 3DTV can be compressed using standar...