Sign in
Computing optimal communication schedules for time-triggered networks using an SMT solver.
Christian Scholer
Rene Krenz-Baath
Ayman Murshed
Roman Obermaisser
Published in:
SIES (2016)
Keyphrases
</>
computer networks
high bandwidth
neural network
natural language processing
complex networks
communication systems
communication channels
social networks
bayesian networks
multi agent
closed form
communication cost
network design
network infrastructure
communication links