Search

Your search keyword '"Hsiung, Pao-Ann"' showing total 703 results
Start Over Author "Hsiung, Pao-Ann"

Refine your results

more »

more »

more »

more »
703 results on '"Hsiung, Pao-Ann"'

5. Reconfigurable system design and verification.

Author

Hsiung, Pao-Ann, Huang, Chun-Hsian, and Santambrogio, Marco D.

Subjects
Computer science, Embedded computer systems, Reconfigurable systems
Abstract

Summary: Reconfigurable systems have pervaded nearly all fields of computation and will continue to do so for the foreseeable future. Reconfigurable System Design and Verification provides a compendium of design and verification techniques for reconfigurable systems, allowing you to quickly search for a technique and determine if it is appropriate to the task at hand. It bridges the gap between the need for reconfigurable computing education and the burgeoning development of numerous different techniques in the design and verification of reconfigurable systems in various application domains. The text explains topics in such a way that they can be immediately grasped and put into practice. It starts with an overview of reconfigurable computing architectures and platforms and demonstrates how to develop reconfigurable systems. This sets up the discussion of the hardware, software, and system techniques that form the core of the text. The authors classify design and verification techniques into primary and secondary categories, allowing the appropriate ones to be easily located and compared. The techniques discussed range from system modeling and system-level design to co-simulation and formal verification. Case studies illustrating real-world applications, detailed explanations of complex algorithms, and self-explaining illustrations add depth to the presentation. Comprehensively covering all techniques related to the hardware-software design and verification of reconfigurable systems, this book provides a single source for information that otherwise would have been dispersed among the literature, making it very difficult to search, compare, and select the technique most suitable. The authors do it all for you, making it easy to find the techniques that fit your system requirements, without having to surf the net or digital libraries to find the candidate techniques and compare them yourself.

Published
2009

14. Virtualization Architecture for NoC-based Reconfigurable Systems

Author

Huang, Chun-Hsian, Tseng, Kwuan-Wei, Lin, Chih-Cheng, Lin, Fang-Yu, and Hsiung, Pao-Ann

Subjects
Computer Science - Hardware Architecture, Computer Science - Operating Systems
Abstract

We propose a virtualization architecture for NoC-based reconfigurable systems. The motivation of this work is to develop a service-oriented architecture that includes Partial Reconfigurable Region as a Service (PRRaaS) and Processing Element as a Service (PEaaS) for software applications. According to the requirements of software applications, new PEs can be created on-demand by (re)configuring the logic resource of the PRRs in the FPGA, while the configured PEs can also be virtualized to support multiple application tasks at the same time. As a result, such a two-level virtualization mechanism, including the gate-level virtualization and the PE-level virtualization, enables an SoC to be dynamically adapted to changing application requirements. Therefore, more software applications can be performed, and system performance can be further enhanced., Comment: Presented at Second International Workshop on FPGAs for Software Programmers (FSP 2015) (arXiv:1508.06320)

Published
2015

18. Model Predictive Optimization for Energy Storage-Based Smart Grids

Author

Yang, Tsai-Chen, Hsiung, Pao-Ann, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Sharma, Rajnish, editor, Mantri, Archana, editor, and Dua, Sumeet, editor

Published
2018
Full Text
View/download PDF

19. Innovative Project-Based Learning

Author

Hwang, Ren-Hung, Hsiung, Pao-Ann, Chen, Yau-Jane, Lai, Chin-Feng, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Huang, Tien-Chi, editor, Lau, Rynson, editor, Huang, Yueh-Min, editor, Spaniol, Marc, editor, and Yuen, Chun-Hung, editor

Published
2017
Full Text
View/download PDF

25. Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems

Author

Lin, Feng-Sheng, Liu, Po-Ting, Li, Ming-Hua, Hsiung, Pao-Ann, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Carretero, Jesus, editor, Garcia-Blas, Javier, editor, Ko, Ryan K.L., editor, Mueller, Peter, editor, and Nakano, Koji, editor

Published
2016
Full Text
View/download PDF

27. Parallel Compiler

Author

Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, Hu, Yu-Hen, Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, and Hu, Yu-Hen

Published
2009
Full Text
View/download PDF

30. System Level Design

Author

Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, Hu, Yu-Hen, Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, and Hu, Yu-Hen

Published
2009
Full Text
View/download PDF

