MEMOCODEFormal Methods and Models for Codesign (International Conference)
MEMOCODEConference on Formal Methods and Programming Models for Codesign
References in periodicals archive ?
MEMOCODE 2008, scheduled for June 5-7 at the Anaheim Convention Center, will bring together researches and professional practitioners of modern hardware and software systems design to address how future design methods can benefit from new results on formal methods.
Tutorial and MEMOCODE conference registration and details can be found on the conference website at http://svl1.
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.