Satnam Singh , Barbara Jobstmann , Michael Kishinevsky , Jens Brandt (Eds.):
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011.
IEEE 2011, ISBN 978-1-4577-0117-7 Session 1:
Modeling and Implementation of Software-Hardware Systems
export record as
dblp key:
export record as
dblp key:
conf/memocode/BourgosBBBSH11
Session 2:
Synthesis Techniques
export record as
dblp key:
export record as
dblp key:
conf/memocode/HofferekB11 export record as
dblp key:
Session 3:
Transformation and Refinement Techniques
export record as
dblp key:
conf/memocode/MokhovSRY11 export record as
dblp key:
Design Contest
export record as
dblp key:
Derek Chiou :
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator.
73-76
export record as
dblp key:
conf/memocode/Papamichael11 export record as
dblp key:
conf/memocode/ZolghadrMGN11
Invited Talk 2
export record as
dblp key:
conf/memocode/SlobodovaDSH11
Session 4:
Verification Problems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/memocode/BensalemGLNP11
Invited Tutorial 2
export record as
dblp key:
Dan R. Ghica :
Function interface models for hardware compilation.
131-142
Invited Tutorial 3
export record as
dblp key:
conf/memocode/Jefferson11
Invited Talk 3
export record as
dblp key:
Mark Shand :
A case study of hardware software co-design in a consumer ASIC.
145-150
Session 5:
Verification and Simulation Techniques
export record as
dblp key:
conf/memocode/WimmerHHB11 export record as
dblp key:
export record as
dblp key:
Session 6:
Testing, Debug, and Assertion-based Validation
export record as
dblp key:
conf/memocode/Schwartz-NarbonneLPAM11 export record as
dblp key:
export record as
dblp key:
conf/memocode/GuglielmoFFPS11
data released under the ODC-BY 1.0 license
