2468 search results - page 115 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
118
Voted
NSDI
2008
15 years 5 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
119
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Peer-to-peer (P2P) networks based on consistent hashing functions have an inherent load uneven distribution problem. Things are even worse in unstructured P2P systems. The objecti...
139
Voted
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
135
Voted
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
172
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...