SASIMI in 2012
3/8,9に別府のビーコンプラザでSASIMIが行われました.
コンピュータデザイン研究室からは,
上田さんが"A technique for SAT-based test generation through history of reusing solutions"という題目で発表しました.
本当にお疲れさまでした.
... [記事全文を表示]
ATS2011・WRTLT2011
2011年11月21日,教員の市原がニューデリー(インド)で開かれたIEEE Asian Test Symposium (ATS) 2011で研究発表を行いました.
タイトル:Test Compression Based on Lossy Image Encoding
著者:Hideyuki Ichihara, Yuka Iwamoto, Yuki Yoshikawa and Tomoo In... [記事全文を表示]