126 search results - page 26 / 26 » A Model Checking Approach to Protocol Conversion |
124
Voted
EUROSYS
2006
ACM
16 years 15 days 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...