Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.
Zhen ZhangWendelin SerweJian WuTomohiro YonedaHao ZhengChris J. MyersPublished in: FMICS (2014)
Keyphrases
- formal analysis
- fault tolerant
- network on chip
- routing algorithm
- interconnection networks
- fault tolerance
- wireless sensor networks
- routing protocol
- ad hoc networks
- multipath
- distributed systems
- shortest path
- energy consumption
- network traffic
- network simulator
- multi processor
- network topology
- formal methods
- load balancing
- network resources
- base station
- agent model
- database systems
- data transfer
- high speed