Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 2002, Pages 13-18

  Balarin, Felice ^a   Lavagno, Luciano ^a   Passerone, Claudio ^a   Sangiovanni Vincentelli, Alberto ^a   Watanabe, Yosinori ^a   Yang, Guang ^a  

^a CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; EMBEDDED SYSTEMS; JAVA PROGRAMMING LANGUAGE; MULTIPROCESSING SYSTEMS; SEMANTICS;

METROPOLIS METAMODEL; SEQUENTIAL SIMULATION ALGORITHMS;

COMPUTER SIMULATION;

EID: 0036049213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/774789.774793     Document Type: Conference Paper

References (11)

1. Modeling and designing heterogeneous systems
2. Ptolemy: A framework for simulating and prototyping heterogeneous systems
3. YAPI: Application modeling for signal processing systems
4. Model checking for programming languages using VeriSoft
5. Simulation coverage enhancement using test stimulus transformation
6. The Pamela compiler