SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems.
Silviu S. CraciunasRamon Serna OliverPublished in: RTNS (2014)
Keyphrases
- application level
- higher level
- intelligent systems
- distributed network
- neural network
- computer networks
- peer to peer
- communication channels
- search engine
- genetic algorithm
- abstraction levels
- telecommunication networks
- levels of abstraction
- real time
- scheduling algorithm
- communication networks
- single point of failure
- complex systems
- learning systems
- knowledge based systems
- distributed systems
- np hard
- expert systems
- bayesian networks
- multimedia
- artificial intelligence
- learning algorithm