Monitoring Partially Synchronous Distributed Systems Using SMT Solvers.
Vidhya Tekken ValapilSorrachai YingchareonthawornchaiSandeep S. KulkarniEric TorngMurat DemirbasPublished in: RV (2017)
Keyphrases
- distributed systems
- network monitoring
- modulo theories
- fault tolerant
- fault tolerance
- distributed environment
- load balancing
- real time
- monitoring system
- distributed computing
- message passing
- concurrent systems
- real time systems
- distributed database systems
- mobile agents
- operating system
- security policies
- geographically distributed
- deadlock detection
- loosely coupled
- agent technology
- statistical machine translation
- software engineering