dblp.uni-trier.de www.uni-trier.de

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

Copyright © Sat May 16 23:29:28 2009 by Michael Ley (ley@uni-trier.de)