DocumentCode
2783719
Title
ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]
fYear
2012
fDate
27-29 June 2012
Abstract
The following topics are dealt with: system design; networks-on-chip design; analysis algorithms; linear-time congruences; parameterised graph algebra; composition verification; trace-based semantics; large-scale on-chip dynamic programming network inferences; reachability analysis; dual-rail control logic; robust asynchronous interfacing scheme; dynamic partial order reduction improvement; sequence chart studio; state space analysis; affine data-flow graphs; and part-whole compositionality.
Keywords
concurrency control; concurrency theory; logic circuits; microprocessor chips; multiprocessing programs; multiprocessing systems; affine data-flow graphs; analysis algorithms; composition verification; dual-rail control logic; large-scale on-chip dynamic programming network inferences; linear-time congruences; networks-on-chip design; parameterised graph algebra; part-whole compositionality; partial order reduction improvement; reachability analysis; robust asynchronous interfacing scheme; sequence chart studio; state space analysis; system design; trace-based semantics;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design (ACSD), 2012 12th International Conference on
Conference_Location
Hamburg
ISSN
1550-4808
Print_ISBN
978-1-4673-1687-3
Type
conf
DOI
10.1109/ACSD.2012.33
Filename
6253448
Link To Document