Design and verification of multi-rate distributed systems.
Wenchao LiLéonard GérardNatarajan ShankarPublished in: MEMOCODE (2015)
Keyphrases
- distributed systems
- fault tolerant
- concurrent systems
- software architecture
- high assurance
- distributed environment
- loosely coupled
- operating system
- load balancing
- deadlock detection
- design process
- fault tolerance
- geographically distributed
- distributed database systems
- data replication
- distributed computing
- agent technology
- case study
- security policies
- replicated data
- message passing
- model checking
- mobile agents
- functional verification