Verifying timing synchronization constraints in distributed embedded architectures.
A. C. RajeevSwarup MohalikS. RameshPublished in: DATE (2012)
Keyphrases
- real time embedded
- distributed systems
- meeting scheduling
- constraint satisfaction
- distributed environment
- heterogeneous environments
- embedded systems
- neural network
- distributed constraint satisfaction
- lightweight
- distributed constraint optimization problems
- real time
- communication cost
- constrained optimization
- search algorithm
- model checking
- cooperative
- fault tolerant
- global constraints
- linear constraints
- database systems
- genetic algorithm
- search space