Timed Coloured Petri Nets for Performance Evaluation of DSP Applications: The 3GPP LTE Case Study.
Laura FrigerioKellie MarksArgy KrikelisPublished in: VLSI-SoC (Selected Papers) (2008)
Keyphrases
- coloured petri nets
- long term evolution
- case study
- cellular networks
- fourth generation
- formal verification
- signal processing
- digital signal processor
- radio access
- pricing model
- petri net
- video streaming
- resource allocation
- wireless communication
- software development
- lessons learned
- real world
- short range
- high speed
- design process
- digital signal processing
- wireless networks
- communication systems
- timed automata
- systolic array
- real time
- digital signal processors
- pattern recognition
- business process
- quality of service
- long range
- knowledge management
- development process