Pao-Ann Hsiung's Talks

(SINCE 2001 ~ )
(Last Updated: December 12, 2010)
All slides downloadable from this page are COPYRIGHTED materials.
Explicit written permission from the author is required for any sort of usage, direct or indirect, of these slide files.

Talk DateTalk Title (Slides File Format, Size)EventOccasion and Location
December 10, 2010 A Self-Adaptable Hardware-Software System Architecture for Ubiquitous Computing Applications Invited Talk National Taipei University of Technology, Department of Electronic Engineering, Taipei, Taiwan
May 11, 2010 Reconfigurable Network-on-Chip Invited Talk National Tai-Tung University, Department of Computer Science and Information Engineering, Taitung, Taiwan
April 20, 2010 Reconfigurable Computing Invited Talk Feng Chia University, Department of Computer Science and Information Engineering, Taichung, Taiwan
November 5, 2009 Reconfigurable Computing Invited Talk National Taipei University of Technology, Department of Electronic Engineering, Taipei, Taiwan
May 16, 2009 Low Power Scheduling for Embedded Systems using Real-Time Petri Nets Invited Talk Artificial Intelligence Forum, Taipei, Taiwan
December 17, 2008 Model Checking Safety-Critical Systems using Safecharts Invited Talk National Taiwan Normal University (NTNU 國立台灣師範大學), Department of Computer Science and Information Engineering, Taipei, Taiwan
November 25, 2008 Reconfigurable System Design using FPGA Invited Talk Kun Shan University, (KSU 昆山科大), Department of Electronic Engineering, Tainan, Taiwan
November 24, 2008 Reconfigurable System Design using FPGA Invited Talk National Taiwan University of Science and Technology, (NTUST 國立台灣科技大學), Department of Electronics Engineering, Taipei, Taiwan
November 7, 2008 Application of RFID Technology to Special Education (II) Invited Talk National Chiayi School of Special Education, (國立嘉義啟智學校), Chiayi, Taiwan
November 5, 2008 Application of RFID Technology to Special Education (I) Invited Talk National Chiayi School of Special Education, (國立嘉義啟智學校), Chiayi, Taiwan
September 4, 2008 Formal Verification (Part II) Invited Talk National Taichung University, (NTCU 國立台中教育大學), Department of Computer and Information Science, Taichung, Taiwan
August 28, 2008 Formal Verification (Part I) Invited Talk National Taichung University, (NTCU 國立台中教育大學), Department of Computer and Information Science, Taichung, Taiwan
July 16, 2008 Synchronous Distance Learning Techniques Invited Talk Workshop on Distance Learning Course Design and Certification, E-Learning Center, National Chung Cheng University, Chiayi, Taiwan
July 7, 2008 Computer Science and Engineering Invited Talk CS Camp, Dept. of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan
March 3, 2008 Modeling and Formal Analysis of Safety-Critical Systems using Extended Safecharts Invited Talk The 4th Taiwanese-French Conference on Information Technology, (TFIT), Taipei, Taiwan
January 18, 2008 VERTAF: Verifiable Embedded Real-Time Application Framework Invited Talk Tung-Hai University, (THU 東海大學), Department of Computer Science and Information Engineering, Taichung, Taiwan
November 30, 2007 Reconfigurable System Design and Verification Invited Seminar Talk National Pingtung Institute of Commerce, (NPIC 國立屏東商業技術學院), Department of Information Technology, Pingtung, Taiwan
October 22, 2007 Reconfigurable System Design and Verification Invited Seminar Talk National Taiwan University of Science and Technology, (NTUST 台科大), Department of Electronics Engineering, Taipei, Taiwan
September 28, 2007 Embedded Operating System Design for SIMD Processors Invited Tutorial IEEE SOC Conference, ((SOCC)), Hsinchu, Taiwan
June 22, 2007 Reconfigurable Hardware Design Invited Seminar Talk National Changhua University of Education, (NCUE 彰化師大), Department of Electronics Engineering, Changhua, Taiwan
April 3, 2007 System-Level Design with SystemC Invited Talk National Taiwan University, (NTU 台大), Department of Electrical Engineering, Taipei, Taiwan
April 18, 2006 Dynamically Reconfigurable Hardware-Software Systems Invited Seminar Talk National Changhua University of Education, (NCUE 彰化師大), Department of Computer Science and Information Engineering, Changhua, Taiwan
March 28, 2006 Dynamically Reconfigurable Hardware-Software Systems Invited Seminar Talk Chaoyang University of Technology, (CYUT 朝陽科大), Department of Computer Science and Information Engineering, Taichung, Taiwan
March 10, 2006 Hardware-Software Co-Design Techniques for Reconfigurable Systems Invited Seminar Talk National Sun-Yat Sen University, (NSYSU 中山大學), Department of Computer Science and Engineering, Kaohsiung, Taiwan
March 4,5,18,19, 2006 Embedded Software Design Invited 24-hours Tutorial Course Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan
January 7,8,21,22, 2006 Embedded Software Design Invited 24-hours Tutorial Course Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan
December 2, 2005 Case Studies on Software Failures Invited Talk Software Engineering and Quality Workshop, Southern Taiwan University of Technology, (STUT 南台科大), Department of Computer Science and Information Engineering, Tainan, Taiwan
November 16, 2005 Hardware-Software Codesign of Dynamically Reconfigurable Systems Invited Seminar Talk National Taipei University of Technology, (NTUT 台北科大), Department of Electronic Engineering, Taipei, Taiwan
November 4, 2005 Dynamically Reconfigurable System-on-Chip Hardware-Software Codesign Invited Seminar Talk National Taiwan University, (NTU 台大), Department of Computer Science and Information Engineering, Taipei, Taiwan
September 28, 2005 Hardware-Software Codesign of Dynamically Reconfigurable System-on-Chip Invited Seminar Talk Fu-Jen University, (FJU 輔大), Department of Electronic Engineering, Taipei, Taiwan
June 18,19 and July 2,3, 2005 Embedded Software Design Invited 30-hours Tutorial Course Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Hsinchu, Taiwan
January 7, 2005 Digital Camera Chipset Design and Verification Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
December 31, 2004 Reconfigurable System-on-Chip Design Invited Talk SoC Design Workshop, Institute of Applied Electronic Technology, (NTNU 師大), Taipei, Taiwan
September 30, 2004 Automatic Synthesis and Verification of Real-Time Embedded Software Invited Talk National Hu-Wei University of Science and Technology, (NHWUST 虎尾科大), Hu-Wei, Taiwan
June 29, 2004 Design and Verification of Digital Camera SoC Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
May 25, 2004 A Formal Verification Platform for SoC Invited Seminar Talk National Chiao-Tung University, (NCTU 交大), Department of Computer and Information Science, Hsinchu, Taiwan, ROC
April 14, 2004 Framework-based Formal Design and Verification of Real-Time Embedded Software Invited Talk 1st French-Taiwanese Workshop on Information Technology, L'ecole Polytechnique, Paris, France
February 29, 2004 Introduction to Hardware-Software Co-verification Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
January 31, February 7, February 28, 2004 System-on-Chip Verification Invited Three-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
January 10, 2004 System-on-Chip Design Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
October 31, 2003 A Formal Verification Platform for SoC Invited Talk Emerging Information Technology Conference, (EITC), SoC session, Friend Center, Princeton University, Princeton, New Jersey, USA
August 4, 5, 2003 Wireless Software Validation and Verification 6-hour Tutorial Center for Telecommunication Research, (CTR), Naional Chung Cheng University, Taiwan
March 28, 2003 Embedded Software Design Invited 4-hour Tutorial Tecom Company Ltd., (TECOM), Hsin-Chu, Taiwan
February 25, 2003 Co-design Models, Architectures, and Specification Languages Invited 3-hour Lecture National Taiwan University, Dept. of Electrical Engineering, (NTU-EE), Taipei, Taiwan
February 21, 2003 Embedded Software Design Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
February 20, 2003 Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines Paper Presentation 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'03), Tainan, Taiwan
October 4, 2002 Hardware-Software Co-design Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
September 27, 2002 Embedded System Design Invited Full-Day Tutorial Tze-Chiang Foundation of Science and Technology, (TCFST), Educational Training Center, Taipei, Taiwan
May 22, 2002 Formal Methods for Real-Time Embedded Software Engineering (PPT, 2,963 KB) Invited Graduate Seminar Talk National Tsing-Hua University, Dept of Computer Science, (NTHU-CS 清大資工), Hsin-Chu, Taiwan
April 30, 2002 VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems (PPT, 265 KB) Paper Presentation 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), Washington D.C., USA
April 26, 2002 Automatic Synthesis and Code Generation of Real-Time Embedded Software (PPT, 2,800 KB) Invited Graduate Seminar Talk National Cheng-Kung University, Dept of Electrical Engineering, (NCKU-EE 成大電機), Tainan, Taiwan
March 25, 2002 SoC Verification (PPT, 1,087 KB) Invited SoC Lecture National Taiwan University, Dept of Electrical Engineering, (NTU-EE 台大電機), SoC Course, Taipei, Taiwan
March 18, 2002 Time-Memory Scheduling and Code Generation of Real-Time Embedded Software (PPT, 596 KB) Paper Presentation 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02), Tokyo, Japan
March 13, 2002 Real-Time Embedded Software Synthesis (PPT, 2,651 KB) Invited Graduate Seminar Talk Da-Yeh University, Department of Electrical Engineering (DYU-EE 大葉電機), Chang-Hua, Taiwan
January 26, 2002 Current Research Work (PPT, 49 KB) Invited Talk Annual Meeting, (IICM, ACM Taipei Chapter), 2002, NTU-CC, Taipei, Taiwan
December 4, 2001 Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks (PPT, 259 KB) Paper Presentation Asia-Pacific Software Engineering Conference (APSEC), 2001, Macau, China
November 29, 2001 Real-Time Embedded Software Synthesis (PPT, 2,651 KB) Invited Graduate Seminar Talk Chung Cheng Institute of Technology (CCIT), National Defense University, Taiwan
August 28, 2001 Formal Synthesis and Control of Soft Embedded Real-Time Systems (PPT, 195 KB) Paper Presentation 21st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2001, Cheju Island, Korea
May 30, 2001 Verifiable Embedded Real-Time Application Framework (PPT, 212 KB) Paper Presentation Real-Time Technology and Applications Symposium (RTAS), 2001, Taipei, Taiwan
April 25, 2001 Formal Synthesis and Code Generation of Embedded Real-Time Software (PPT, 211 KB) Paper Presentation 9th ACM/IEEE International Symposium on Hardware-Software Codesign (CODES), 2001, Copenhagen, Denmark