Pao-Ann Hsiung

According to our database1, Pao-Ann Hsiung authored at least 147 papers between 1996 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Artificial Intelligence of Things in Sports Science: Weight Training as an Example.
IEEE Computer, 2019

Driver Fatigue Prediction Using Different Sensor Data with Deep Learning.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Data Reconstruction for Cyber-Physical Landslide Detection System.
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

2018
Vehicle Collision Prediction under Reduced Visibility Conditions.
Sensors, 2018

Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted Moving Average of Heart-Rate Variabilities.
Proceedings of the 23rd IEEE International Conference on Digital Signal Processing, 2018

2017
Elastic superposition task mapping for NoC-based reconfigurable systems.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

Innovative Project-Based Learning.
Proceedings of the Emerging Technologies for Education - Second International Symposium, 2017

Performance and security oriented Software-Defined Network Interface design.
Proceedings of the IEEE International Conference on Consumer Electronics, 2017

Landslide prediction with model switching.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

2016
Dynamic Task Mapping with Congestion Speculation for Reconfigurable Network-on-Chip.
TRETS, 2016

Introduction to the special issue on smart reconfigurable system modeling, design, and implementation.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

A fair energy resource allocation strategy for micro grid.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

Auto-tuning for GPGPU applications using performance and energy model.
Journal of Systems Architecture - Embedded Systems Design, 2016

Introduction to the special issue on reconfigurable cyber-physical and embedded system design.
Journal of Systems Architecture - Embedded Systems Design, 2016

SysML-Based Requirement Management to Improve Software Development.
International Journal of Software Engineering and Knowledge Engineering, 2016

Dynamic traffic light optimization and Control System using model-predictive control method.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

An efficient and robust method for solving multi-objective constraint-satisfaction problems in Cognitive Radio systems.
Proceedings of the 26th International Telecommunication Networks and Applications Conference, 2016

Model Predictive Optimization for distribution management in smart grids.
Proceedings of the IECON 2016, 2016

Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
Virtualization Architecture for NoC-based Reconfigurable Systems.
CoRR, 2015

2014
Design Issues in a Performance Monitor for Embedded Multi-core Systems.
Signal Processing Systems, 2014

Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip.
IEEE Trans. VLSI Syst., 2014

Accelerating Coverage Estimation Through Partial Model Checking.
IEEE Trans. Computers, 2014

Dynamic partially reconfigurable architecture for fast Fourier transform computation.
IJES, 2014

Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant.
Proceedings of the 2014 International Conference on Trustworthy Systems and their Applications, 2014

Timing Optimization and Control for Smart Traffic.
Proceedings of the 2014 IEEE International Conference on Internet of Things, 2014

Micro-grid Design Modeling and Prototyping.
Proceedings of the Intelligent Systems and Applications, 2014

Reconfigurable Network-on-chip design for heterogeneous multi-core system architecture.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.
Proceedings of the FM 2014: Formal Methods, 2014

A SysML Based Requirement Modeling Automatic Transformation Approach.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems.
TRETS, 2013

Embedded multicore systems: Architecture, performance and application.
Microprocessors and Microsystems - Embedded Hardware Design, 2013

Multi-objective exploitation of pipeline parallelism using clustering, replication and duplication in embedded multi-core systems.
Journal of Systems Architecture - Embedded Systems Design, 2013

Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption.
Comput. Electr. Eng., 2013

Backward probing deadlock detection for networks-on-chip.
Proceedings of the 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2013

Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture design.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems.
Proceedings of the Seventh International Conference on Complex, 2013

The Architecture of Parallelized Cloud-Based Automatic Testing System.
Proceedings of the Seventh International Conference on Complex, 2013

2012
Model Checking Prioritized Timed Systems.
IEEE Trans. Computers, 2012

Automatic testing environment for multi-core embedded software - ATEMES.
Journal of Systems and Software, 2012

Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning.
Journal of Intelligent and Robotic Systems, 2012

Cloud Computing in Taiwan.
IEEE Computer, 2012

An Integrated Development Environment to Support the Multi-core Embedded Systems Development.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems.
Proceedings of the Fifth International Symposium on Parallel Architectures, 2012

Automatic Generation of Provably Correct Embedded Systems.
Proceedings of the Formal Methods and Software Engineering, 2012

Congestion-aware scheduling for NoC-based reconfigurable systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems.
IEEE Trans. Industrial Informatics, 2011

A low-power 64-point pipeline FFT/IFFT processor for OFDM applications.
IEEE Trans. Consumer Electronics, 2011

Counterexample-Guided Assume-Guarantee Synthesis through Learning.
IEEE Trans. Computers, 2011

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.
J. Comput. Sci. Technol., 2011

Real-Time Services for Special Education.
IT Professional, 2011

Pattern-based framework for modularized software development and evolution robustness.
Information & Software Technology, 2011

A SysML-Based Requirement Supporting Tool for Embedded Software.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

A pattern-based verification approach for a multi-core system development.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Adaptive Performance Monitoring for Embedded Multicore Systems.
Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011

