Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms.
Landon TaylorZhen ZhangPublished in: VMCAI (2022)
Keyphrases
- routing algorithm
- network on chip
- ad hoc networks
- wireless sensor networks
- routing protocol
- shortest path
- multipath
- routing problem
- energy consumption
- network traffic
- interconnection networks
- model checking
- sensor networks
- end to end delay
- network resources
- multi hop
- energy efficient
- communication networks
- end to end