SMT-Based Scheduling for Overloaded Real-Time Systems.
Zhuo ChengHaitao ZhangYasuo TanYuto LimPublished in: IEICE Trans. Inf. Syst. (2017)
Keyphrases
- real time systems
- real time database systems
- timing constraints
- real time databases
- allocate resources
- distributed systems
- real time
- scheduling problem
- scheduling algorithm
- object oriented programming language
- architectural model
- mission critical
- embedded systems
- parallel machines
- real time embedded
- resource allocation
- cooperative
- statistical machine translation
- data management
- software development
- resource constraints
- embedded devices
- anytime algorithms
- software engineering
- web services
- machine learning