作者:
ric2k1 (Ric)
2009-05-27 00:38:49請推文註明你的選擇, 組員, 與志願序 (if multiple)
截止時間: 11:00pm Saturday (05/30)
(e.g.)
推 XXXX: [志願一] 2 王一二 李三四
推 XXXX: [志願二] 4 王一二 李三四
推 YYYYY: 6 黃忠孝 張信義
推 ZZZ: 自選 (Why do I take SoCV?) 陳虎蘭 林小三
作者: pepsione (鴻) 2009-05-27 00:42:00
4 翁榮鴻
作者: spock 2009-05-27 01:41:00
自選 (Neural Networks on NP-Complete SAT Problems)林拱民
作者: yangjiunru (‵(‵▽′)′N ) 2009-05-27 21:57:00
自選 (Real life application of word-level solver:Nurse Scheduling Problem) 吳柏翰 楊俊儒
自選(A formal-guided interconnect timing analysisconsidering process variations)
作者: gun740201 (孤獨地擁抱了真實 ) 2009-05-28 20:51:00
1 黃國僑 陳冠成 黃重豪
作者: chiungyu 2009-05-28 21:25:00
7(PB Applications) 周邦彥 李柏緯 林宭宇
作者: cerin (月童) 2009-05-29 17:17:00
自選(Formal Deadlock Detection in SystemC Design)趙悅彤
作者:
xOAtx 2009-05-29 21:02:002 賴之凡
作者: littleshamoo (About) 2009-06-02 16:01:00
4 廖官榆 劉威孝