| 2025 |
劉子謙 (Liu Chi Chien) |
Curriculum Learning with Progressive Degradation for Robust Face Recognition |
| 2025 |
莊朝翔 (Chuang Chao Hsiang) |
Enhancing MobileViT v2 by Lightweight Feature Encoding for Image Classification |
| 2025 |
龔惠君 (Chang Chao Hsiang) |
Attention-Guided Pseudo-LiDAR Enhancement for 3D Object Detection |
| 2025 |
鍾翊誠 (Chung Yi Cheng) |
Enhancing Robustness and Fairness in Dynamic Agnostic Federated Learning |
| 2025 |
曾偉桓 (Tzeng, Wei-Huan) |
Encrypted Computation Techniques and Performance Optimization for Sensitive Data in Cloud |
| 2025 |
劉俊麟 (Liu, Chun-Lin) |
Optimizing Enterprise Adoption of AI No-Code Platforms: A Study on Automated Deployment Technologies and Performance Analysis |
| 2025 |
林育懿 (Lin, Yu-Yi) |
Development and Realization of Smart Home Control Utilizing the Matter Protocol |
| 2025 |
楊蓓真 (Yang, Pei-Chen) |
Use the Pareto Method to Analyze and Explore the Key Products and Price Ranges in a Seafood Line Sales Community in New Taipei City |
| 2025 |
李惠珠 (Lee, Hui-Chu) |
Application of LINE Bot-Based AI Assistant in Diabetes Management: Integrating Search Enhancement Generation Technology and Preliminary Model Comparison Study |
| 2025 |
黃德林 (Hwang, Te-Lin) |
Research on Customer Classification and Shipment Decision for Chemical Mechanical Polishing Slurry Products Based on Neural Networks |
| 2025 |
沈泰德 (Shen, Tai-Te) |
Research on Intelligent PCBA Repair Based on Machine Learning |
| 2024 |
劉佳鑫 (Chia-Hsin Liu) |
Semantic-Guided Facial Sketch Generation |
| 2024 |
江國豪 (Guo Hao Jiang) |
Deep Learning-based Small Object Detection in Traffic Scenarios |
| 2024 |
湯凱鈞 (Tang Kai Chun) |
Multimodal Deep Learning-based Estimation of PM2.5 Concentration in Foggy Images at Dawn and Dusk |
| 2024 |
邱佳駿 (Chiu Chia Chun) |
Shuttlecock Stroke Classification in Videos |
| 2024 |
張鈞皓 (Chang Chun Hao) |
Federated Learning Based Detection of DDoS Attack in SDN Networks |
| 2024 |
張元懷 (Chang Yuan Hwai) |
Improving Object Detection in Distant Water Fisheries using Image Enhancement and Fusing Techniques |
| 2024 |
陳俊廷 (Chen, Chun-Ting) |
Research and Application of Component-based Development with React Framework -- A Case Study of Automotive Management System |
| 2024 |
匡融昇 (Kuang, Rong-Sheng) |
Deep Learning Model Design for ASIC Test Predictions, Early Warning and Early Processing |
| 2024 |
蔡湘霖 (Tsai, Hsiang-Lin) |
Deep Neural Network Model based Prediction of Manufacture Defect in Production Lines |
| 2023 |
陳威順 (Chen, Wei-Shuenn) |
Research on User Experience and Satisfaction for Cloud Storage |
| 2023 |
梁海楨 (Liang, Hai-Chen) |
The Linkage Between Learning Performance and Career Planning of On-the-Job Students |
| 2023 |
林彥廷 (Lin, Yen-Ting) |
Improving Customer Development based on Ensemble Learning |
| 2023 |
涂中欣 (Tu, Chung-Hsin) |
A Case Study of the Military Academy's Approach to Detecting and Responding to Multiple Threats on Mobile Devices |
| 2023 |
曾博宇 (Tsen, Bo-Yu) |
Research on the Implementation of Zero Trust Security Architecture for Privileged Accounts based on Access Control in Appendix A.9 of ISO 27001:2013 within Enterprises |
| 2023 |
鄭博仁 (Jheng Bo-Ren) |
Deep Learning Models Based Movement Disorder Evaluation of Parkinson Disease Severity |
| 2023 |
陳敬諺 (Chen Jing-Yen) |
Analysis of Hardware Requirements for Deep Neural Networks |
| 2023 |
曾俊軒 (Tseng Jun-Hsuan) |
Enabling Connection Migration for eBPF-based QUIC Load Balancer |
| 2023 |
張植鈞 (Chang Chih-Chun) |
A New Throughout the Day CNN Model for Image-based Air Pollution |
| 2023 |
Adarsh Rouniyar |
Performance-Based Model Aggregation in Federated Learning for Image-Based AQI Classification |
| 2022 |
黎益宇 (Li, Yi-Yu) |
Study of Indoor Thermal Comfort Control |
| 2022 |
王文怡 (Wang, Wen-Yi) |
Emotion Recognition Based on OpenPose for Human Posture of Preschool Educator |
| 2022 |
蔡孟諭 (Tsai, Meng-Yu) |
Research on the Integration of Mobile Check-in System based on Android |
| 2022 |
賴吉盛 (Lai, Chi-Sheng) |
Improving User Experience on E-commerce Platform by Using User Reviews Big Data Analysis: A Case Study of the ETMall App |
| 2022 |
莊詩婷 (Chuang, Shih-Ting) |
Choosing a Database System for IoT - Using CAP Theory and Feature Vectors Identification |
| 2022 |
王怡丁 (Wang, Yi-Ting) |
Dual Authentication Mechanism Design for Smart Libraries based on Object Recognition and Wireless Indoor Positioning |
| 2022 |
陳彥志 (Chen, Yen-Chih) |
Research on the Application of Smart Wearable Devices to Autonomic Nerve Monitoring |
| 2022 |
何姮臻 (Ho, Huan-Jen) |
TRIZ-based Intelligent Occuptaioned Safety Management |
| 2022 |
林美月 (Lin, Mei-Yue) |
Innovation of Tax Service via Linebot - A Case Study in Tainan |
| 2022 |
梁晉康 (Tan-Khang Luong) |
Facial Expression Recognition with Efficient Attention Module and Efficient-Net |
| 2022 |
唐紹維 (Tang Hsao-Wei) |
An Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs |
| 2022 |
姜智勝 (Jiang Zhi-Sheng) |
AQDC-CNN: Air Quality Estimation from Images using Dual-Channel Convolutional Neural Network |
| 2022 |
黃煌凱 (Huang Huang-Kai) |
Semi-Supervised Learning for Post Flood Scence Classification |
| 2022 |
毛宏瑋 (Mao Hung-Wei) |
ASU-Net: A Computer-Aided Diagnosis System for Spleen Rupture Detection using Attention and Spatial Sensible U-Net |
| 2022 |
古瑞安 (Ku Jui-An) |
Taekwondo Front Kick Action Assessment System with Dynamic Time Warping |
| 2021 |
曾紀秀 (Tseng, Chih-Shiu) |
The Mining Analysis of Big Data on Court's Judgements of Driving Under Influence Crime |
| 2021 |
林美華 (Lin, Mei-Hwa) |
Unmanned Tax Vending Machine -- Taking a Taiwan Finance and Local Tax Bureau as an Example |
| 2021 |
陳彥佐 (Chen Yen-Tso) |
Deep Learning-based Lesion Detection with Colorful CIoU Loss in Liver Ultrasound Images |
| 2021 |
劉永鴻 (Liu Yung-Hung) |
LightMOT: A Lightweight Anchor-free Multiple Object Tracking Method for High-Density Tracking |
| 2021 |
李維軒 (Lee Wei-Shan) |
SPChain: A Smart and Private Blockchain-enabled Framework for Combining GDPR-Compliant Digital Assets Management with AI Models |
| 2021 |
陳俊伯 (Chen Chun-Po) |
SensingGAN: A Lightweight GAN for Real-time Rain Removal with Self-Attention |
| 2020 |
鄒正杰 (Chow, Zeng-Chieh) |
The Study of Radio Frequency Identification Technology in Finished Goods Warehousing System at an Electric Corporation in Cambodia |
| 2020 |
洪俊輝 (Hung, Chun-Huei) |
Application of LoRa communication technology in outdoor activity information collection |
| 2020 |
鍾育修 (Chung, Yu-Hsiu) |
A Study On The Relevancy Between App Reviews And Ratings -- Using Facebook As An Example |
| 2020 |
蔡育勝 (Tsai, Yu-Sheng) |
Research on Information Security Management System in the Risk Assessment of Computer Room Assets |
| 2020 |
吳淑惠 (Wu, Shu-Heui) |
Implementation of Intelligent CO Alarm System using LoRa Communication |
| 2020 |
簡毅 (Chien Yi) |
Blockchain-based Peer to Peer Energy Transaction Market with LSTM Prediction in Smart Grids |
| 2020 |
張譯予 (Chang, Yi-Yu) |
Maritime UAVE Patrol Tasks based on YOLOv4 Object Detection |
| 2020 |
蕭諭謙 (Hsiao, Yu-Chien) |
Edge-based Human Action Recognition for Smart Surveillance Systems |
| 2020 |
林岑叡 (Lin, Chen-Jui) |
Deep Neural Network-based Recommendation System Design |
| 2020 |
Kevin |
Cool Supply Chain Management using Blockchain |
| 2020 |
邱皇旗 (Chiu, Huang-Chi) |
OpenPose-based Tracking of Human Interacting with Object |
| 2020 |
曹曜弼 (Tsao, Yeh-Pi) |
Job Stress Assessment Based on Heart Rate Variability |
| 2020 |
郭芳邦 (Guo, Fang-Pang) |
Artificial Neural Network-Based Data Reconstruction for Air Quality Sensing |
| 2020 |
許廷州 (Hsu, Ting-Chou) |
Applying Deep Learning to Credit Scoring Models -- By Personal Data of Credit Application |
| 2020 |
陳思妤 (Chen, Sih-Yu) |
Predicting Admissions in Universities based on University Ability Exam |
| 2019 |
陳建杉 (Chen, Chian-Shan) |
Exploring Passenger Flow and Its Interference Factors - Taking Chain Stores as an Example |
| 2019 |
蔡俊傑 (Tsai, Chun-Chieh) |
Application of Drones for Parking Management |
| 2019 |
許佩雯 (Hsu, Pei-Wen) |
Efficiency Design for Manpower Dispatch Process |
| 2019 |
蔡怡臻 (Tsai, Yi-Tsen) |
Application of Webduino for Agricultural Technology Data Analysis |
| 2019 |
莊俊宏 (Chuang, Chun-Hung) |
Design and Construction of Heterogeneous Database Resource Monitoring |
| 2019 |
許志揚 (Hsu, Chi-Yang) |
Garlic Bulb Drying System Design with Prediction |
| 2019 |
楊佳玲 (Yang, Chia-Ling) |
Study on the Relationship between Retirement and Learning Outcomes |
| 2019 |
吳明涵 (Wu, Ming-Han) |
The Analysis and Comparison of Wireless Morse Code versus Traditional Wireless Morse Code |
| 2019 |
廖鵬凱 (Liao, Peng-Kai) |
Improving Quality of Outdoor Radio Receiving Performance by Using Median Filtering Method |
| 2019 |
林育聖 (Lin, Yu-Sheng) |
Edge-based Anomaly Detection in Smart Meters |
| 2019 |
林柏儒 (Lin, Bo-Ju) |
Detecting Real World Anomalies in Video using Spatio-Temporal Autoencoder |
| 2019 |
李冠宏 (Lee, Guan-Hung) |
Advantage Actor-Critic for Intersection Management |
| 2018 |
黃添威 (Huang, Tien-Wei) |
Bluetooth Device Locating and Navigation using a Smart Phone |
| 2018 |
余雅瑄 (Yu, Ya-Hsuan) |
Analysis of Online Customer-based Chatbot Service Quality in PZB Model |
| 2018 |
林泰丞 (Lin, Tai-Cheng) |
Universal Blind Spot Assist System for Motorcycles |
| 2018 |
施明志 (Hsih, Ming-Chih) |
Ultrasonic and Infrared Human Body Sensing Applied to Industrial Robot Arms |
| 2018 |
盧德修 (Lu, Te-Hsiu) |
Anomaly Prediction in Smart Substation with Deep Learning |
| 2018 |
楊子璿 (Yang, Tzu-Hsuan) |
Driver Fatigue Prediction using Heterogeneous Sensor Data with Deep Learning |
| 2018 |
陳偉倫 (Chen, Wei-Lun) |
Intersection Crossing for Autonomous Vehicles based on Reinforcement Learning |
| 2018 |
胡亮丞 (Hu, Liang-Cheng) |
Deep Neural Network-based Landslide Data Reconstruction for Landslide Detection |
| 2018 |
林志樺 (Lin, Chih-Hua) |
Dynamic Estimation of Vehicle Safety Distance under Low Visibility |
| 2018 |
曾冠斌 (Tseng, Kwan-Ping) |
Material Management System Design based on RFID and Cloud Reply Mechanism |
| 2018 |
林泮吟 (Lin, Pan-Yin) |
Using Google Trends to Analyze Central Bank Interest Rate Decision Making: Taiwan Case Study |
| 2018 |
廖湘雲 (Liao, Hsiao-Yun) |
An Exploration on the Status of Automated Testing |
| 2018 |
張維凱 (Chang, Wei-Kai) |
Portable Intellignet Sensor System Design for Rental Apartments |
| 2017 |
郭玴甫 (Guo, Yeh-Fu) |
利用無人機 Drone 搭載移動式 RFID Reader 改善倉儲盤點作業 |
| 2017 |
賴建宏 (Lai, Chien-Hung) |
Intelligent Driving Condition Monitoring System |
| 2017 |
蔡漢俊 (Tsai, Han-Chun) |
Application of Mechanical Deflection Technique in Ultrasonic Smart Assisted Blind Cane |
| 2017 |
蔡承旻 (Tsai, Cheng-Min) |
Automatically Optimize TV Commercials Strategies System |
| 2017 |
黃瓊瑩 (Huang, Chung-Ing) |
Influence of Solar Radiation on Solar Power Generation - Research on Residential Application |
| 2017 |
林芳瑜 (Lin, Fang-Yu) |
Multiple sensor-based vehicle driver fatigue detection |
| 2017 |
林育堯 (Lin, Yu-Yao) |
Predictive Driver Fatigue Warning System Design |
| 2017 |
林晉玄 (Lin, Chin-Hsuan) |
Cost Optimization of Electrical Usage with Customizable Comfort Considerations |
| 2017 |
陳石峰 (Chen, Shi-Feng) |
Landslide Prediction with Modal Computations |
| 2017 |
陳庚品 (Chen, Keng-Pin) |
Predictive Collision Warning System with Visibility Considerations |
| 2017 |
王元禾 (Wang, Yuan-Ho) |
Creativity and its Social Factors |
| 2017 |
陶氏清 (Dao, Thi Thanh) |
Face and Hand Gesture Recognition for Secure Control of Equipments |
| 2017 |
王華欣 (Wang Hua-Hsin) |
Program Trading System of Taiex Futures -- By Strategy of Virtual Trade |
| 2017 |
Hendrik Tampubolon |
Supervised Deep Learning Based for Traffic Flow Prediction |
| 2016 |
林志祥 (Lin, Shi-Chan) |
Application of RFID Technology to Emergency Traffic Signal Design |
| 2016 |
林佳靜 (Lin, Chia-Ching) |
Improving Efficiency of Domestic Power Demand by Using Orderly Power Utilization |
| 2016 |
李天傑 (Lee, Tien-Chieh) |
Prediction of Electric Power Consumption in Taiwan by Back Propagation Neural Network |
| 2016 |
孫景亮 (Sun, Jin-Liang) |
Smart Green Uninterruptible Power System |
| 2016 |
買昭雯 (Mai, Chao-Wen) |
PV-based Power Charger for Motorcycle Batteries |
| 2016 |
林志宸 (Lin, Chih-Chen) |
Data Reconstruction for Cyber-Physical Landslide Detection System |
| 2016 |
楊采真 (Yang, Tsai-Chen) |
Model Predictive Optimization for Energy Storage based Smart Grids |
| 2016 |
徐瑋 (Hsu, Wei) |
Urban Traffic Information Prediction using Elmann Neural Network and Traffic Network Models |
| 2015 |
吳宗典 (Wu, Tsung-Tien) |
Software-Defined Network Interface Design Performance and Security Oriented |
| 2015 |
謝珮琪 (Hsieh, Pei-Chi) |
Model Predictive Optimization for Distribution Management in Smart Grid |
| 2015 |
陳佑任 (Chen, You-Ren) |
Dynamic Traffic Light Optimization and Control System using Model-Predictive Control Method |
| 2015 |
吳文豪< (br>Wu, Wen-Hao) |
Adaptive Timing Optimization for Cyber Physical Signal Control System |
| 2015 |
曾冠維 (Tsen, Kuan-Wei) |
Virtualization Architecture for Application-Oriented Reconfigurable Network-on-Chip System |
| 2015 |
李宣儒 (Lee, Hsuan-Ju) |
Software-Defined Monitoring for High Speed Network Flow Analysis in Network-on-Chip |
| 2014 |
郭惠民 (Kuo, Hui-Min) |
Zigbee無線通訊應用於路邊停車收費管理系統之研究 |
| 2014 |
吳文義 (Wu, Wen-Yi) |
數位電表應用於家庭節電節費系統之研究 |
| 2014 |
姚瑞隆 (Yao, Jui-Lung) |
SAT-based Verification of Role-based Access Control Systems with Slicing method |
| 2014 |
劉柏廷 (Liu, Po-Ting) |
Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems |
| 2014 |
宋羿謙 (Soong, Yi-Chien) |
Interference-aware Batch Memory Scheduling in Heterogeneous Multicore Architecture |
| 2014 |
王建宇 (Wang, Jien-Yu) |
Elastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture |
| 2014 |
蔡鎮州 (Tsai, Chen-Chou) |
Hierarchical Optimization of Smart Grids with Energy Storage Systems - A Model-Predictive Control and Auction-based Method |
| 2014 |
劉炎敦 (Liu, Yan-Dun) |
Smart Photovoltaic Power Generation System Design |
| 2013 |
陳彥廷 (Chen, Yen-Ting) |
Workload Partitioning and Scheduling on Heterogeneous Multi-Core Systems |
| 2013 |
鄧世孟 (Teng, Shih-Meng) |
Auto-tuning on GPGPU by using Performance and Power Estimation Model |
| 2013 |
彭竣陽 (Peng, Chun-Yang) |
Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform Architecture Design |
| 2013 |
吳政謙 (Wu, Cheng-Chien) |
FPGA-based High Applicability Reconfigurable FFT Processor for Multi-standard Systems |
| 2013 |
廖偉志 (Liao, Wei-Chih) |
A Study on the Use of Miracast Supported Devices for Distance Learning |
| 2013 |
柯勇明 (Ko, Yung-Ming) |
UHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder |
| 2013 |
余明逾 (Yu, Ming-Yu) |
Hidden Markov Model-based Bandwidth Selection for Cognitive Network |
| 2013 |
陳映妤 (Chen, Ying-Yu) |
RFID-based Roll-Call System Study for Field Trips |
| 2012 |
張俊欽 (Chang, Chun-Chin) |
The Research of Radio Frequency Identification Technology for the Family Violence Prevention |
| 2012 |
吳佳恩 (Wu, Chia-En) |
A Study on the Critical Success Factors of Initiating Information Security Management System: Take a University in Northern Taiwan as a Sample |
| 2012 |
胡雅苹 (Hu, Ya-Ping) |
Robust Solution Space Prediction and Optimization for Cognitive Radios |
| 2012 |
施俊亦 (Shih, Chun-Yi) |
Communication Bottleneck Analysis for Improving the Performance of Multicore Software |
| 2011 |
許惠民 (Hsu, Hui-Min) |
RFID-based Roll-Call System for School Campus |
| 2011 |
王柏軒 (Wang, Bo-Hsuan) |
Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems |
| 2011 |
林雨昕 (Lin, Yu-Shin) |
Multi-Objective Exploitation of Pipeline Parallelism using Clustering, Replication, and Duplication in Embedded Multicore Systems |
| 2011 |
何嘉翹 (Ho, Chia-Chiao) |
Dynamic Application Scheduling on Heterogeneous Multi-core Systems |
| 2011 |
張逸倫 (Chang, Yi-Luen) |
An Efficient and Robust Solver for Multi-Objective Constraints-Satsifaction Problem in Cognitive Radio Systems |
| 2011 |
陳立奇 (Chen, Li-Chi) |
Power Monitoring and Demand Control System Research and Design |
| 2010 |
童聖亞 (Tung, Hseng-Ya) |
Dynamic Task Scheduling with Congestion Speculation for Network-on-Chip |
| 2010 |
呂世申 (Lu, Shih-Shen) |
Congestion- and Energy-Aware Run-time Task Mapping for Network-on-Chip Architecture 99年中華民國資訊學會最佳碩士論文佳作獎 |
| 2010 |
蘇琬婷 (Su, Wan-Ting) |
Buffer-Stealing Router Design for Improved Communication Efficiency in Network-on-Chip |
| 2010 |
潘晟陽 (Pan, Shen-Yang) |
Dynamically Adaptive Arbitration in Network-on-Chip for Streaming Applications |
| 2009 |
林為文 (Lin, Wei-Wen) |
Reconfigurable NoC with OS Management 98年中華民國資訊學會最佳碩士論文佳作獎 |
| 2009 |
藍竣廷 (Lan, Chun-Ting) |
Hardware Mediator for Reconfigurable Hardware-Software Systems |
| 2008 |
曹智傑 (Tsao, Chih-Chieh) |
An Efficient Collaborative Verification Methodology for Multiprocessor SoC with Run-Time Task Migration |
| 2008 |
林怡洵 (Lin, Yi-Shun) |
Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Systems |
| 2008 |
姜國程 (Chiang, Kuo-Cheng) |
Predictable and Adaptive Reconfigurable Network-on-Chip 97年中華民國資訊學會最佳碩士論文佳作獎 |
| 2008 |
邱京崙 (Chiu, Jying-Lwen) |
On-line Scheduling of Real-Time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems |
| 2007 |
孫淵玲 (Sun, Hong-Yu) |
Dynamic Hardware-Software Task Switching and Relocation for Reconfigurable Systems |
| 2007 |
洪進傑 (Hung, Chin-Chieh) |
Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems |
| 2007 |
姜成器 (Chiang, Cheng-Chi) |
Hardware/Software Real-Time Relocatable Task Scheduling and Placement in Dynamically Partial Reconfigurable Systems |
| 2007 |
廖筱芸 (Liao, Hsiao-Win) |
Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems 96年中華民國資訊學會最佳碩士論文佳作獎 |
| 2007 |
林朝聖 (Lin, Chao-Sheng) |
IP-based Resource Management in Reconfigurable Systems |
| 2006 |
呂品賢 (Lu, Pin-Shian) |
A Reconfigurable Platform for Efficient Embedded Software Development |
| 2006 |
張世學 (Chang, Shih-Hsueh) |
Dynamically and Partially Reconfigurable Systems |
| 2006 |
葉家蓁 (Yeh, Chia-Chen) |
Efficient Coverage Estimation in Model Checking |
| 2006 |
劉智文 (Liu, Chih-Wen) |
Low Power Hardware-Software Scheduling |
| 2006 |
陳盈如 (Chen, Yean-Ru) |
Failure Analysis using Model Checking 95年中華民國資訊學會最佳碩士論文佳作獎 |
| 2006 |
許書裕 (Hsu, Shu-Yu) |
Embedded Software Design |
| 2005 |
邱冠綸 (Chiu, Kuan-Lun) |
An Efficient Coverage Estimation Methodology for Model Checking |
| 2005 |
陳元修 (Chen, Yuan-Hsiu) |
Hardware Scheduling and Placement in Operating Systems for Reconfigurable SoC |
| 2005 |
廖志峰 (Liao, Chih-Feng) |
A SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC |
| 2005 |
曾志豪 (Tseng, Chih-Hao) |
UML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems 94年中華民國資訊學會最佳碩士論文佳作獎 |
| 2005 |
王宏仁 (Wang, Hung-Ren) |
Hardware-Software Codesign for Programmable SoC |
| 2004 |
廖文旭 (Liao, Wen-Shiu) |
Infrastructure of a Formal Verification Platform for SoC 93年中華民國資訊學會最佳碩士論文佳作獎 |
| 2004 |
趙偉成 (Chao, Wei-Cheng) |
Transaction-Level Modeling for Modeling Checking |
| 2004 |
吳展奇 (Wu, Chan-Chi) |
An Assertion-based Dynamic Formal Verification Methodology for Hardware Systems |
| 2004 |
李德昌 (Li, Te-Chang) |
Mutation Coverage Estimation for Symbolic Model Checking |
| 2004 |
高新傑 (Kao, Hsin-Chie) |
Device-Centric Energy-Optimal Scheduling for Low-Power Real-Time Systems |
| 2004 |
蔡委育 (Tsai, Wei-Yu) |
Formal Verification of Safety-Critical Systems with Safecharts |
| 2004 |
張育銘 (Chang, Yu-Ming) |
CORBA-based Distributed Formal Verification |
| 2003 |
孫明煌 (Sun, Ming-Hwang) |
Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification |
| 2003 |
沈子詠 (Shen, Tzu-Yung) |
Assume-Guarantee Formal Verification of Component-Based Hierarchical Software |
| 2003 |
林承毅 (Lin, Cheng-Yi) |
Quasi-Dynamic Scheduling for the Formal Synthesis of Real-Time Embedded Software 92年中華民國資訊學會最佳碩士論文佳作獎 |
| 2003 |
陳立明 (Chen, Li-Ming) |
Interface Synthesis of Real-Time Embedded Systems |
| 2002 |
鄭舒予 (Cheng, Shu-Yu) |
Automating Assume-Guarantee Reasoning for Model Checking Real-Time
Embedded Systems |
| 2002 |
蘇峰仕 (Su, Feng-Shi) |
Formal Synthesis and Code Generation of Embedded Software Using Extended
Quasi-Static Scheduling 91年中華民國資訊學會最佳碩士論文佳作獎 |
| 2002 |
高淳浩 (Gau, Chuen-Hau) |
Time-Memory Scheduling and Code Generation for Real-Time Embedded Software |