[an error occurred while processing this directive]

回首頁簡介課程研究論文下載連接求助討論 English

嵌入式系統程式設計 (Embedded System Program Design)
(96學年度第一學期, 資研, #4105809-01)

軟體工程 (Software Engineering)
(96學年度第一學期, 資工系, #4103022-01)

曾開過的課程▶

課程清單討論

招募研究生招募專題生

嵌入式系統實驗室

研究大綱與領域研究計畫指導學生給學生的信

清單 (HTML, 可下載論文) 清單 (PDF)

線上清單▶ 研究領域分類▶ 年份分類▶

State Graph Manipulators (CTL 模型檢驗器) VERTAF (嵌入式即時軟體框架) PLX/OS (PLX 微處理機之嵌入式作業系統)

IEEE 即時系統資源庫硬體軟體同步設計相關資源驗證工具相關資源

DSVV'2000 RTC'1999 Codesign Special Session, PDPTA'99

寫電子郵件聯絡資訊網站答客問

IEEE Explore IEEE Computer Society ACM Digital Library DBLP Bibliography

即時系統硬體軟體同步設計正規驗證設計自動化

2011 年 2010 年 2009 年 2008 年 2007 年 2006 年 2005 年 2004 年 2003 年 2002 年 2001 年 2000 年 1999 年 1998 年

可重組式計算專題討論 (Reconfigurable Computing Seminar)
(95學年度第二學期, 資研, #4108595-01)

嵌入式軟體工程 (設計) (Embedded Software Engineering (Design))
(96, 95, 94學年度第一學期, 92, 90學年度第二學期, 資研, #4105811-01, #4105801-01)

計算機輔助驗證 (Computer-Aided Verification)
(94, 92學年度第二學期, 90學年度第一學期, 資研, #4105900-01)

晶片系統設計流程及工具 (SoC Design Flow and Tools)
(92學年度第一學期, 93學年度第二學期, 資研選修, #4105592-01)

軟體工程 (Software Engineering)
(95學年度第二學期, 通資專班 #435A002, 96, 95, 94學年度第一學期, 資工 #4103022, 91學年度第二學期, 資研 #4105810)

作業系統 (Operating Systems)
(90, 91, 92學年度第一學期, 資三 #4103000-0[1,2])

硬體軟體共同設計 (Hardware-Software Codesign)
(89學年度第二學期, 資研, #4105802-01)

系統程式 (System Programming)
(95, 94, 93學年度第二學期, 資工選修, #4104071-01)

程式設計 (Program Design)
(91學年度第二學期, 資二, #4102020-01)

計算機專題 (Special Topics in Computer Science)
(91學年度第二學期, 資研 #410600[2,4,6]-01)

計算機概論(Introduction to Computer Science)
(89學年度第二學期, 化二, #4101006-03)

履歷 (PDF) 履歷 (PS) 履歷 (HTML)

Pao-Ann Hsiung's Discussion Board

[ Post Message ] [ FAQ ]