MEMOCODEFormal Methods and Models for Codesign (International Conference)
MEMOCODEConference on Formal Methods and Programming Models for Codesign
References in periodicals archive ?
Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer and Muralidaran Vijayaraghavan from MIT's Computer Science and Artificial Intelligence Lab were voted winners of the design contest by MEMOCODE 2007 attendees, held in June in Nice, France.
This year's DAC collocated events are: the Semiconductor Test Consortium; MEMOCODE 2008; 6th IEEE Symposium on Application Specific Processors; Gigascale Systems Research Center Quarterly Workshop (GSRC); International Workshop on Hardware-Oriented Security and Trust (HOST-2008); and the IEEE/ACM Symposium on Nanoscale Architectures (NANOARCH '08).
Tutorial and MEMOCODE conference registration and details can be found on the conference website at http://svl1.