loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Application of Concurrency to System Design (ACSD'01)
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
Newcastle upon Tyne, UK
June 25-June 29
ISBN: 0-7695-1071-X
ASCII Text
x 
 
Jerry Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, "Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems," Application of Concurrency to System Design, International Conference on, pp. 13, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2001.981761,
author = {Jerry Burch and Roberto Passerone and Alberto L. Sangiovanni-Vincentelli},
title = {Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1071-X},
pages = {13},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981761},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
SN - 0-7695-1071-X
SP
EP
A1 - Jerry Burch,
A1 - Roberto Passerone,
A1 - Alberto L. Sangiovanni-Vincentelli,
PY - 2001
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Jerry Burch, Cadence Berkeley Laboratories
Roberto Passerone, Cadence Design Systems, Inc.
Alberto L. Sangiovanni-Vincentelli, University of California at Berkeley
System level design is complex. One source of this complexity is that systems are often heterogeneous: different models of computation (e.g., dataflow, FSMs) are used to describe different components of a system. Existing formal methods for concurrent systems are typically based on one particular model of computation, so it is difficult to formalize the interaction between heterogeneous components. In this paper, we develop a framework for formalizing the relationships between different models of computation.
Citation:
Jerry Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, "Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems," acsd, pp.13, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.