SMT-based scheduling for multiprocessor real-time systems.
Zhuo ChengHaitao ZhangYasuo TanYuto LimPublished in: ICIS (2016)
Keyphrases
- real time systems
- real time database systems
- scheduling algorithm
- timing constraints
- multiprocessor systems
- real time
- distributed systems
- real time databases
- scheduling problem
- embedded systems
- response time
- mission critical
- architectural model
- object oriented programming language
- statistical machine translation
- real time embedded
- embedded real time systems
- low cost
- machine learning