Scheduling Distributed Real-Time Systems by Satisfiability Checking.
Alexander MetznerMartin FränzleChristian HerdeIngo StierandPublished in: RTCSA (2005)
Keyphrases
- real time systems
- distributed systems
- real time database systems
- timing constraints
- real time embedded
- mission critical
- meeting scheduling
- real time
- distributed environment
- embedded systems
- real time databases
- concurrency control protocols
- software engineering
- mobile agents
- scheduling problem
- object oriented programming language
- distributed database systems
- parallel machines
- anytime algorithms
- open source
- low cost
- cooperative