Building high-integrity distributed systems with Ravenscar restrictions.
Santiago UrueñaJuan ZamoranoPublished in: IRTAW (2007)
Keyphrases
- distributed systems
- distributed computing
- fault tolerant
- load balancing
- distributed environment
- geographically distributed
- fault tolerance
- message passing
- real time systems
- high assurance
- mobile agents
- concurrent systems
- loosely coupled
- distributed database systems
- mobile computing
- operating system
- digital libraries
- artificial intelligence
- deadlock detection
- databases