126 search results - page 26 / 26 » A Model Checking Approach to Protocol Conversion |
118
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...