Formal timing analysis of automatic repeat request for switched real-time networks.
Philip AxerDaniel ThieleRolf ErnstPublished in: SIES (2014)
Keyphrases
- real time
- semi automatic
- network design
- social networks
- formal model
- low cost
- database systems
- data sets
- network structure
- fully automatic
- control system
- web services
- high speed networks
- telecommunication networks
- real time systems
- power law
- network size
- high bandwidth
- packet switched
- quality of service
- high speed
- video sequences
- bayesian networks
- website
- information systems
- neural network