Login / Signup
A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems.
Kåre Harbo Poulsen
Paul Pop
Viacheslav Izosimov
Published in:
ETFA (2007)
Keyphrases
</>
fault tolerant
embedded systems
distributed systems
safety critical
fault tolerance
constraint logic programming
load balancing
low cost
real time systems
general purpose
state machine
real time
flash memory
constraint solving
computational complexity
database systems
high level