DocumentCode :
2066970
Title :
Sixth International Conference on Application of Concurrency to System Design - Title Page
fYear :
2006
fDate :
28-30 June 2006
Abstract :
The following topics are dealt with: asynchronous systems; synchronous systems; scheduling; timed systems; stochastic models; model checking; systems-on-chips algebraic approach; concurrency systems; distributed systems
Keywords :
asynchronous circuits; automata theory; distributed processing; formal verification; programming language semantics; scheduling; stochastic processes; system-on-chip; asynchronous systems; concurrency systems; distributed systems; model checking; scheduling; stochastic models; synchronous systems; systems-on-chips algebraic approach; timed systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Conference_Location :
Turku
ISSN :
1550-4808
Print_ISBN :
0-7695-2556-3
Type :
conf
DOI :
10.1109/ACSD.2006.28
Filename :
1640212
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2066970
بازگشت