Home
Introduction
Courses
Research
Publications
Biography
Honors
CV in PDF
My Facebook
List of Past Courses
Graduate Student Recruiting
Embedded Systems Laboratory
Research Summary
Research Projects
Members
Letters and Advice
Full List (PDF)
Listings
▶
My Books
My Talks
State Graph Manipulators (CTL Model Checker)
VERTAF (Framework for Embedded Real-Time Software)
PLX/OS (OS for PLX Processor)
IEEE Real-Time Research Repository
Hardware-Software Codesign
Verification Tools
CODES
DSVV'2000
RTC'1999
Codesign Special Session, PDPTA'99
E-mail Pao-Ann Hsiung
Contact Information
Site FAQ
Google Scholar Profile
IEEE Explore
ACM Portal
ACM Digital Library
DBLP Bibliography
Real-Time Systems
Hardware-Software Codesign
Verification
Design Automation
Year 2011
Year 2010
Year 2009
Year 2008
Year 2007
Year 2006
Year 2005
Year 2004
Year 2003
Year 2002
Year 2001
Year 2000
Year 1999
Year 1998
Reconfigurable Computing Seminar
(Spring 2007, CSIE-Grad, #4108595-01)
Embedded Software Engineering (Design)
(Fall 2007, 2006, 2005, Spring 2004, 2002, CSIE-Grad, #4105811-01, #4105801-01)
Computer-Aided Verification
(Spring 2006, 2004, Fall 2001, CSIE-Grad, #4105900-01)
SoC Design Flow and Tools
(Fall 2003, Spring 2005, CSIE-Grad, #4105592-01)
Software Engineering
(Spring 2007, CECS-Grad, #435A002-01, Fall 2007, 2006, 2005, CSIE-Dept, #4103022-01)
(Spring 2003, CSIE-Grad, #4105810-01)
Operating Systems
(Fall 2001, 2002, 2003, 2004, CSIE-Dept, #4103000-0[1,2])
Hardware-Software Codesign
(Spring 2001, CSIE-Grad, #4105802-01)
System Programming
(Spring 2007, 2006, 2005, CSIE-Dept, #4104071-01)
Program Design
(Spring 2002-2003, CSIE-Dept, #4102020-01)
Special Topics in Computer Science
(Spring 2003, CSIE-Dept, #410600[2,4,5]-01)
Introduction to Computer Science
(Spring 2001, Chem-2, #4101006-03)
Vita in PDF
Vita in HTML
Letters and Advice for My Students
Pao-Ann Hsiung
National Chung Cheng University
, Taiwan.
熊博安
國立中正大學資訊工程學系教授
給學生的信
工作熱情
2007/04/09
快樂與懶惰
2007/04/12
你覺得開車會浪費時間嗎?
2007/04/21
Some Advice
How to be a Winner in Research?
2006/08/16
Research Method and Attitude
2006/09/11
How to give a BAD TALK?
2006/09/11
Academic Honesty
2007/01/17
How to present your experimental results?
2008/05/05
Racing with Time
2008/05/05
Graduation Files
(Last Updated: 2008/05/05)
Required Thesis Format for Embedded Systems Lab
(with handover checklist)
Graduation Check List
Lab Mentoring Review Forms
Mentor Review Form
Mentee Review Form
Last updated: 2008/01/24