Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones. Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. In 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. pages 99-102, IEEE Computer Society, 2010. [doi]
Abstract is missing.