XML-Based Reusable Component Repository for Embedded Software.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Network-on-Chip router design with Buffer-Stealing.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.
Signal Processing Systems, 2010

Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems.
TRETS, 2010

Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption.
Journal of Systems Architecture - Embedded Systems Design, 2010

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems.
Journal of Systems Architecture - Embedded Systems Design, 2010

Multi-objective placement of reconfigurable hardware tasks in real-time system.
IJES, 2010

A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

ARAL-CR: An adaptive reasoning and learning cognitive radio platform.
Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

SysML-based requirement modeling environment for multicore embedded system.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Supporting Tool for Embedded Software Testing.
Proceedings of the 10th International Conference on Quality Software, 2010

Innovative Application of RFID Systems to Special Education Schools.
Proceedings of the Fifth International Conference on Networking, Architecture, and Storage, 2010

Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip.
Proceedings of the Design, Automation and Test in Europe, 2010

Supporting Design Enhancement by Pattern-Based Transformation.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication.
IGI Global, ISBN: 978-1-61520-807-4, 2010

2009
Modeling and verification of real-time embedded systems with urgency.
Journal of Systems and Software, 2009

Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC.
J. Embedded Computing, 2009

Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems.
Embedded Systems Letters, 2009

Parallel implementation of convolution encoder for software defined radio on DSP architecture.
Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009

Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems.
Proceedings of the 10th International Symposium on Pervasive Systems, 2009

A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

Compositional Automata Reduction with Non-critical Path Slicing.
Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009

A Model-Driven Multicore Software Development Environment for Embedded System.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures.
TRETS, 2008

Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems.
EURASIP J. Emb. Sys., 2008

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.
Comput. Lang. Syst. Struct., 2008

A novel spatio-temporal adaptive bus encoding for reducing crosstalk interferences with trade-offs between performance and reliability.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

2007
Model Checking Safety-Critical Systems Using Safecharts.
IEEE Trans. Computers, 2007

Automatic Failure Analysis Using Safecharts.
International Journal of Software Engineering and Knowledge Engineering, 2007

Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.
Proceedings of the Computer Safety, 2007

Dynamically Swappable Hardware Design in Partially Reconfigurable Systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

From ISA to application design via RTOS - a course design framework for embedded software.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures.
Proceedings of the 2007 International Conference on Field-Programmable Technology, 2007

Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems.
Proceedings of the FPL 2007, 2007

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

Energy efficient co-scheduling in dynamically reconfigurable systems.
Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006
Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems.
Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 2006

Model Checking Timed Systems with Urgencies.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
SESAG: an object-oriented application framework for real-time systems.
Softw., Pract. Exper., 2005

Device-Centric Low-Power Scheduling for Real-Time Embedded Systems.
International Journal of Software Engineering and Knowledge Engineering, 2005

Model-based Verification of Safety-Critical Systems.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Model Checking Timed Systems with Priorities.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Modeling and Verification of Safety-Critical Systems Using Safecharts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Model Checking Prioritized Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.
IEEE Trans. Software Eng., 2004

Embedded software synthesis and prototyping.
IEEE Trans. Consumer Electronics, 2004

Automatic Synthesis and Verification of Real-Time Embedded Software.
Proceedings of the Embedded and Ubiquitous Computing, 2004

Mutation Coverage Estimation for Model Checking.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

Formal Design and Verification of Real-Time Embedded Software.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Software Platform for Embedded Software Development.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Synthesis of real-time embedded software with local and global deadlines.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

2002
Efficient and User-Friendly Verification.
IEEE Trans. Computers, 2002

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.
Electr. Notes Theor. Comput. Sci., 2002

VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

TCN: Scalable Hierarchical Hypercubes.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Extended quasi-static scheduling for formal synthesis and code generation of embedded software.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
POSE: a parallel object-oriented synthesis environment.
ACM Trans. Design Autom. Electr. Syst., 2001

Verifiable Embedded Real-Time Application Framework.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

Formal Synthesis and Control of Soft Embedded Real-Time Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Formal synthesis and code generation of embedded real-time software.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
CMAPS: a cosynthesis methodology for application-oriented parallel systems.
ACM Trans. Design Autom. Electr. Syst., 2000

Embedded software verification in hardware-software codesign.
Journal of Systems Architecture, 2000

On the verification of Wireless Transaction Protocol using SGM and RED.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A Java-Based Distributed System Framework for Real-Time Development.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Concurrent Embedded Real-Time Software Verification.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Scheduling System Verification.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Verification of Concurrent Client-Server Real-Time Scheduling Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Parallel Object-Oriented Synthesis Methodology.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

High Level Design Reuse through Fuzzy Learning.
Proceedings of the International Conference on Artificial Intelligence, 1999

User-Friendly Verification.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Hardware-software coverification of concurrent embedded real-time systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

Timing coverification of concurrent embedded real-time systems.
Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems.
ACM Trans. Design Autom. Electr. Syst., 1998

Parallel Object-Oriented Synthesis Environment Based On Message-Passing.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

RTFrame: An Object-Oriented Application Framework for Real-Time Applications.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

A State Graph Manipulator Tool for Real-Time System Specification and Verification.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Automatic Verification on the Large.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis.
Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Parametric Analysis of Computer Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
PSM: an object-oriented synthesis approach to multiprocessor system design.
IEEE Trans. VLSI Syst., 1996


  Loading...