31. Design Consideration

Author

Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, Hu, Yu-Hen, Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, and Hu, Yu-Hen

Published
2009
Full Text
View/download PDF

35. Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning

Author

Lin, Shang-Wei, Hsiung, Pao-Ann, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Jones, Cliff, editor, Pihlajasaari, Pekka, editor, and Sun, Jun, editor

Published
2014
Full Text
View/download PDF

37. Automatic Generation of Provably Correct Embedded Systems

Author

Lin, Shang-Wei, Liu, Yang, Hsiung, Pao-Ann, Sun, Jun, Dong, Jin Song, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Aoki, Toshiaki, editor, and Taguchi, Kenji, editor

Published
2012
Full Text
View/download PDF

38. Introduction

Author

Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, Hu, Yu-Hen, Chen, Sao-Jie, Lin, Guang-Huei, Hsiung, Pao-Ann, and Hu, Yu-Hen

Published
2009
Full Text
View/download PDF

46. A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications

Author

Huang, Chun-Hsian, Shen, Jih-Sheng, Hsiung, Pao-Ann, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yu, Zhiwen, editor, Liscano, Ramiro, editor, Chen, Guanling, editor, Zhang, Daqing, editor, and Zhou, Xingshe, editor

Published
2010
Full Text
View/download PDF

47. VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development

Author

Hsiung, Pao-Ann, Lin, Chao-Sheng, Lin, Shang-Wei, Chen, Yean-Ru, Lu, Chun-Hsien, Tong, Sheng-Ya, Su, Wan-Ting, Shih, Chihhsiong, Koong, Chorng-Shiuh, Hsueh, Nien-Lin, Chang, Chih-Hung, Chu, William C., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hua, Arrems, editor, and Chang, Shih-Liang, editor

Published
2009
Full Text
View/download PDF

48. Real-Time Embedded Software Design for Mobile and Ubiquitous Systems

Author

Hsiung, Pao-Ann, Lin, Shang-Wei, Hung, Chin-Chieh, Fu, Jih-Ming, Lin, Chao-Sheng, Chiang, Cheng-Chi, Chiang, Kuo-Cheng, Lu, Chun-Hsien, Lu, Pin-Hsien, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kuo, Tei-Wei, editor, Sha, Edwin, editor, Guo, Minyi, editor, Yang, Laurence T., editor, and Shao, Zili, editor

Published
2007
Full Text
View/download PDF

49. Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts

Author

Chen, Yean-Ru, Hsiung, Pao-Ann, Chen, Sao-Jie, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Saglietti, Francesca, editor, and Oster, Norbert, editor

Published
2007
Full Text
View/download PDF

50. Federated Adversarial Training Strategies for Achieving Privacy and Security in Sustainable Smart City Applications.

Author

Utomo, Sapdo, Rouniyar, Adarsh, Hsu, Hsiu-Chun, and Hsiung, Pao-Ann

Subjects
SUSTAINABLE urban development, SMART cities, PRIVACY, AIR pollution, MACHINE learning, INTERNET privacy
Abstract

Smart city applications that request sensitive user information necessitate a comprehensive data privacy solution. Federated learning (FL), also known as privacy by design, is a new paradigm in machine learning (ML). However, FL models are susceptible to adversarial attacks, similar to other AI models. In this paper, we propose federated adversarial training (FAT) strategies to generate robust global models that are resistant to adversarial attacks. We apply two adversarial attack methods, projected gradient descent (PGD) and the fast gradient sign method (FGSM), to our air pollution dataset to generate adversarial samples. We then evaluate the effectiveness of our FAT strategies in defending against these attacks. Our experiments show that FGSM-based adversarial attacks have a negligible impact on the accuracy of global models, while PGD-based attacks are more effective. However, we also show that our FAT strategies can make global models robust enough to withstand even PGD-based attacks. For example, the accuracy of our FAT-PGD and FL-mixed-PGD models is 81.13% and 82.60%, respectively, compared to 91.34% for the baseline FL model. This represents a reduction in accuracy of 10%, but this could be potentially mitigated by using a more complex and larger model. Our results demonstrate that FAT can enhance the security and privacy of sustainable smart city applications. We also show that it is possible to train robust global models from modest datasets per client, which challenges the conventional wisdom that adversarial training requires massive datasets. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results