MEMOCODE 2009
Jump to navigation
Jump to search
Name | Value |
---|---|
isA | Event |
Acronym | MEMOCODE 2009 |
Title | Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign |
Start date | Jul 12, 2009 |
End date | Jul 15, 2009 |
Homepage | csg.csail.mit.edu/Memocode2009/ |
... | ... |
The seventh MEMOCODE conference will gather researchers and practitioners who create methods, tools, and architectures for hardware/software systems. Modern design faces increased design complexities in combination with tightening implementation constraints. This requires new techniques to create, refine, and verify hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to address this design problem. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results.
This CfP was obtained from WikiCFP