Title :
ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]
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;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2012 12th International Conference on
Conference_Location :
Hamburg
Print_ISBN :
978-1-4673-1687-3
DOI :
10.1109/ACSD.2012.33
