4. MEMOCODE 2006:
Napa,
California,
USA
4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA.
IEEE 2006 BibTeX
Keynote Talk I
Session I:
Model Checking
Session II:
Rule-based HW Design
Session III:
HW Verification
Panel I:
Nano-Computing:
Do we need New Formal Approaches to Co-Design?
Keynote Talk II
Session IV:
Transaction-level Modeling
Panel II:
Programming Models and Languages for SOC-Implemented Architectures
Session V:
Time and Clocks
Keynote Talk III
Session VI:
Scheduling and Analysis
Poster Presentations:
Abstracts
- Masahiro Fujita, Subash Shankar, S. Shunsuke:
Equivalence checking: a rule-based approach.
197
Electronic Edition (link) BibTeX
- Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal methods for checking realizability of coalitions in 3-party systems.
198
Electronic Edition (link) BibTeX
- Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli:
A semantic-driven synthesis flow for platform-based design.
199
Electronic Edition (link) BibTeX
- Iñigo Ugarte, Pablo Sanchez:
Assertion checking of control dominated systems with nonlinear solvers.
200
Electronic Edition (link) BibTeX
- Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar:
Compositional interaction specifications for SystemC.
201
Electronic Edition (link) BibTeX
- Olivier Tardieu, Stephen A. Edwards:
R-SHIM: deterministic concurrency with recursion and shared variables.
202
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:28 2009
by Michael Ley (ley@uni-trier.de)