Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.
Hayat DaoudCamel TanougastMostefa BelarbiMikael HeilCamille DiouPublished in: Syst. (2017)
Keyphrases
- routing algorithm
- network on chip
- formal proof
- network coding
- network resources
- path selection
- interconnection networks
- wireless sensor networks
- routing protocol
- ad hoc networks
- shortest path
- multipath
- network routing
- network simulator
- packet delivery
- multi processor
- network traffic
- qos routing
- qos parameters
- wireless multimedia sensor networks
- energy consumption
- fault tolerant
- end to end delay
- wireless ad hoc networks
- real time
- low cost
- high speed
- sensor nodes
- computer networks
- multicast tree
- hardware implementation
- energy efficiency
- network structure
- data transfer
- multithreading
- power dissipation
- network topologies
- sensor networks
- mobile nodes