A satisfiability approach to speed assignment for distributed real-time systems.

Pratyush Kumar Devesh B. Chokshi Lothar Thiele

Published in: DATE (2013)

Keyphrases

real time systems
distributed systems
real time embedded
real time
mission critical
embedded systems
distributed environment
real time database systems
object oriented programming language
np complete
timing constraints
satisfiability problem
case study
multi agent
temporal logic
anytime algorithms