An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.
Zhen ZhangWendelin SerweJian WuTomohiro YonedaHao ZhengChris J. MyersPublished in: Sci. Comput. Program. (2016)
Keyphrases
- fault tolerant
- formal analysis
- network on chip
- routing algorithm
- interconnection networks
- fault tolerance
- distributed systems
- wireless sensor networks
- ad hoc networks
- routing protocol
- shortest path
- load balancing
- multipath
- multi processor
- network simulator
- formal methods
- energy consumption
- network traffic
- agent model
- power dissipation
- program execution
- real time
- mobile agent system
- software engineering
- single processor
- network resources
- multi hop
- mobile ad hoc networks