Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Distributed Debugging"”.
-
Simulation of composite I/O automata
… a tool that has been developed in the Theory of Distributed Systems group at MIT. This tool simulates the execution of automata described by the IOA language. It generates logs of execution traces and provides other pertinent information regarding the execution, such as the validity of specified …
-
Use of deterministic execution in testing and debugging of distributed software
… modes and anomalies. Research on testing and debugging modern distributed software has focused on designing comprehensive record and replay systems, but the large volumes of recordings often hinder the efficiency and scalability of these designs. Here, we argue for a different approach. …