DocumentCode
2828864
Title
Invited talks [2011 11th International Conference on Application of Concurrency to System Design]
Author
Vogler, Walter
Author_Institution
Inst. of Comput. Sci., Univ. of Augsburg, Augsburg, Germany
fYear
2011
fDate
20-24 June 2011
Abstract
These invited talks discuss the following: STG Decomposition and Its Correctness; Asynchronous Network-On-Chip and its Potential.
Keywords
Petri nets; asynchronous circuits; network-on-chip; reachability analysis; NoC architectures; PETRIFY; PUNF&MPSAT; Petri nets; STG decomposition; asynchronous control circuit; asynchronous network-on-chip; circuit signal; delay variation tolerance; multi clock system; reachability graph; signal transition graph; speed independent circuit; state explosion;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design (ACSD), 2011 11th International Conference on
Conference_Location
Newcastle Upon Tyne
ISSN
1550-4808
Print_ISBN
978-1-61284-974-4
Type
conf
DOI
10.1109/ACSD.2011.8
Filename
5988926
Link To Document