Pao-Ann Hsiung
Titolo
Citata da
Citata da
Anno
Efficient and user-friendly verification
F Wang, PA Hsiung
IEEE Transactions on Computers 51 (1), 61-83, 2002
762002
A low-power 64-point pipeline FFT/IFFT processor for OFDM applications
C Yu, MH Yen, PA Hsiung, SJ Chen
IEEE transactions on consumer electronics 57 (1), 40-40, 2011
642011
VERTAF: An application framework for the design and verification of embedded real-time software
PA Hsiung, SW Lin, CH Tseng, TY Lee, JM Fu, WB See
IEEE Transactions on Software Engineering 30 (10), 656-674, 2004
582004
A state graph manipulator tool for real-time system specification and verification
PA Hsiung, F Wang
Proceedings Fifth International Conference on Real-Time Computing Systems …, 1998
511998
Reconfigurable System Design and Verification
PA Hsiung, MD Santambrogio, CH Huang
CRC Press, 2018
462018
Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication: Innovations for Computational Processing and Communication
JS Shen, PA Hsiung
IGI Global, 2010
402010
Formal synthesis and code generation of embedded real-time software
PA Hsiung
Proceedings of the ninth international symposium on Hardware/software …, 2001
372001
Hardware resource virtualization for dynamically partially reconfigurable systems
CH Huang, PA Hsiung
IEEE Embedded Systems Letters 1 (1), 19-23, 2009
352009
PSM: An object-oriented synthesis approach to multiprocessor system design
PA Hsiung, SJ Chen, TC Hu, SC Wang
IEEE transactions on very large scale integration (VLSI) systems 4 (1), 83-97, 1996
331996
User-friendly verification
PA Hsiung, F Wang
Formal Methods for Protocol Engineering and Distributed Systems, 279-294, 1999
321999
Automatic verification on the large
F Wang, PA Hsiung
Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998
321998
Embedded software verification in hardware–software codesign
PA Hsiung
Journal of systems architecture 46 (15), 1435-1450, 2000
302000
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures
PA Hsiung, CS Lin, CF Liao
ACM Transactions on Reconfigurable Technology and Systems (TRETS) 1 (3), 1-30, 2008
292008
CMAPS: A cosynthesis methodology for application-oriented parallel systems
PA Hsiung
ACM Transactions on Design Automation of Electronic Systems (TODAES) 5 (1 …, 2000
292000
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
FS Su, PA Hsiung
Proceedings of the tenth international symposium on Hardware/software …, 2002
282002
UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems
CH Huang, PA Hsiung, JS Shen
Journal of Systems Architecture 56 (2-3), 88-102, 2010
272010
Automatic testing environment for multi-core embedded software—ATEMES
CS Koong, C Shih, PA Hsiung, HJ Lai, CH Chang, WC Chu, NL Hsueh, ...
Journal of Systems and Software 85 (1), 43-60, 2012
242012
Formal modeling and verification for network-on-chip
YR Chen, WT Su, PA Hsiung, YC Lan, YH Hu, SJ Chen
The 2010 International Conference on Green Circuits and Systems, 299-304, 2010
242010
A model-driven multicore software development environment for embedded system
C Shih, CT Wu, CY Lin, PA Hsiung, NL Hsueh, CH Chang, CS Koong, ...
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
242009
Dynamically swappable hardware design in partially reconfigurable systems
CH Huang, KJ Shih, CS Lin, SS Chang, PA Hsiung
2007 IEEE International Symposium on Circuits and Systems, 2742-2745, 2007
242007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20