Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.
Elisabeth PelzDietmar TutschPublished in: ICATPN (2007)
Keyphrases
- network on chip
- formal models
- routing algorithm
- interconnection networks
- ad hoc networks
- formal model
- shortest path
- routing protocol
- network traffic
- wireless sensor networks
- rule based systems
- process model
- multipath
- network simulator
- multi processor
- energy consumption
- petri net
- network resources
- end to end
- end to end delay
- rule base
- computer networks
- data transfer
- knowledge based systems
- response time
- expert systems