<P class=style14><SPAN lang=EN–US><FONT face=Calibri><SPAN class=style8>The ninth MEMOCODE conference will attract researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems.</SPAN><SPAN style="mso–spacerun: yes" class=style8> </SPAN><SPAN class=style8>These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. 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.</SPAN></FONT><?XML:NAMESPACE PREFIX = O /><O:P></O:P></SPAN></P>
Abbrevation
MEMOCODE 2011
City
Cambridge,
Country
UK
Start Date
End Date
Abstract