http://www.ptt.cc/bbs/NTUGIEE_ric/index.html 2012-05-17T14:18:36Z ric2k1 http://www.ptt.cc/bbs/NTUGIEE_ric/M.1337104864.A.C99.html 2012-05-16T02:01:04Z 2012-05-16T09:22:14Z <pre>2012 「邏輯、語言與計算」暑期研習營暨學分班 (FLOLAC '12) http://flolac.iis.sinica.edu.tw/flolac12/ 日期：2012 年 8 月 27 日 (週一) 至 9 月 07 日 (週五)，共計十天。</pre> hihisasa http://www.ptt.cc/bbs/NTUGIEE_ric/M.1337084551.A.BF0.html 2012-05-15T20:22:31Z 2012-05-15T20:22:30Z <pre>Title : Mapping into LUT Structures Author : Sayak Ray, Alan Mishchenko, Niklas Een, Robert Brayton Stephen Jang, Chao Chen </pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336996310.A.BF3.html 2012-05-14T19:51:50Z 2012-05-14T19:51:49Z <pre>: : 雖然照一般情況應該是先把先前一直延期的壁球先補完 : 不過有鑑於最近壁球約成功的機率偏低 : 還是讓大家有個選擇好了 : 5/16 下午三點到五點的羽球</pre> yunmeow http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336784692.A.28E.html 2012-05-12T09:04:52Z 2012-05-12T09:04:51Z <pre> Title: Effective Word-Level Interpolation for Software Verification Author: MathSAT和他快樂的夥伴們</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336760518.A.C05.html 2012-05-12T02:21:58Z 2012-05-14T19:36:07Z <pre>雖然照一般情況應該是先把先前一直延期的壁球先補完 不過有鑑於最近壁球約成功的機率偏低 還是讓大家有個選擇好了</pre> ric2k1 http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336494099.A.1CA.html 2012-05-09T00:21:39Z 2012-05-09T00:21:38Z <pre>這個不算正式的 publication, 上了還可以再投別的 conference， 之前丟 ICCAD 的也可以直接丟這邊， 真的上了的話就去墾丁練英文吧 (實驗室本來就有一堆人要過去)!</pre> pokia http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336489344.A.CB4.html 2012-05-08T23:02:24Z 2012-05-09T00:17:32Z <pre> Title: Recent Advances in Design Error and Fault Diagnosis</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336471405.A.9C2.html 2012-05-08T18:03:25Z 2012-05-08T18:03:24Z <pre>Title: Semantic Reduction of Thread Interleaving in Concurrent Programs TACAS'09 V. Kahlon, S. Sankaranarayanan, and A. Gupta </pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336387507.A.066.html 2012-05-07T18:45:07Z 2012-05-07T22:08:28Z <pre>雖然因故延了好些禮拜 但這星期應該可以如期打壁球了(?) 時間在本週五(5/11)下午四點到六點</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336236801.A.A91.html 2012-05-06T00:53:21Z 2012-05-08T15:32:34Z <pre>相信大家都知道電子所今年舉辦了桌球比賽 時間為5/27(日) 9:30~17:30在新體地下桌球室 由於報名就送馬克杯.電子所身分另可抽3C品</pre> ja77 http://www.ptt.cc/bbs/NTUGIEE_ric/M.1336209060.A.076.html 2012-05-05T17:11:00Z 2012-05-07T01:35:50Z <pre>除了leda之外，其他servers已經都上線了!!! hebe因為一個硬碟不見了(missing)，之後會再維護一次!!! 另外，因為我們移動home目錄的關係，</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335960828.A.20E.html 2012-05-02T20:13:48Z 2012-05-04T11:14:00Z <pre>: : ※ 引述《keyboardle (朱弟)》之銘言： : : 標題: [體育] 5/4 壁球 : : 時間: Sat Apr 28 01:38:26 2012 : : 下星期的體育課預訂為壁球</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335944909.A.61E.html 2012-05-02T15:48:29Z 2012-05-02T17:03:40Z <pre>: : 下星期的體育課預訂為壁球 : : 沒意外的話時間為星期五下午的四點到六點 :</pre> chengyin http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335872860.A.837.html 2012-05-01T19:47:40Z 2012-05-02T23:07:15Z <pre>V3: A Surpassing Successor of QuteRTL Back-End (Maybe 1 hour or a little more...) </pre> ric2k1 http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335864068.A.15A.html 2012-05-01T17:21:08Z 2012-05-01T17:21:07Z <pre>手動置底一下! 想參加的人請記得去報名哦! ※ 引述《ric2k1 (Ric)》之銘言： http://ppt.cc/TWsO // 競賽資訊 http://ppt.cc/5NEG // 培訓課程</pre> ijb http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335862840.A.229.html 2012-05-01T17:00:40Z 2012-05-01T17:00:39Z <pre> 用回文的好了.. 首先, 感謝相關同學或學弟們對 server的維護</pre> Gx578007 http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335770160.A.819.html 2012-04-30T15:16:00Z 2012-04-30T22:06:22Z <pre> 由於要讓leda重新上線，以及蓋上hera的主機殼 再加上hebe又亮橘燈</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335548308.A.656.html 2012-04-28T01:38:28Z 2012-05-02T13:28:22Z <pre>下星期的體育課預訂為壁球 沒意外的話時間為星期五下午的四點到六點 請有興趣的人推文表示意見!</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1335179595.A.E92.html 2012-04-23T19:13:15Z 2012-04-25T20:27:21Z <pre>: : 為了不要讓騎腳踏車一直是懸而未決的事 : : 在此先決定下星期4/25星期三來騎踏車吧! :</pre> keyboardle http://www.ptt.cc/bbs/NTUGIEE_ric/M.1334824154.A.CC9.html 2012-04-19T16:29:14Z 2012-04-24T13:44:13Z <pre>為了不要讓騎腳踏車一直是懸而未決的事 在此先決定下星期4/25星期三來騎踏車吧! 詳細時間先定下午一點在實驗室集合吧</pre>