Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pao-Ann Hsiung
@article{DBLP:journals/ijdsa/UtomoHH24,
author = {Darmawan Utomo and
Liang{-}Cheng Hu and
Pao{-}Ann Hsiung},
title = {Deep neural network-based spatiotemporal heterogeneous data reconstruction
for landslide detection},
journal = {Int. J. Data Sci. Anal.},
volume = {17},
number = {1},
pages = {93--109},
year = {2024},
url = {https://doi.org/10.1007/s41060-022-00358-5},
doi = {10.1007/S41060-022-00358-5},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdsa/UtomoHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/KarthikeyanH24,
author = {P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {Multimodal Labor Exploitation Detections for Taiwan Distant Water
Fishing Industry},
journal = {{SN} Comput. Sci.},
volume = {5},
number = {1},
pages = {46},
year = {2024},
url = {https://doi.org/10.1007/s42979-023-02346-3},
doi = {10.1007/S42979-023-02346-3},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/KarthikeyanH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ChienKH23,
author = {I. Chien and
P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {Prediction-based peer-to-peer energy transaction market design for
smart grids},
journal = {Eng. Appl. Artif. Intell.},
volume = {126},
number = {Part {D}},
pages = {107190},
year = {2023},
url = {https://doi.org/10.1016/j.engappai.2023.107190},
doi = {10.1016/J.ENGAPPAI.2023.107190},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/ChienKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/UtomoRHH23,
author = {Sapdo Utomo and
Adarsh Rouniyar and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {Federated Adversarial Training Strategies for Achieving Privacy and
Security in Sustainable Smart City Applications},
journal = {Future Internet},
volume = {15},
number = {11},
pages = {371},
year = {2023},
url = {https://doi.org/10.3390/fi15110371},
doi = {10.3390/FI15110371},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fi/UtomoRHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/KarthikeyanCH23,
author = {P. Karthikeyan and
Chih{-}Chun Chang and
Pao{-}Ann Hsiung},
title = {Labor exploitation investigation using statistical and multiple object
tracking assessment methods},
journal = {Multim. Tools Appl.},
volume = {82},
number = {29},
pages = {46085--46108},
year = {2023},
url = {https://doi.org/10.1007/s11042-023-16094-2},
doi = {10.1007/S11042-023-16094-2},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mta/KarthikeyanCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tasm/KarthikeyanPCH23,
author = {Periyasami Karthikeyan and
Ayush Pratap and
William Cheng{-}Chung Chu and
Pao{-}Ann Hsiung},
title = {Analysis of Fisherman Exploitation in Taiwan Distant Water Fishing},
journal = {{IEEE} Technol. Soc. Mag.},
volume = {42},
number = {3},
pages = {88--97},
year = {2023},
url = {https://doi.org/10.1109/MTS.2023.3306539},
doi = {10.1109/MTS.2023.3306539},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tasm/KarthikeyanPCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Gupta0JHW23,
author = {Sumeet Gupta and
Shweta Jain and
Shashi Shekhar Jha and
Pao{-}Ann Hsiung and
Ming{-}Hung Wang},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Take Expert Advice Judiciously: Combining Groupwise Calibrated Model
Probabilities with Expert Predictions},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {956--963},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230366},
doi = {10.3233/FAIA230366},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Gupta0JHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodit/UtomoRJCTHH23,
author = {Sapdo Utomo and
Adarsh Rouniyar and
Guo Hao Jiang and
Chun{-}Hao Chang and
Kai Chun Tang and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {Eff-AQI: An Efficient CNN-Based Model for Air Pollution Estimation:
{A} Study Case in India},
booktitle = {Proceedings of the 2023 {ACM} Conference on Information Technology
for Social Good, GoodIT 2023, Lisbon, Portugal, September 6-8, 2023},
pages = {165--172},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582515.3609531},
doi = {10.1145/3582515.3609531},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodit/UtomoRJCTHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodit/0004CQCH23,
author = {P. Karthikeyan and
Yuan{-}Huai Chang and
Jia{-}Jun Qiu and
Chih{-}Chun Chang and
Pao{-}Ann Hsiung},
title = {Tackling Labour Exploitation in Taiwan Distant Water Fishing Industry
through Automated Exploitation Detection System},
booktitle = {Proceedings of the 2023 {ACM} Conference on Information Technology
for Social Good, GoodIT 2023, Lisbon, Portugal, September 6-8, 2023},
pages = {182--188},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582515.3609533},
doi = {10.1145/3582515.3609533},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodit/0004CQCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/Chien0H23,
author = {I. Chien and
P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {Peer to Peer Energy Transaction Market Prediction in Smart Grids using
Blockchain and {LSTM}},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2023,
Las Vegas, NV, USA, January 6-8, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCE56470.2023.10043563},
doi = {10.1109/ICCE56470.2023.10043563},
timestamp = {Tue, 21 Feb 2023 18:13:47 +0100},
biburl = {https://dblp.org/rec/conf/iccel/Chien0H23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kst/PratapSUJKH23,
author = {Ayush Pratap and
Neha Sardana and
Sapdo Utomo and
A. John and
P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {Analysis of Defect Associated with Powder Bed Fusion with Deep Learning
and Explainable {AI}},
booktitle = {15th International Conference on Knowledge and Smart Technology, {KST}
2023, Phuket, Thailand, February 21-24, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/KST57286.2023.10086905},
doi = {10.1109/KST57286.2023.10086905},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kst/PratapSUJKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kst/UtomoJPJKH23,
author = {Sapdo Utomo and
A. John and
Ayush Pratap and
Zhi{-}Sheng Jiang and
P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {{AIX} Implementation in Image-Based {PM2.5} Estimation: Toward an
{AI} Model for Better Understanding},
booktitle = {15th International Conference on Knowledge and Smart Technology, {KST}
2023, Phuket, Thailand, February 21-24, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/KST57286.2023.10086917},
doi = {10.1109/KST57286.2023.10086917},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kst/UtomoJPJKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taai/HungWH23,
author = {Ying{-}Zhe Hung and
Ming{-}Hung Wang and
Pao{-}Ann Hsiung},
editor = {Chao{-}Yang Lee and
Chun{-}Li Lin and
Hsuan{-}Ting Chang},
title = {From 5-Stars to Real Insight: Geospatial Detection of Campaigned Reviews
with Google Maps and Mobility Data},
booktitle = {Technologies and Applications of Artificial Intelligence - 28th International
Conference, {TAAI} 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings,
Part {II}},
series = {Communications in Computer and Information Science},
volume = {2075},
pages = {68--80},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-97-1714-9\_6},
doi = {10.1007/978-981-97-1714-9\_6},
timestamp = {Wed, 03 Apr 2024 16:03:15 +0200},
biburl = {https://dblp.org/rec/conf/taai/HungWH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vcip/WangLH23,
author = {Kai{-}Yu Wang and
Yu{-}Hsiang Lin and
Pao{-}Ann Hsiung},
title = {depthUNet: {A} Dehazing Model with Adaptive Depth Attention for Natural
Images},
booktitle = {{IEEE} International Conference on Visual Communications and Image
Processing, {VCIP} 2023, Jeju, Republic of Korea, December 4-7, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/VCIP59821.2023.10402764},
doi = {10.1109/VCIP59821.2023.10402764},
timestamp = {Tue, 13 Feb 2024 21:33:24 +0100},
biburl = {https://dblp.org/rec/conf/vcip/WangLH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LeeAHH22,
author = {Wei{-}Shan Lee and
John A and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {SPChain: {A} Smart and Private Blockchain-Enabled Framework for Combining
GDPR-Compliant Digital Assets Management With {AI} Models},
journal = {{IEEE} Access},
volume = {10},
pages = {130424--130443},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3227969},
doi = {10.1109/ACCESS.2022.3227969},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LeeAHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/KarthikeyanCH22,
author = {P. Karthikeyan and
Wei{-}Lun Chen and
Pao{-}Ann Hsiung},
title = {Autonomous Intersection Management by Using Reinforcement Learning},
journal = {Algorithms},
volume = {15},
number = {9},
pages = {326},
year = {2022},
url = {https://doi.org/10.3390/a15090326},
doi = {10.3390/A15090326},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/KarthikeyanCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/PratapSUAKH22,
author = {Ayush Pratap and
Neha Sardana and
Sapdo Utomo and
John Ayeelyan and
P. Karthikeyan and
Pao{-}Ann Hsiung},
title = {A Synergic Approach of Deep Learning towards Digital Additive Manufacturing:
{A} Review},
journal = {Algorithms},
volume = {15},
number = {12},
pages = {466},
year = {2022},
url = {https://doi.org/10.3390/a15120466},
doi = {10.3390/A15120466},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/PratapSUAKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csci/0004LKCHH22,
author = {P. Karthikeyan and
Tan{-}Khang Luong and
Jui{-}An Ku and
Chih{-}Chun Chang and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {Smart Observer for Distant Water Fishing in Taiwan},
booktitle = {International Conference on Computational Science and Computational
Intelligence, {CSCI} 2022, Las Vegas, NV, USA, December 14-16, 2022},
pages = {1454--1460},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSCI58124.2022.00259},
doi = {10.1109/CSCI58124.2022.00259},
timestamp = {Mon, 22 Apr 2024 15:12:51 +0200},
biburl = {https://dblp.org/rec/conf/csci/0004LKCHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csci/ChangAH22,
author = {Yi{-}Yu Chang and
John Ayeelyan and
Pao{-}Ann Hsiung},
title = {Maritime {UAV} Patrol Tasks Based on YOLOv4 Object Detection},
booktitle = {International Conference on Computational Science and Computational
Intelligence, {CSCI} 2022, Las Vegas, NV, USA, December 14-16, 2022},
pages = {1484--1490},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSCI58124.2022.00263},
doi = {10.1109/CSCI58124.2022.00263},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csci/ChangAH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbta/Lee0HH22,
author = {Wei{-}Shan Lee and
John A and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {A Smart and Private Blockchain-enabled Framework for Digital Assets},
booktitle = {Proceedings of the 2022 5th International Conference on Blockchain
Technology and Applications, {ICBTA} 2022, Xi'an, China, December
16-18, 2022},
pages = {34--39},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3581971.3581976},
doi = {10.1145/3581971.3581976},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbta/Lee0HH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isc2/UtomoJRHH22,
author = {Sapdo Utomo and
A. John and
Adarsh Rouniyar and
Hsiu{-}Chun Hsu and
Pao{-}Ann Hsiung},
title = {Federated Trustworthy {AI} Architecture for Smart Cities},
booktitle = {{IEEE} International Smart Cities Conference, {ISC2} 2022, Pafos,
Cyprus, September 26-29, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISC255366.2022.9922069},
doi = {10.1109/ISC255366.2022.9922069},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isc2/UtomoJRHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/UtomoH20,
author = {Darmawan Utomo and
Pao{-}Ann Hsiung},
title = {A Multitiered Solution for Anomaly Detection in Edge Computing for
Smart Meters},
journal = {Sensors},
volume = {20},
number = {18},
pages = {5159},
year = {2020},
url = {https://doi.org/10.3390/s20185159},
doi = {10.3390/S20185159},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/UtomoH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/UtomoHH20,
author = {Darmawan Utomo and
Liang{-}Cheng Hu and
Pao{-}Ann Hsiung},
title = {Deep Neural Network-Based Data Reconstruction for Landslide Detection},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2020, Waikoloa, HI, USA, September 26 - October 2, 2020},
pages = {3119--3122},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IGARSS39084.2020.9323124},
doi = {10.1109/IGARSS39084.2020.9323124},
timestamp = {Mon, 22 Feb 2021 16:46:47 +0100},
biburl = {https://dblp.org/rec/conf/igarss/UtomoHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ChuSCAH19,
author = {William Cheng{-}Chung Chu and
Chihhsiong Shih and
Wen{-}Yi Chou and
Sheikh Iqbal Ahamed and
Pao{-}Ann Hsiung},
title = {Artificial Intelligence of Things in Sports Science: Weight Training
as an Example},
journal = {Computer},
volume = {52},
number = {11},
pages = {52--61},
year = {2019},
url = {https://doi.org/10.1109/MC.2019.2933772},
doi = {10.1109/MC.2019.2933772},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ChuSCAH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/HsiungL19,
author = {Pao{-}Ann Hsiung and
Chih{-}Chen Lin},
title = {Data Reconstruction for Cyber-Physical Landslide Detection System},
booktitle = {2019 {IEEE} International Conference on Cloud Computing Technology
and Science (CloudCom), Sydney, Australia, December 11-13, 2019},
pages = {380--386},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CloudCom.2019.00065},
doi = {10.1109/CLOUDCOM.2019.00065},
timestamp = {Fri, 31 Jan 2020 18:58:33 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/HsiungL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/ChenLH19,
author = {Wei{-}Lun Chen and
Kwan{-}Hung Lee and
Pao{-}Ann Hsiung},
title = {Intersection Crossing for Autonomous Vehicles based on Deep Reinforcement
Learning},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991738},
doi = {10.1109/ICCE-TW46550.2019.8991738},
timestamp = {Thu, 25 Nov 2021 08:23:53 +0100},
biburl = {https://dblp.org/rec/conf/icce-tw/ChenLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-tw/UtomoH19,
author = {Darmawan Utomo and
Pao{-}Ann Hsiung},
title = {Anomaly Detection at the IoT Edge using Deep Learning},
booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan,
{ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991929},
doi = {10.1109/ICCE-TW46550.2019.8991929},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce-tw/UtomoH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/UtomoYTH19,
author = {Darmawan Utomo and
Tzu{-}Hsuan Yang and
Dao Thi Thanh and
Pao{-}Ann Hsiung},
title = {Driver Fatigue Prediction Using Different Sensor Data with Deep Learning},
booktitle = {{IEEE} International Conference on Industrial Cyber Physical Systems,
{ICPS} 2019, Taipei, Taiwan, May 6-9, 2019},
pages = {242--247},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICPHYS.2019.8780225},
doi = {10.1109/ICPHYS.2019.8780225},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/icphys/UtomoYTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ChenH18,
author = {Keng{-}Pin Chen and
Pao{-}Ann Hsiung},
title = {Vehicle Collision Prediction under Reduced Visibility Conditions},
journal = {Sensors},
volume = {18},
number = {9},
pages = {3026},
year = {2018},
url = {https://doi.org/10.3390/s18093026},
doi = {10.3390/S18093026},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ChenH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdsp/HsiungLHU18,
author = {Pao{-}Ann Hsiung and
Yu{-}Yao Lin and
Hsiu{-}Chun Hsu and
Darmawan Utomo},
title = {Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted
Moving Average of Heart-Rate Variabilities},
booktitle = {23rd {IEEE} International Conference on Digital Signal Processing,
{DSP} 2018, Shanghai, China, November 19-21, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICDSP.2018.8631637},
doi = {10.1109/ICDSP.2018.8631637},
timestamp = {Mon, 31 Oct 2022 09:05:23 +0100},
biburl = {https://dblp.org/rec/conf/icdsp/HsiungLHU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/HuangWH17,
author = {Chun{-}Hsian Huang and
Chien{-}Yu Wang and
Pao{-}Ann Hsiung},
title = {Elastic superposition task mapping for NoC-based reconfigurable systems},
journal = {Microprocess. Microsystems},
volume = {51},
pages = {297--312},
year = {2017},
url = {https://doi.org/10.1016/j.micpro.2016.12.002},
doi = {10.1016/J.MICPRO.2016.12.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/HuangWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/desec/ChenH17,
author = {Shi{-}Feng Chen and
Pao{-}Ann Hsiung},
title = {Landslide prediction with model switching},
booktitle = {{IEEE} Conference on Dependable and Secure Computing, {DSC} 2017,
Taipei, Taiwan, August 7-10, 2017},
pages = {232--236},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DESEC.2017.8073846},
doi = {10.1109/DESEC.2017.8073846},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/desec/ChenH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/HuangCWH17,
author = {Ken{-}Shin Huang and
Hung{-}Lin Chao and
Tsung{-}Tien Wu and
Pao{-}Ann Hsiung},
title = {Performance and security oriented Software-Defined Network Interface
design},
booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2017,
Las Vegas, NV, USA, January 8-10, 2017},
pages = {129--132},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCE.2017.7889256},
doi = {10.1109/ICCE.2017.7889256},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iccel/HuangCWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwl/HwangHCL17,
author = {Ren{-}Hung Hwang and
Pao{-}Ann Hsiung and
Yau{-}Jane Chen and
Chin{-}Feng Lai},
editor = {Tien{-}Chi Huang and
Rynson W. H. Lau and
Yueh{-}Min Huang and
Marc Spaniol and
Chun{-}Hung Yuen},
title = {Innovative Project-Based Learning},
booktitle = {Emerging Technologies for Education - Second International Symposium,
{SETE} 2017, Held in Conjunction with {ICWL} 2017, Cape Town, South
Africa, September 20-22, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10676},
pages = {189--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71084-6\_21},
doi = {10.1007/978-3-319-71084-6\_21},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwl/HwangHCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ChangLCHC16,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
William Cheng{-}Chung Chu and
Pao{-}Ann Hsiung and
Dong{-}Meau Chang},
title = {SysML-Based Requirement Management to Improve Software Development},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {26},
number = {3},
pages = {491--512},
year = {2016},
url = {https://doi.org/10.1142/S0218194016500200},
doi = {10.1142/S0218194016500200},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/ChangLCHC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HsiungKCH16,
author = {Pao{-}Ann Hsiung and
Tei{-}Wei Kuo and
Yuan{-}Hao Chang and
Chun{-}Hsian Huang},
title = {Introduction to the special issue on reconfigurable cyber-physical
and embedded system design},
journal = {J. Syst. Archit.},
volume = {62},
pages = {39},
year = {2016},
url = {https://doi.org/10.1016/j.sysarc.2016.01.003},
doi = {10.1016/J.SYSARC.2016.01.003},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/HsiungKCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LinTH16,
author = {Chih{-}Sheng Lin and
Shih{-}Meng Teng and
Pao{-}Ann Hsiung},
title = {Auto-tuning for {GPGPU} applications using performance and energy
model},
journal = {J. Syst. Archit.},
volume = {62},
pages = {40--53},
year = {2016},
url = {https://doi.org/10.1016/j.sysarc.2015.11.012},
doi = {10.1016/J.SYSARC.2015.11.012},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/LinTH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/HsiungCHK16,
author = {Pao{-}Ann Hsiung and
Yuan{-}Hao Chang and
Chun{-}Hsian Huang and
Tei{-}Wei Kuo},
title = {Introduction to the special issue on smart reconfigurable system modeling,
design, and implementation},
journal = {Microprocess. Microsystems},
volume = {42},
pages = {190},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.03.013},
doi = {10.1016/J.MICPRO.2016.03.013},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/HsiungCHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/ChaoH16,
author = {Hung{-}Lin Chao and
Pao{-}Ann Hsiung},
title = {A fair energy resource allocation strategy for micro grid},
journal = {Microprocess. Microsystems},
volume = {42},
pages = {235--244},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.02.011},
doi = {10.1016/J.MICPRO.2016.02.011},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/ChaoH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/ChaoTH16,
author = {Hung{-}Lin Chao and
Sheng{-}Ya Tung and
Pao{-}Ann Hsiung},
title = {Dynamic Task Mapping with Congestion Speculation for Reconfigurable
Network-on-Chip},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {10},
number = {1},
pages = {3:1--3:25},
year = {2016},
url = {https://doi.org/10.1145/2892633},
doi = {10.1145/2892633},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trets/ChaoTH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/LinLLH16,
author = {Feng{-}Sheng Lin and
Po{-}Ting Liu and
Ming{-}Hua Li and
Pao{-}Ann Hsiung},
editor = {Jes{\'{u}}s Carretero and
Javier Garc{\'{\i}}a Blas and
Ryan K. L. Ko and
Peter Mueller and
Koji Nakano},
title = {Feedback Control Optimization for Performance and Energy Efficiency
on {CPU-GPU} Heterogeneous Systems},
booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10048},
pages = {388--404},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49583-5\_29},
doi = {10.1007/978-3-319-49583-5\_29},
timestamp = {Sun, 12 Nov 2023 02:14:42 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/LinLLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/ChaoHYH16,
author = {Hung{-}Lin Chao and
Pei{-}Chi Hsieh and
Tsai{-}Chen Yang and
Pao{-}Ann Hsiung},
title = {Model Predictive Optimization for distribution management in smart
grids},
booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
Society, Florence, Italy, October 23-26, 2016},
pages = {3984--3989},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IECON.2016.7793730},
doi = {10.1109/IECON.2016.7793730},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iecon/ChaoHYH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itnac/HuangCH16,
author = {Ken{-}Shin Huang and
Yi{-}Luen Chang and
Pao{-}Ann Hsiung},
title = {An efficient and robust method for solving multi-objective constraint-satisfaction
problems in Cognitive Radio systems},
booktitle = {26th International Telecommunication Networks and Applications Conference,
{ITNAC} 2016, Dunedin, New Zealand, December 7-9, 2016},
pages = {80--82},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ATNAC.2016.7878787},
doi = {10.1109/ATNAC.2016.7878787},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itnac/HuangCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ChenCH16,
author = {You{-}Ren Chen and
Keng{-}Pin Chen and
Pao{-}Ann Hsiung},
title = {Dynamic traffic light optimization and Control System using model-predictive
control method},
booktitle = {19th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
pages = {2366--2371},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ITSC.2016.7795937},
doi = {10.1109/ITSC.2016.7795937},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/ChenCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2015,
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding},
isbn = {978-1-4673-6563-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2015w,
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/2015w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2015yau,
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 1},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding},
isbn = {978-1-4673-6564-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/2015yau.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuangTLLH15,
author = {Chun{-}Hsian Huang and
Kwuan{-}Wei Tseng and
Chih{-}Cheng Lin and
Fang{-}Yu Lin and
Pao{-}Ann Hsiung},
title = {Virtualization Architecture for NoC-based Reconfigurable Systems},
journal = {CoRR},
volume = {abs/1508.07127},
year = {2015},
url = {http://arxiv.org/abs/1508.07127},
eprinttype = {arXiv},
eprint = {1508.07127},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuangTLLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/ChaoWPLSH14,
author = {Hung{-}Lin Chao and
Cheng{-}Chien Wu and
Chun{-}Yang Peng and
Chun{-}Hsien Lu and
Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
title = {Dynamic partially reconfigurable architecture for fast Fourier transform
computation},
journal = {Int. J. Embed. Syst.},
volume = {6},
number = {2/3},
pages = {207--215},
year = {2014},
url = {https://doi.org/10.1504/IJES.2014.063818},
doi = {10.1504/IJES.2014.063818},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/ChaoWPLSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChenYHC14,
author = {Yean{-}Ru Chen and
Jia{-}Jen Yeh and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
title = {Accelerating Coverage Estimation Through Partial Model Checking},
journal = {{IEEE} Trans. Computers},
volume = {63},
number = {7},
pages = {1613--1625},
year = {2014},
url = {https://doi.org/10.1109/TC.2013.63},
doi = {10.1109/TC.2013.63},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChenYHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/ShenH14,
author = {Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
title = {Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying
Processing Requirements in Network-on-Chip},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {22},
number = {8},
pages = {1777--1790},
year = {2014},
url = {https://doi.org/10.1109/TVLSI.2013.2278334},
doi = {10.1109/TVLSI.2013.2278334},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/ShenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/LinLHC14,
author = {Chao{-}Sheng Lin and
Chih{-}Sheng Lin and
Pao{-}Ann Hsiung and
William C. Chu},
title = {Design Issues in a Performance Monitor for Embedded Multi-core Systems},
journal = {J. Signal Process. Syst.},
volume = {75},
number = {2},
pages = {141--154},
year = {2014},
url = {https://doi.org/10.1007/s11265-013-0771-1},
doi = {10.1007/S11265-013-0771-1},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/LinLHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangLYCYTH14,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
Wen Pin Yang and
William Cheng{-}Chung Chu and
Chao{-}Tung Yang and
Ching{-}Tsorng Tsai and
Pao{-}Ann Hsiung},
title = {A SysML Based Requirement Modeling Automatic Transformation Approach},
booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2014, Vasteras, Sweden, July 21-25, 2014},
pages = {474--479},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/COMPSACW.2014.80},
doi = {10.1109/COMPSACW.2014.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChangLYCYTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LinH14,
author = {Shang{-}Wei Lin and
Pao{-}Ann Hsiung},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Compositional Synthesis of Concurrent Systems through Causal Model
Checking and Learning},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {416--431},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_29},
doi = {10.1007/978-3-319-06410-9\_29},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LinH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcs/ShenHL14,
author = {Jih{-}Sheng Shen and
Pao{-}Ann Hsiung and
Juin{-}Ming Lu},
title = {Reconfigurable Network-on-chip design for heterogeneous multi-core
system architecture},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2014, Bologna, Italy, 21-25 July, 2014},
pages = {523--526},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCSim.2014.6903730},
doi = {10.1109/HPCSIM.2014.6903730},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/hpcs/ShenHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intcompsymp/LinTH14,
author = {Chih{-}Sheng Lin and
Shih{-}Meng Teng and
Pao{-}Ann Hsiung},
editor = {William Cheng{-}Chung Chu and
Han{-}Chieh Chao and
Stephen Jenn{-}Hwa Yang},
title = {Auto-Tuning for {GPGPU} Applications Using Performance and Energy
Model},
booktitle = {Intelligent Systems and Applications - Proceedings of the International
Computer Symposium {(ICS)} held at Taichung, Taiwan, December 12-14,
2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {274},
pages = {195--204},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-484-8-195},
doi = {10.3233/978-1-61499-484-8-195},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intcompsymp/LinTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intcompsymp/ChaoH14,
author = {Hung{-}Lin Chao and
Pao{-}Ann Hsiung},
editor = {William Cheng{-}Chung Chu and
Han{-}Chieh Chao and
Stephen Jenn{-}Hwa Yang},
title = {Micro-grid Design Modeling and Prototyping},
booktitle = {Intelligent Systems and Applications - Proceedings of the International
Computer Symposium {(ICS)} held at Taichung, Taiwan, December 12-14,
2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {274},
pages = {225--234},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-484-8-225},
doi = {10.3233/978-1-61499-484-8-225},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intcompsymp/ChaoH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/HsiehCWH14,
author = {Pei{-}Chi Hsieh and
You{-}Ren Chen and
Wen{-}Hao Wu and
Pao{-}Ann Hsiung},
title = {Timing Optimization and Control for Smart Traffic},
booktitle = {2014 {IEEE} International Conference on Internet of Things, {IEEE}
Green Computing and Communications, and {IEEE} Cyber, Physical and
Social Computing, iThings/GreenCom/CPSCom 2014, Taipei, Taiwan, September
1-3, 2014},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/iThings.2014.11},
doi = {10.1109/ITHINGS.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ithings/HsiehCWH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tsa/ChenCHC14,
author = {Yean{-}Ru Chen and
Sao{-}Jie Chen and
Pao{-}Ann Hsiung and
I{-}Hsin Chou},
title = {Unified Security and Safety Risk Assessment - {A} Case Study on Nuclear
Power Plant},
booktitle = {2014 International Conference on Trustworthy Systems and their Applications,
{TSA} 2014, Taichung, Taiwan, June 9-10, 2014},
pages = {22--28},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/TSA.2014.13},
doi = {10.1109/TSA.2014.13},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/tsa/ChenCHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/ShenHH13,
author = {Jih{-}Sheng Shen and
Pao{-}Ann Hsiung and
Chun{-}Hsian Huang},
title = {Learning-based adaptation to applications and environments in a reconfigurable
network-on-chip for reducing crosstalk and dynamic power consumption},
journal = {Comput. Electr. Eng.},
volume = {39},
number = {2},
pages = {453--464},
year = {2013},
url = {https://doi.org/10.1016/j.compeleceng.2012.09.013},
doi = {10.1016/J.COMPELECENG.2012.09.013},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/ShenHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LinLLHS13,
author = {Chih{-}Sheng Lin and
Chao{-}Sheng Lin and
Yu{-}Shin Lin and
Pao{-}Ann Hsiung and
Chihhsiong Shih},
title = {Multi-objective exploitation of pipeline parallelism using clustering,
replication and duplication in embedded multi-core systems},
journal = {J. Syst. Archit.},
volume = {59},
number = {10-C},
pages = {1083--1094},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2013.05.024},
doi = {10.1016/J.SYSARC.2013.05.024},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/LinLLHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/ChangSH13,
author = {J. Morris Chang and
Marco D. Santambrogio and
Pao{-}Ann Hsiung},
title = {Embedded multicore systems: Architecture, performance and application},
journal = {Microprocess. Microsystems},
volume = {37},
number = {8-B},
pages = {885--886},
year = {2013},
url = {https://doi.org/10.1016/j.micpro.2013.11.001},
doi = {10.1016/J.MICPRO.2013.11.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/ChangSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/HuangH13,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {Virtualizable hardware/software design infrastructure for dynamically
partially reconfigurable systems},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {6},
number = {2},
pages = {11:1--11:18},
year = {2013},
url = {https://doi.org/10.1145/2499625.2499628},
doi = {10.1145/2499625.2499628},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trets/HuangH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/LinTCH13,
author = {Chih{-}Sheng Lin and
Shih{-}Meng Teng and
Yen{-}Ting Chen and
Pao{-}Ann Hsiung},
editor = {Leonard Barolli and
Fatos Xhafa and
Hsing{-}Chung Chen and
Antonio Fernandez G{\'{o}}mez{-}Skarmeta and
Farooq Hussain},
title = {Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel
Processing Systems},
booktitle = {Seventh International Conference on Complex, Intelligent, and Software
Intensive Systems, {CISIS} 2013, Taichung, Taiwan, July 3-5, 2013},
pages = {446--450},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CISIS.2013.81},
doi = {10.1109/CISIS.2013.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/LinTCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/KoongSWH13,
author = {Chorng{-}Shiuh Koong and
Chihhsiong Shih and
Chang{-}Chung Wu and
Pao{-}Ann Hsiung},
editor = {Leonard Barolli and
Fatos Xhafa and
Hsing{-}Chung Chen and
Antonio Fernandez G{\'{o}}mez{-}Skarmeta and
Farooq Hussain},
title = {The Architecture of Parallelized Cloud-Based Automatic Testing System},
booktitle = {Seventh International Conference on Complex, Intelligent, and Software
Intensive Systems, {CISIS} 2013, Taichung, Taiwan, July 3-5, 2013},
pages = {467--470},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CISIS.2013.85},
doi = {10.1109/CISIS.2013.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cisis/KoongSWH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/ChaoPWHLSH13,
author = {Hung{-}Lin Chao and
Chun{-}Yang Peng and
Cheng{-}Chien Wu and
Ken{-}Shin Huang and
Chun{-}Hsien Lu and
Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
title = {Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture
design},
booktitle = {2013 International Conference on Field-Programmable Technology, {FPT}
2013, Kyoto, Japan, December 9-11, 2013},
pages = {426--429},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPT.2013.6718405},
doi = {10.1109/FPT.2013.6718405},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/ChaoPWHLSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/ChenWHCT13,
author = {Yean{-}Ru Chen and
Zi{-}Rong Wangt and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen and
Meng{-}Hsun Tsai},
title = {Backward probing deadlock detection for networks-on-chip},
booktitle = {2013 Seventh {IEEE/ACM} International Symposium on Networks-on-Chip
(NoCS), Tempe, AZ, USA, April 21-24, 2013},
pages = {1--2},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/NoCS.2013.6558396},
doi = {10.1109/NOCS.2013.6558396},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/nocs/ChenWHCT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ChuLCCYLH12,
author = {William Cheng{-}Chung Chu and
Chao{-}Tung Yang and
Chih{-}Wei Lu and
Chih{-}Hung Chang and
Juei{-}Nan Chen and
Pao{-}Ann Hsiung and
Hahn{-}Ming Lee},
title = {Cloud Computing in Taiwan},
journal = {Computer},
volume = {45},
number = {6},
pages = {48--56},
year = {2012},
url = {https://doi.org/10.1109/MC.2012.188},
doi = {10.1109/MC.2012.188},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/ChuLCCYLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/ShihKH12,
author = {Chihhsiong Shih and
Chorng{-}Shiuh Koong and
Pao{-}Ann Hsiung},
title = {Billiard Combat Modeling and Simulation Based on Optimal Cue Placement
Control and Strategic Planning},
journal = {J. Intell. Robotic Syst.},
volume = {67},
number = {1},
pages = {25--41},
year = {2012},
url = {https://doi.org/10.1007/s10846-011-9639-4},
doi = {10.1007/S10846-011-9639-4},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/ShihKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KoongSHLCCHY12,
author = {Chorng{-}Shiuh Koong and
Chihhsiong Shih and
Pao{-}Ann Hsiung and
Hung{-}Jui Lai and
Chih{-}Hung Chang and
William C. Chu and
Nien{-}Lin Hsueh and
Chao{-}Tung Yang},
title = {Automatic testing environment for multi-core embedded software - {ATEMES}},
journal = {J. Syst. Softw.},
volume = {85},
number = {1},
pages = {43--60},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2011.08.030},
doi = {10.1016/J.JSS.2011.08.030},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KoongSHLCCHY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LinH12,
author = {Shang{-}Wei Lin and
Pao{-}Ann Hsiung},
title = {Model Checking Prioritized Timed Systems},
journal = {{IEEE} Trans. Computers},
volume = {61},
number = {6},
pages = {843--856},
year = {2012},
url = {https://doi.org/10.1109/TC.2011.99},
doi = {10.1109/TC.2011.99},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LinH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChaoCTHC12,
author = {Hung{-}Lin Chao and
Yean{-}Ru Chen and
Sheng{-}Ya Tong and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Congestion-aware scheduling for NoC-based reconfigurable systems},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {1561--1566},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176721},
doi = {10.1109/DATE.2012.6176721},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ChaoCTHC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LinLH0D12,
author = {Shang{-}Wei Lin and
Yang Liu and
Pao{-}Ann Hsiung and
Jun Sun and
Jin Song Dong},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Automatic Generation of Provably Correct Embedded Systems},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {214--229},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_17},
doi = {10.1007/978-3-642-34281-3\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LinLH0D12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paap/LinWH12,
author = {Chih{-}Sheng Lin and
Bo{-}Hsuan Wang and
Pao{-}Ann Hsiung},
title = {Synchronization-Aware Dynamic Thread Scheduling for Improving Performance
and Saving Energy in Multi-core Embedded Systems},
booktitle = {Fifth International Symposium on Parallel Architectures, Algorithms
and Programming, {PAAP} 2012, Taipei, Taiwan, December 17-20, 2012},
pages = {13--18},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/PAAP.2012.10},
doi = {10.1109/PAAP.2012.10},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/paap/LinWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ChangLCHHKY12,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
William C. Chu and
Pao{-}Ann Hsiung and
Nien{-}Lin Hsueh and
Chorng{-}Shiuh Koong and
Chao{-}Tung Yang},
editor = {Antony Tang and
Henry Muccini},
title = {An Integrated Development Environment to Support the Multi-core Embedded
Systems Development},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {258--264},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.26},
doi = {10.1109/QSIC.2012.26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/ChangLCHHKY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ChangLH11,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
Pao{-}Ann Hsiung},
title = {Pattern-based framework for modularized software development and evolution
robustness},
journal = {Inf. Softw. Technol.},
volume = {53},
number = {4},
pages = {307--316},
year = {2011},
url = {https://doi.org/10.1016/j.infsof.2010.11.006},
doi = {10.1016/J.INFSOF.2010.11.006},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/ChangLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/YangH11,
author = {Shu{-}Hui Yang and
Pao{-}Ann Hsiung},
title = {Real-Time Services for Special Education},
journal = {{IT} Prof.},
volume = {13},
number = {2},
pages = {14--19},
year = {2011},
url = {https://doi.org/10.1109/MITP.2011.32},
doi = {10.1109/MITP.2011.32},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/YangH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LinLLCH11,
author = {Chao{-}Sheng Lin and
Chun{-}Hsien Lu and
Shang{-}Wei Lin and
Yean{-}Ru Chen and
Pao{-}Ann Hsiung},
title = {VERTAF/Multi-Core: {A} SysML-Based Application Framework for Multi-Core
Embedded Software Development},
journal = {J. Comput. Sci. Technol.},
volume = {26},
number = {3},
pages = {448--462},
year = {2011},
url = {https://doi.org/10.1007/s11390-011-1146-3},
doi = {10.1007/S11390-011-1146-3},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/LinLLCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LinH11,
author = {Shang{-}Wei Lin and
Pao{-}Ann Hsiung},
title = {Counterexample-Guided Assume-Guarantee Synthesis through Learning},
journal = {{IEEE} Trans. Computers},
volume = {60},
number = {5},
pages = {734--750},
year = {2011},
url = {https://doi.org/10.1109/TC.2010.94},
doi = {10.1109/TC.2010.94},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LinH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/YuYHC11,
author = {Chu Yu and
Mao{-}Hsu Yen and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
title = {A low-power 64-point pipeline {FFT/IFFT} processor for {OFDM} applications},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {57},
number = {1},
pages = {40},
year = {2011},
url = {https://doi.org/10.1109/TCE.2011.5735479},
doi = {10.1109/TCE.2011.5735479},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/YuYHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HuangH11,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {Model-Based Verification and Estimation Framework for Dynamically
Partially Reconfigurable Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {7},
number = {2},
pages = {287--301},
year = {2011},
url = {https://doi.org/10.1109/TII.2011.2123901},
doi = {10.1109/TII.2011.2123901},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/HuangH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SuSH11,
author = {Wan{-}Ting Su and
Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
title = {Network-on-Chip router design with Buffer-Stealing},
booktitle = {Proceedings of the 16th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2011, Yokohama, Japan, January 25-27, 2011},
pages = {160--164},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ASPDAC.2011.5722177},
doi = {10.1109/ASPDAC.2011.5722177},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/SuSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangLCYHHKS11,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
William C. Chu and
Chao{-}Tung Yang and
Pao{-}Ann Hsiung and
Nien{-}Lin Hsueh and
Chorng{-}Shiuh Koong and
Kuei{-}Kai Shao},
title = {XML-Based Reusable Component Repository for Embedded Software},
booktitle = {Workshop Proceedings of the 35th Annual {IEEE} International Computer
Software and Applications Conference, {COMPSAC} Workshops 2011, Munich,
Germany, 18-22 July 2011},
pages = {345--350},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSACW.2011.64},
doi = {10.1109/COMPSACW.2011.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChangLCYHHKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/ShihLLHCCHSYK11,
author = {Chun{-}Yi Shih and
Ming{-}Chih Li and
Chao{-}Sheng Lin and
Pao{-}Ann Hsiung and
Chih{-}Hung Chang and
William C. Chu and
Nien{-}Lin Hsueh and
Chihhsiong Shih and
Chao{-}Tung Yang and
Chorng{-}Shiuh Koong},
editor = {Jang{-}Ping Sheu and
Cho{-}Li Wang},
title = {Adaptive Performance Monitoring for Embedded Multicore Systems},
booktitle = {2011 International Conference on Parallel Processing Workshops, {ICPPW}
2011, Taipei, Taiwan, Sept. 13-16, 2011},
pages = {222--228},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICPPW.2011.27},
doi = {10.1109/ICPPW.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icppw/ShihLLHCCHSYK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChuHLCHC11,
author = {Peng{-}Hua Chu and
Nien{-}Lin Hsueh and
Chien{-}Ching Lee and
Min{-}Ju Chuang and
Pao{-}Ann Hsiung and
William C. Chu},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {A pattern-based verification approach for a multi-core system development},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {49--53},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982198},
doi = {10.1145/1982185.1982198},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChuHLCHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ChangLKCYHHK11,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
Kuo{-}Fong Kao and
William C. Chu and
Chao{-}Tung Yang and
Nien{-}Lin Hsueh and
Pao{-}Ann Hsiung and
Chorng{-}Shiuh Koong},
title = {A SysML-Based Requirement Supporting Tool for Embedded Software},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {202--206},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.34},
doi = {10.1109/SSIRI-C.2011.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/ChangLKCYHHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1},
doi = {10.1007/978-3-642-24372-1},
isbn = {978-3-642-24371-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0024610,
author = {Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
title = {Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational
Processing and Communication},
publisher = {{IGI} Global},
year = {2010},
url = {https://doi.org/10.4018/978-1-61520-807-4},
doi = {10.4018/978-1-61520-807-4},
isbn = {978-1-61520-807-4},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0024610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/LuLH10,
author = {Chun{-}Hsien Lu and
Hsiao{-}Win Liao and
Pao{-}Ann Hsiung},
title = {Multi-objective placement of reconfigurable hardware tasks in real-time
system},
journal = {Int. J. Embed. Syst.},
volume = {4},
number = {3/4},
pages = {195--203},
year = {2010},
url = {https://doi.org/10.1504/IJES.2010.039024},
doi = {10.1504/IJES.2010.039024},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/LuLH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HuangHS10,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung and
Jih{-}Sheng Shen},
title = {UML-based hardware/software co-design platform for dynamically partially
reconfigurable network security systems},
journal = {J. Syst. Archit.},
volume = {56},
number = {2-3},
pages = {88--102},
year = {2010},
url = {https://doi.org/10.1016/j.sysarc.2009.11.007},
doi = {10.1016/J.SYSARC.2009.11.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/HuangHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HuangHS10a,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung and
Jih{-}Sheng Shen},
title = {Model-based platform-specific co-design methodology for dynamically
partially reconfigurable systems with hardware virtualization and
preemption},
journal = {J. Syst. Archit.},
volume = {56},
number = {11},
pages = {545--560},
year = {2010},
url = {https://doi.org/10.1016/j.sysarc.2010.07.007},
doi = {10.1016/J.SYSARC.2010.07.007},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/HuangHS10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/HsiungHSC10,
author = {Pao{-}Ann Hsiung and
Chun{-}Hsian Huang and
Jih{-}Sheng Shen and
Cheng{-}Chi Chiang},
title = {Scheduling and Placement of Hardware/Software Real-Time Relocatable
Tasks in Dynamically Partially Reconfigurable Systems},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {4},
number = {1},
pages = {9:1--9:32},
year = {2010},
url = {https://doi.org/10.1145/1857927.1857936},
doi = {10.1145/1857927.1857936},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trets/HsiungHSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/HsiungLL10,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Chao{-}Sheng Lin},
title = {Real-Time Embedded Software Design for Mobile and Ubiquitous Systems},
journal = {J. Signal Process. Syst.},
volume = {59},
number = {1},
pages = {13--32},
year = {2010},
url = {https://doi.org/10.1007/s11265-008-0268-5},
doi = {10.1007/S11265-008-0268-5},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/HsiungLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HsuehCHCCCKS10,
author = {Nien{-}Lin Hsueh and
Peng{-}Hua Chu and
Pao{-}Ann Hsiung and
Min{-}Ju Chuang and
William C. Chu and
Chih{-}Hung Chang and
Chorng{-}Shiuh Koong and
Chihhsiong Shih},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Supporting Design Enhancement by Pattern-Based Transformation},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {462--467},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.53},
doi = {10.1109/COMPSAC.2010.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HsuehCHCCCKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShenHH10,
author = {Jih{-}Sheng Shen and
Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Learning-based adaptation to applications and environments in a reconfigurable
Network-on-Chip},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {381--386},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457173},
doi = {10.1109/DATE.2010.5457173},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/ShenHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nas/YangH10,
author = {Shu{-}Hui Yang and
Pao{-}Ann Hsiung},
title = {Innovative Application of {RFID} Systems to Special Education Schools},
booktitle = {Fifth International Conference on Networking, Architecture, and Storage,
{NAS} 2010, Macau, China, July 15-17, 2010},
pages = {299--304},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/NAS.2010.33},
doi = {10.1109/NAS.2010.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nas/YangH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/KoongLCCHHSY10,
author = {Chorng{-}Shiuh Koong and
Hung{-}Jui Lai and
Chih{-}Hung Chang and
William C. Chu and
Nien{-}Lin Hsueh and
Pao{-}Ann Hsiung and
Chihhsiong Shih and
Chao{-}Tung Yang},
editor = {Ji Wang and
W. K. Chan and
Fei{-}Ching Kuo},
title = {Supporting Tool for Embedded Software Testing},
booktitle = {Proceedings of the 10th International Conference on Quality Software,
{QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
pages = {481--487},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QSIC.2010.34},
doi = {10.1109/QSIC.2010.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/KoongLCCHHSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChangLHCSYHK10,
author = {Chih{-}Hung Chang and
Chih{-}Wei Lu and
Nien{-}Lin Hsueh and
William C. Chu and
Chihhsiong Shih and
Chao{-}Tung Yang and
Pao{-}Ann Hsiung and
Chorng{-}Shiuh Koong},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {SysML-based requirement modeling environment for multicore embedded
system},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2224--2228},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774555},
doi = {10.1145/1774088.1774555},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChangLHCSYHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/ChenHYYSSH10,
author = {Sao{-}Jie Chen and
Pao{-}Ann Hsiung and
Chu Yu and
Mao{-}Hsu Yen and
Sakir Sezer and
Michael J. Schulte and
Yu Hen Hu},
editor = {Fadi J. Kurdahi and
Jarmo Takala},
title = {{ARAL-CR:} An adaptive reasoning and learning cognitive radio platform},
booktitle = {Proceedings of the 2010 International Conference on Embedded Computer
Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2010),
Samos, Greece, July 19-22, 2010},
pages = {324--331},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICSAMOS.2010.5642050},
doi = {10.1109/ICSAMOS.2010.5642050},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/samos/ChenHYYSSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/HuangSH10,
author = {Chun{-}Hsian Huang and
Jih{-}Sheng Shen and
Pao{-}Ann Hsiung},
editor = {Zhiwen Yu and
Ramiro Liscano and
Guanling Chen and
Daqing Zhang and
Xingshe Zhou},
title = {A Self-Adaptive Hardware/Software System Architecture for Ubiquitous
Computing Applications},
booktitle = {Ubiquitous Intelligence and Computing - 7th International Conference,
{UIC} 2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6406},
pages = {382--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16355-5\_31},
doi = {10.1007/978-3-642-16355-5\_31},
timestamp = {Wed, 11 Nov 2020 16:58:38 +0100},
biburl = {https://dblp.org/rec/conf/uic/HuangSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/HuangH09,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {Hardware Resource Virtualization for Dynamically Partially Reconfigurable
Systems},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {1},
number = {1},
pages = {19--23},
year = {2009},
url = {https://doi.org/10.1109/LES.2009.2028039},
doi = {10.1109/LES.2009.2028039},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/HuangH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jec/HsiungHC09,
author = {Pao{-}Ann Hsiung and
Chun{-}Hsian Huang and
Yuan{-}Hsiu Chen},
title = {Hardware task scheduling and placement in operating systems for dynamically
reconfigurable SoC},
journal = {J. Embed. Comput.},
volume = {3},
number = {1},
pages = {53--62},
year = {2009},
url = {https://doi.org/10.3233/JEC-2009-0078},
doi = {10.3233/JEC-2009-0078},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jec/HsiungHC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HsiungLCHSC09,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Yean{-}Ru Chen and
Chun{-}Hsian Huang and
Chihhsiong Shih and
William C. Chu},
title = {Modeling and verification of real-time embedded systems with urgency},
journal = {J. Syst. Softw.},
volume = {82},
number = {10},
pages = {1627--1641},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2009.03.013},
doi = {10.1016/J.JSS.2009.03.013},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/HsiungLCHSC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShihWLHHCKC09,
author = {Chihhsiong Shih and
Chien{-}Ting Wu and
Cheng{-}Yao Lin and
Pao{-}Ann Hsiung and
Nien{-}Lin Hsueh and
Chih{-}Hung Chang and
Chorng{-}Shiuh Koong and
William C. Chu},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {A Model-Driven Multicore Software Development Environment for Embedded
System},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 2},
pages = {261--268},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.148},
doi = {10.1109/COMPSAC.2009.148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ShihWLHHCKC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/LuLH09,
author = {Chun{-}Hsien Lu and
Hsiao{-}Win Liao and
Pao{-}Ann Hsiung},
title = {Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time
System},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {921--925},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.489},
doi = {10.1109/CSE.2009.489},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/LuLH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenCHCH09,
author = {Yean{-}Ru Chen and
To{-}Yu Chen and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen and
Yu Hen Hu},
editor = {Hamid R. Arabnia and
George A. Gravvanis},
title = {Compositional Automata Reduction with Non-critical Path Slicing},
booktitle = {Proceedings of the 2009 International Conference on Foundations of
Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
{USA}},
pages = {133--138},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Wed, 08 Dec 2010 08:03:53 +0100},
biburl = {https://dblp.org/rec/conf/fcs/ChenCHCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/HsiungLLCLTSSKHCC09,
author = {Pao{-}Ann Hsiung and
Chao{-}Sheng Lin and
Shang{-}Wei Lin and
Yean{-}Ru Chen and
Chun{-}Hsien Lu and
Sheng{-}Ya Tong and
Wan{-}Ting Su and
Chihhsiong Shih and
Chorng{-}Shiuh Koong and
Nien{-}Lin Hsueh and
Chih{-}Hung Chang and
William C. Chu},
editor = {Arrems Hua and
Shih{-}Liang Chang},
title = {VERTAF/Multi-Core: {A} SysML-Based Application Framework for Multi-Core
Embedded Software Development},
booktitle = {Algorithms and Architectures for Parallel Processing, 9th International
Conference, {ICA3PP} 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5574},
pages = {303--314},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03095-6\_30},
doi = {10.1007/978-3-642-03095-6\_30},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/HsiungLLCLTSSKHCC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Hsiung0CHCSKLLT09,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Yean{-}Ru Chen and
Nien{-}Lin Hsueh and
Chih{-}Hung Chang and
Chihhsiong Shih and
Chorng{-}Shiuh Koong and
Chao{-}Sheng Lin and
Chun{-}Hsien Lu and
Sheng{-}Ya Tong and
Wan{-}Ting Su and
William C. Chu},
title = {Model-driven development of multi-core embedded software},
booktitle = {Proceedings of the 2009 {ICSE} Workshop on Multicore Software Engineering,
{IWMSE} '09, Vancouver, BC, Canada, May 18, 2009},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/IWMSE.2009.5071378},
doi = {10.1109/IWMSE.2009.5071378},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Hsiung0CHCSKLLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/LinYHYYHC09,
author = {Jia{-}Wei Lin and
Da{-}Tong Yen and
Wei{-}Yi Hu and
Chu Yu and
Mao{-}Hsu Yen and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
title = {A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band {LNA}},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2009), 24-17
May 2009, Taipei, Taiwan},
pages = {1024--1027},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISCAS.2009.5117933},
doi = {10.1109/ISCAS.2009.5117933},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/LinYHYYHC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/HuangH09a,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {On the Use of a UML-Based {HW/SW} Co-Design Platform for Reconfigurable
Cryptographic Systems},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2009), 24-17
May 2009, Taipei, Taiwan},
pages = {2221--2224},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISCAS.2009.5118239},
doi = {10.1109/ISCAS.2009.5118239},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/HuangH09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/ShihLH09,
author = {Kai{-}Jung Shih and
Yi{-}Hsun Lin and
Pao{-}Ann Hsiung},
title = {Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time
Embedded Systems},
booktitle = {The 10th International Symposium on Pervasive Systems, Algorithms,
and Networks, {ISPAN} 2009, Kaohsiung, Taiwan, December 14-16, 2009},
pages = {474--479},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/I-SPAN.2009.143},
doi = {10.1109/I-SPAN.2009.143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispan/ShihLH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/LinYYHCH09,
author = {Jui{-}Chieh Lin and
Chu Yu and
Mao{-}Hsu Yen and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen and
Yu Hen Hu},
editor = {Walid A. Najjar and
Michael J. Schulte},
title = {Parallel implementation of convolution encoder for software defined
radio on {DSP} architecture},
booktitle = {Proceedings of the 2009 International Conference on Embedded Computer
Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2009),
Samos, Greece, July 20-23, 2009},
pages = {180--186},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSAMOS.2009.5289230},
doi = {10.1109/ICSAMOS.2009.5289230},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/samos/LinYYHCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HsiungL08,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin},
title = {Automatic synthesis and verification of real-time embedded software
for mobile and ubiquitous systems},
journal = {Comput. Lang. Syst. Struct.},
volume = {34},
number = {4},
pages = {153--169},
year = {2008},
url = {https://doi.org/10.1016/j.cl.2007.06.002},
doi = {10.1016/J.CL.2007.06.002},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/HsiungL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/HuangH08,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {Software-Controlled Dynamically Swappable Hardware Design in Partially
Reconfigurable Systems},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2008},
year = {2008},
url = {https://doi.org/10.1155/2008/231940},
doi = {10.1155/2008/231940},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/HuangH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/HsiungLL08,
author = {Pao{-}Ann Hsiung and
Chao{-}Sheng Lin and
Chih{-}Feng Liao},
title = {Perfecto: {A} systemc-based design-space exploration framework for
dynamically reconfigurable architectures},
journal = {{ACM} Trans. Reconfigurable Technol. Syst.},
volume = {1},
number = {3},
pages = {17:1--17:30},
year = {2008},
url = {https://doi.org/10.1145/1391732.1391737},
doi = {10.1145/1391732.1391737},
timestamp = {Fri, 24 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trets/HsiungLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/HuangH08,
author = {Chun{-}Hsian Huang and
Pao{-}Ann Hsiung},
title = {UML-based hardware/software co-design platform for dynamically partially
reconfigurable network security systems},
booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC}
2008, Hsinchu, China, August 4-6, 2008},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APCSAC.2008.4625436},
doi = {10.1109/APCSAC.2008.4625436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/HuangH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/ShenHC08,
author = {Jih{-}Sheng Shen and
Pao{-}Ann Hsiung and
Kuei{-}Chung Chang},
title = {A novel spatio-temporal adaptive bus encoding for reducing crosstalk
interferences with trade-offs between performance and reliability},
booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC}
2008, Hsinchu, China, August 4-6, 2008},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APCSAC.2008.4625439},
doi = {10.1109/APCSAC.2008.4625439},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/ShenHC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ChenH07,
author = {Yean{-}Ru Chen and
Pao{-}Ann Hsiung},
title = {Automatic Failure Analysis Using Safecharts},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {17},
number = {1},
pages = {57--78},
year = {2007},
url = {https://doi.org/10.1142/S0218194007003136},
doi = {10.1142/S0218194007003136},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/ChenH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HsiungCL07,
author = {Pao{-}Ann Hsiung and
Yean{-}Ru Chen and
Yen{-}Hung Lin},
title = {Model Checking Safety-Critical Systems Using Safecharts},
journal = {{IEEE} Trans. Computers},
volume = {56},
number = {5},
pages = {692--705},
year = {2007},
url = {https://doi.org/10.1109/TC.2007.1021},
doi = {10.1109/TC.2007.1021},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/HsiungCL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/HsiungLL07,
author = {Pao{-}Ann Hsiung and
Pin{-}Hsien Lu and
Chih{-}Wen Liu},
editor = {Soonhoi Ha and
Kiyoung Choi and
Nikil D. Dutt and
J{\"{u}}rgen Teich},
title = {Energy efficient co-scheduling in dynamically reconfigurable systems},
booktitle = {Proceedings of the 5th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2007, Salzburg, Austria,
September 30 - October 3, 2007},
pages = {87--92},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289816.1289840},
doi = {10.1145/1289816.1289840},
timestamp = {Sat, 05 Sep 2020 18:08:48 +0200},
biburl = {https://dblp.org/rec/conf/codes/HsiungLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/HsiungLHFLCCLL07,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Chin{-}Chieh Hung and
Jih{-}Ming Fu and
Chao{-}Sheng Lin and
Cheng{-}Chi Chiang and
Kuo{-}Cheng Chiang and
Chun{-}Hsien Lu and
Pin{-}Hsien Lu},
editor = {Tei{-}Wei Kuo and
Edwin Hsing{-}Mean Sha and
Minyi Guo and
Laurence Tianruo Yang and
Zili Shao},
title = {Real-Time Embedded Software Design for Mobile and Ubiquitous Systems},
booktitle = {Embedded and Ubiquitous Computing, International Conference, {EUC}
2007, Taipei, Taiwan, December 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4808},
pages = {718--729},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77092-3\_62},
doi = {10.1007/978-3-540-77092-3\_62},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euc/HsiungLHFLCCLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/HsiungL07,
author = {Pao{-}Ann Hsiung and
Chih{-}Wen Liu},
editor = {Koen Bertels and
Walid A. Najjar and
Arjan J. van Genderen and
Stamatis Vassiliadis},
title = {Exploiting Hardware and Software Low Power Techniques for Energy Efficient
Co-scheduling in Dynamically Reconfigurable Systems},
booktitle = {{FPL} 2007, International Conference on Field Programmable Logic and
Applications, Amsterdam, The Netherlands, 27-29 August 2007},
pages = {165--170},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/FPL.2007.4380642},
doi = {10.1109/FPL.2007.4380642},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/HsiungL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/ShihHH07,
author = {Kai{-}Jung Shih and
Chin{-}Chieh Hung and
Pao{-}Ann Hsiung},
editor = {Hideharu Amano and
Andy Ye and
Takeshi Ikenaga},
title = {Reconfigurable Hardware Module Sequencer - {A} Tradeoff Between Networked
and Data Flow Architectures},
booktitle = {2007 International Conference on Field-Programmable Technology, {ICFPT}
2007, Kitakyushu, Japan, December 12-14, 2007},
pages = {237--240},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/FPT.2007.4439255},
doi = {10.1109/FPT.2007.4439255},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpt/ShihHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/HsiungL07,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin},
title = {From {ISA} to application design via {RTOS} - a course design framework
for embedded software},
booktitle = {13th International Conference on Parallel and Distributed Systems,
{ICPADS} 2007, Hsinchu, Taiwan, December 5-7, 2007},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICPADS.2007.4447793},
doi = {10.1109/ICPADS.2007.4447793},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/HsiungL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/HuangSLCH07,
author = {Chun{-}Hsian Huang and
Kai{-}Jung Shih and
Chao{-}Sheng Lin and
Shih{-}Shiue Chang and
Pao{-}Ann Hsiung},
title = {Dynamically Swappable Hardware Design in Partially Reconfigurable
Systems},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20
May 2007, New Orleans, Louisiana, {USA}},
pages = {2742--2745},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ISCAS.2007.378620},
doi = {10.1109/ISCAS.2007.378620},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/HuangSLCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChenHC07,
author = {Yean{-}Ru Chen and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Modeling and Automatic Failure Analysis of Safety-Critical Systems
Using Extended Safecharts},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {451--464},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_43},
doi = {10.1007/978-3-540-75101-4\_43},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChenHC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HsiungLCHYSLL06,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Yean{-}Ru Chen and
Chun{-}Hsian Huang and
Jia{-}Jen Yeh and
Hong{-}Yu Sun and
Chao{-}Sheng Lin and
Hsiao{-}Win Liao},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Model Checking Timed Systems with Urgencies},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_8},
doi = {10.1007/11901914\_8},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HsiungLCHYSLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/HsiungHL06,
author = {Pao{-}Ann Hsiung and
Chun{-}Hsian Huang and
Chih{-}Feng Liao},
title = {Perfecto: {A} Systemc-Based Performance Evaluation Framework for Dynamically
Partially Reconfigurable Systems},
booktitle = {Proceedings of the 2006 International Conference on Field Programmable
Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006},
pages = {1--6},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/FPL.2006.311213},
doi = {10.1109/FPL.2006.311213},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/HsiungHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/HsiungK05,
author = {Pao{-}Ann Hsiung and
Hsin{-}Chieh Kao},
title = {Device-Centric Low-Power Scheduling for Real-Time Embedded Systems},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {15},
number = {2},
pages = {461--466},
year = {2005},
url = {https://doi.org/10.1142/S021819400500194X},
doi = {10.1142/S021819400500194X},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/HsiungK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HsiungLFS05,
author = {Pao{-}Ann Hsiung and
Trong{-}Yen Lee and
Jih{-}Ming Fu and
Win{-}Bin See},
title = {{SESAG:} an object-oriented application framework for real-time systems},
journal = {Softw. Pract. Exp.},
volume = {35},
number = {10},
pages = {899--921},
year = {2005},
url = {https://doi.org/10.1002/spe.655},
doi = {10.1002/SPE.655},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HsiungLFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LinHHC05,
author = {Shang{-}Wei Lin and
Pao{-}Ann Hsiung and
Chun{-}Hsian Huang and
Yean{-}Ru Chen},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Model Checking Prioritized Timed Automata},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {370--384},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_28},
doi = {10.1007/11562948\_28},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LinHHC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/TsengH05,
author = {Chih{-}Hao Tseng and
Pao{-}Ann Hsiung},
editor = {Laurence Tianruo Yang and
Makoto Amamiya and
Zhen Liu and
Minyi Guo and
Franz J. Rammig},
title = {UML-Based Design Flow and Partitioning Methodology for Dynamically
Reconfigurable Computing Systems},
booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference
{EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3824},
pages = {479--488},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596356\_49},
doi = {10.1007/11596356\_49},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/euc/TsengH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ChenH05,
author = {Yuan{-}Hsiu Chen and
Pao{-}Ann Hsiung},
editor = {Laurence Tianruo Yang and
Makoto Amamiya and
Zhen Liu and
Minyi Guo and
Franz J. Rammig},
title = {Hardware Task Scheduling and Placement in Operating Systems for Dynamically
Reconfigurable SoC},
booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference
{EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3824},
pages = {489--498},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596356\_50},
doi = {10.1007/11596356\_50},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euc/ChenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HsiungL05,
author = {Pao{-}Ann Hsiung and
Yen{-}Hung Lin},
editor = {Farn Wang},
title = {Modeling and Verification of Safety-Critical Systems Using Safecharts},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {290--304},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_22},
doi = {10.1007/11562436\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/HsiungL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungL05,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin},
title = {Model Checking Timed Systems with Priorities},
booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
China},
pages = {539--544},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTCSA.2005.60},
doi = {10.1109/RTCSA.2005.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HsiungL05,
author = {Pao{-}Ann Hsiung and
Yen{-}Hung Lin},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Model-based Verification of Safety-Critical Systems},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {596--601},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/HsiungL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/LeeH04,
author = {Trong{-}Yen Lee and
Pao{-}Ann Hsiung},
title = {Embedded software synthesis and prototyping},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {50},
number = {1},
pages = {386--392},
year = {2004},
url = {https://doi.org/10.1109/TCE.2004.1277888},
doi = {10.1109/TCE.2004.1277888},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/LeeH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HsiungLTLFS04,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin and
Chih{-}Hao Tseng and
Trong{-}Yen Lee and
Jih{-}Ming Fu and
Win{-}Bin See},
title = {{VERTAF:} An Application Framework for the Design and Verification
of Embedded Real-Time Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {10},
pages = {656--674},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.68},
doi = {10.1109/TSE.2004.68},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HsiungLTLFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HsiungL04,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin},
editor = {Wei{-}Ngan Chin},
title = {Formal Design and Verification of Real-Time Embedded Software},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {382--397},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_26},
doi = {10.1007/978-3-540-30477-7\_26},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HsiungL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LeeH04,
author = {Te{-}Chang Lee and
Pao{-}Ann Hsiung},
editor = {Farn Wang},
title = {Mutation Coverage Estimation for Model Checking},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {354--368},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_29},
doi = {10.1007/978-3-540-30476-0\_29},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/LeeH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/HsiungL04,
author = {Pao{-}Ann Hsiung and
Shang{-}Wei Lin},
editor = {Laurence Tianruo Yang and
Minyi Guo and
Guang R. Gao and
Niraj K. Jha},
title = {Automatic Synthesis and Verification of Real-Time Embedded Software},
booktitle = {Embedded and Ubiquitous Computing, International Conference {EUC}
2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3207},
pages = {12--21},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30121-9\_2},
doi = {10.1007/978-3-540-30121-9\_2},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euc/HsiungL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/HsiungL03,
author = {Pao{-}Ann Hsiung and
Cheng{-}Yi Lin},
editor = {Rajesh Gupta and
Yukihiro Nakamura and
Alex Orailoglu and
Pai H. Chou},
title = {Synthesis of real-time embedded software with local and global deadlines},
booktitle = {Proceedings of the 1st {IEEE/ACM/IFIP} International Conference on
Hardware/Software Codesign and System Synthesis, {CODES+ISSS} 2003,
Newport Beach, CA, USA, October 1-3, 2003},
pages = {114--119},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944645.944679},
doi = {10.1145/944645.944679},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/HsiungL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungLL03,
author = {Pao{-}Ann Hsiung and
Cheng{-}Yi Lin and
Trong{-}Yen Lee},
editor = {Jing Chen and
Seongsoo Hong},
title = {Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software
with Local and Global Deadlines},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_14},
doi = {10.1007/978-3-540-24686-2\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LeeHWS03,
author = {Trong{-}Yen Lee and
Pao{-}Ann Hsiung and
I{-}Mu Wu and
Feng{-}Shi Su},
editor = {Jing Chen and
Seongsoo Hong},
title = {{RESS:} Real-Time Embedded Software Synthesis and Prototyping Methodology},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {529--544},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_33},
doi = {10.1007/978-3-540-24686-2\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/LeeHWS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SeeHLC03,
author = {Win{-}Bin See and
Pao{-}Ann Hsiung and
Trong{-}Yen Lee and
Sao{-}Jie Chen},
editor = {Jing Chen and
Seongsoo Hong},
title = {Software Platform for Embedded Software Development},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {545--557},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_34},
doi = {10.1007/978-3-540-24686-2\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/SeeHLC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/HsiungC03,
author = {Pao{-}Ann Hsiung and
Shu{-}Yu Cheng},
title = {Automating Formal Modular Verification of Asynchronous Real-Time Embedded
Systems},
booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003),
4-8 January 2003, New Delhi, India},
pages = {249--254},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICVD.2003.1183145},
doi = {10.1109/ICVD.2003.1183145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/HsiungC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/HsiungS03,
author = {Pao{-}Ann Hsiung and
Feng{-}Shi Su},
title = {Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling},
booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003),
4-8 January 2003, New Delhi, India},
pages = {579--584},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICVD.2003.1183196},
doi = {10.1109/ICVD.2003.1183196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/HsiungS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/WangH02,
author = {Farn Wang and
Pao{-}Ann Hsiung},
title = {Efficient and User-Friendly Verification},
journal = {{IEEE} Trans. Computers},
volume = {51},
number = {1},
pages = {61--83},
year = {2002},
url = {https://doi.org/10.1109/12.980017},
doi = {10.1109/12.980017},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/WangH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HsiungLS02,
author = {Pao{-}Ann Hsiung and
Trong{-}Yen Lee and
Feng{-}Shi Su},
title = {Formal Synthesis and Code Generation of Real-Time Embedded Software
using Time-Extended Quasi-Static Scheduling},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {395--404},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1183009},
doi = {10.1109/APSEC.2002.1183009},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HsiungLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SuH02,
author = {Feng{-}Shi Su and
Pao{-}Ann Hsiung},
editor = {J{\"{o}}rg Henkel and
Xiaobo Sharon Hu and
Rajesh Gupta and
Sri Parameswaran},
title = {Extended quasi-static scheduling for formal synthesis and code generation
of embedded software},
booktitle = {Proceedings of the Tenth International Symposium on Hardware/Software
Codesign, {CODES} 2002, Estes Park, Colorado, USA, May 6-8, 2002},
pages = {211--216},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/774789.774832},
doi = {10.1145/774789.774832},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/SuH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/LeeHC02,
author = {Trong{-}Yen Lee and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
title = {{TCN:} Scalable Hierarchical Hypercubes},
booktitle = {9th International Conference on Parallel and Distributed Systems,
{ICPADS} 2002, Taiwan, ROC, December 17-20, 2002},
pages = {11--16},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICPADS.2002.1183371},
doi = {10.1109/ICPADS.2002.1183371},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/LeeHC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/HsiungLSFC02,
author = {Pao{-}Ann Hsiung and
Trong{-}Yen Lee and
Win{-}Bin See and
Jih{-}Ming Fu and
Sao{-}Jie Chen},
title = {{VERTAF:} An Object-Oriented Application Framework for Embedded Real-Time
Systems},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {322--329},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003755},
doi = {10.1109/ISORC.2002.1003755},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/HsiungLSFC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HsiungG02,
author = {Pao{-}Ann Hsiung and
Chuen{-}Hau Gao},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling
of Colored Time Petri Nets},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {140--159},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80474-2},
doi = {10.1016/S1571-0661(04)80474-2},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HsiungG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/Hsiung01,
author = {Pao{-}Ann Hsiung},
title = {{POSE:} a parallel object-oriented synthesis environment},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {6},
number = {1},
pages = {67--92},
year = {2001},
url = {https://doi.org/10.1145/371254.371263},
doi = {10.1145/371254.371263},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/Hsiung01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HsiungSLFC01,
author = {Pao{-}Ann Hsiung and
Win{-}Bin See and
Trong{-}Yen Lee and
Jih{-}Ming Fu and
Sao{-}Jie Chen},
title = {Formal Verification of Embedded Real-Time Software in Component-Based
Application Frameworks},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991461},
doi = {10.1109/APSEC.2001.991461},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HsiungSLFC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/Hsiung01,
author = {Pao{-}Ann Hsiung},
editor = {Jan Madsen and
J{\"{o}}rg Henkel and
Xiaobo Sharon Hu},
title = {Formal synthesis and code generation of embedded real-time software},
booktitle = {Proceedings of the Ninth International Symposium on Hardware/Software
Codesign, {CODES} 2001, Copenhagen, Denmark, 2001},
pages = {208--213},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/371636.371729},
doi = {10.1145/371636.371729},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/Hsiung01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Hsiung01,
author = {Pao{-}Ann Hsiung},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Formal Synthesis and Control of Soft Embedded Real-Time Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {35--52},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/Hsiung01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/HsiungSGCC01,
author = {Pao{-}Ann Hsiung and
Feng{-}Shi Su and
Chuen{-}Hau Gao and
Shu{-}Yu Cheng and
Yu{-}Ming Chang},
title = {Verifiable Embedded Real-Time Application Framework},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {109--110},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.936258},
doi = {10.1109/RTTAS.2001.936258},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/HsiungSGCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Hsiung00,
author = {Pao{-}Ann Hsiung},
title = {Embedded software verification in hardware-software codesign},
journal = {J. Syst. Archit.},
volume = {46},
number = {15},
pages = {1435--1450},
year = {2000},
url = {https://doi.org/10.1016/S1383-7621(00)00034-5},
doi = {10.1016/S1383-7621(00)00034-5},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Hsiung00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/Hsiung00,
author = {Pao{-}Ann Hsiung},
title = {{CMAPS:} a cosynthesis methodology for application-oriented parallel
systems},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {5},
number = {1},
pages = {51--81},
year = {2000},
url = {https://doi.org/10.1145/329458.329465},
doi = {10.1145/329458.329465},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/Hsiung00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Hsiung00,
author = {Pao{-}Ann Hsiung},
title = {Concurrent Embedded Real-Time Software Verification},
booktitle = {24th International Computer Software and Applications Conference {(COMPSAC}
2000), 25-28 October 2000, Taipei, Taiwan},
pages = {516--521},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CMPSAC.2000.884775},
doi = {10.1109/CMPSAC.2000.884775},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Hsiung00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/FuSHCC00,
author = {Jih{-}Ming Fu and
Win{-}Bin See and
Pao{-}Ann Hsiung and
Jen{-}Ming Chao and
Sao{-}Jie Chen},
editor = {Ten{-}Hwang Lai},
title = {A Java-Based Distributed System Framework for Real-Time Development},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {B31--B36},
year = {2000},
timestamp = {Mon, 22 Mar 2004 09:40:43 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/FuSHCC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungWC00,
author = {Pao{-}Ann Hsiung and
Farn Wang and
Ruey{-}Cheng Chen},
title = {On the verification of Wireless Transaction Protocol using {SGM} and
{RED}},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {379--383},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896414},
doi = {10.1109/RTCSA.2000.896414},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungWC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/Hsiung99,
author = {Pao{-}Ann Hsiung},
editor = {Ahmed Amine Jerraya and
Luciano Lavagno and
Frank Vahid},
title = {Timing coverification of concurrent embedded real-time systems},
booktitle = {Proceedings of the Seventh International Workshop on Hardware/Software
Codesign, {CODES} 1999, Rome, Italy, 1999},
pages = {110--114},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301177.301501},
doi = {10.1145/301177.301501},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/Hsiung99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Hsiung99,
author = {Pao{-}Ann Hsiung},
title = {Hardware-software coverification of concurrent embedded real-time
systems},
booktitle = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11
June 1999, York, England, UK, Proceedings},
pages = {216--223},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/EMRTS.1999.777468},
doi = {10.1109/EMRTS.1999.777468},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Hsiung99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HsiungW99,
author = {Pao{-}Ann Hsiung and
Farn Wang},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {User-Friendly Verification},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {279--294},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/HsiungW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/Hsiung99,
author = {Pao{-}Ann Hsiung},
editor = {Hamid R. Arabnia},
title = {High Level Design Reuse through Fuzzy Learning},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '99, June 28 - July 1, 1999, Las Vegas, Nevada, USA, Volume
2},
pages = {658--661},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Fri, 26 Mar 2004 14:00:31 +0100},
biburl = {https://dblp.org/rec/conf/icai/Hsiung99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Hsiung99,
author = {Pao{-}Ann Hsiung},
editor = {Hamid R. Arabnia},
title = {Parallel Object-Oriented Synthesis Methodology},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {2073--2076},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/Hsiung99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/LeeHC99,
author = {Trong{-}Yen Lee and
Pao{-}Ann Hsiung and
Sao{-}Jie Chen},
editor = {Hamid R. Arabnia},
title = {A Case Study in Hardware-Software Codesign of Distributed Systems
- Vehicle Parking Management System},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {2982--2987},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Tue, 20 Apr 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/LeeHC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungWK99,
author = {Pao{-}Ann Hsiung and
Farn Wang and
Yue{-}Sun Kuo},
title = {Verification of Concurrent Client-Server Real-Time Scheduling Systems},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {228--235},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811234},
doi = {10.1109/RTCSA.1999.811234},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungWK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HsiungWK99,
author = {Pao{-}Ann Hsiung and
Farn Wang and
Yue{-}Sun Kuo},
editor = {Rance Cleaveland},
title = {Scheduling System Verification},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {19--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_2},
doi = {10.1007/3-540-49059-0\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HsiungWK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/HsiungCLC98,
author = {Pao{-}Ann Hsiung and
Chung{-}Hwang Chen and
Trong{-}Yen Lee and
Sao{-}Jie Chen},
title = {{ICOS:} an intelligent concurrent object-oriented synthesis methodology
for multiprocessor systems},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {3},
number = {2},
pages = {109--135},
year = {1998},
url = {https://doi.org/10.1145/290833.290834},
doi = {10.1145/290833.290834},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/HsiungCLC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WangH98,
author = {Farn Wang and
Pao{-}Ann Hsiung},
title = {Automatic Verification on the Large},
booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
pages = {134--141},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HASE.1998.731605},
doi = {10.1109/HASE.1998.731605},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WangH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HsiungW98,
author = {Pao{-}Ann Hsiung and
Farn Wang},
title = {A State Graph Manipulator Tool for Real-Time System Specification
and Verification},
booktitle = {5th International Workshop on Real-Time Computing Systems and Applications
{(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RTCSA.1998.726415},
doi = {10.1109/RTCSA.1998.726415},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HsiungW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Hsiung98,
author = {Pao{-}Ann Hsiung},
title = {RTFrame: An Object-Oriented Application Framework for Real-Time Applications},
booktitle = {{TOOLS} 1998: 27th International Conference on Technology of Object-Oriented
Languages and Systems, 22-25 September 1998, Beijing, China},
pages = {138--147},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.713595},
doi = {10.1109/TOOLS.1998.713595},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Hsiung98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Hsiung98a,
author = {Pao{-}Ann Hsiung},
title = {Parallel Object-Oriented Synthesis Environment Based On Message-Passing},
booktitle = {{TOOLS} 1998: 27th International Conference on Technology of Object-Oriented
Languages and Systems, 22-25 September 1998, Beijing, China},
pages = {251},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.713607},
doi = {10.1109/TOOLS.1998.713607},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Hsiung98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/WangH97,
author = {Farn Wang and
Pao{-}Ann Hsiung},
editor = {Michael Johnson},
title = {Parametric Analysis of Computer Systems},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {539--553},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000495},
doi = {10.1007/BFB0000495},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/WangH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HsiungLC97,
author = {Pao{-}Ann Hsiung and
Trong{-}Yen Lee and
Sao{-}Jie Chen},
title = {Object-Oriented Technology Transfer to Multiprocessor System-Level
Synthesis},
booktitle = {{TOOLS} 1997: 24th International Conference on Technology of Object-Oriented
Languages and Systems, September 1997, Beijing, China},
pages = {284--293},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TOOLS.1997.713555},
doi = {10.1109/TOOLS.1997.713555},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/HsiungLC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/HsiungCHW96,
author = {Pao{-}Ann Hsiung and
Sao{-}Jie Chen and
Tsung{-}Chien Hu and
Shih{-}Chiang Wang},
title = {{PSM:} an object-oriented synthesis approach to multiprocessor system
design},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {4},
number = {1},
pages = {83--97},
year = {1996},
url = {https://doi.org/10.1109/92.486083},
doi = {10.1109/92.486083},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/HsiungCHW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
