Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.
Waheed AhmadRobert de GrootePhilip K. F. HölzenspiesMariëlle StoelingaJaco van de PolPublished in: ACSD (2014)
Keyphrases
- resource constrained
- optimal scheduling
- timed automata
- graph transformation
- model checking
- resource constraints
- sensor networks
- wireless sensor networks
- resource limitations
- reachability analysis
- visual sensor networks
- scheduling problem
- theorem prover
- scheduling algorithm
- first order logic
- theorem proving
- real time systems
- data sets
- temporal logic
- data collection
- distributed systems
- objective function
- artificial intelligence