Scheduling overload for real-time systems using SMT solver.
Zhuo ChengHaitao ZhangYasuo TanYuto LimPublished in: SNPD (2016)
Keyphrases
- real time systems
- real time database systems
- timing constraints
- real time
- distributed systems
- real time databases
- embedded systems
- mission critical
- scheduling problem
- statistical machine translation
- scheduling algorithm
- object oriented programming language
- response time
- embedded real time systems
- real time embedded
- precedence constraints
- resource constraints
- low cost