Explicit precedence constraints in safety-critical Java.
Wolfgang PuffitschEric NoulardClaire PagettiPublished in: JTRES (2013)
Keyphrases
- precedence constraints
- safety critical
- scheduling problem
- branch and bound algorithm
- fault tolerant
- formal methods
- embedded systems
- agent architecture
- safety analysis
- approximation algorithms
- parallel machines
- partial order
- global constraints
- partially ordered
- lower bound
- adaptive systems
- source code
- open source
- object oriented
- np hard
- support systems
- combinatorial optimization
- artificial intelligence
- flowshop
- real time
- distributed systems
- software engineering
- low cost
- single machine
- search algorithm
- intelligent systems