8780 search results - page 32 / 1756 » On the Feasibility of Consistent Computations |
IPMI
2005
Springer
15 years 3 months ago
2005
Springer
CIKM
2004
Springer
15 years 1 months ago
2004
Springer
122
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
124
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Peer-to-peer technologies are increasingly becoming the medium of choice for delivering media content, both professional and homegrown, to large user populations. Indeed, current ...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...