over-approximation of preemptive real-time systems.
Abdelkrim AbdelliPublished in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- lower bound
- scheduling problem
- object oriented programming language
- architectural model
- approximation algorithms
- embedded real time systems
- real time database systems
- scheduling algorithm
- low cost
- timing constraints
- real time embedded
- artificial intelligence
- database
- single machine
- database systems