[an error occurred while processing this directive]
Pao-Ann Hsiung's Year 2000 Publications
(For ABSTRACTS: click on paper titles.
For FULL PAPERS: click on PS or PDF icons.)
NOTICE:
All articles downloadable from this page are
COPYRIGHTED
materials of the respective organizations
and persons! Anyone downloading them must do so only for their
PERSONAL STUDY
and abide by the copyrights thereof!
International Journal Papers
- P.-A. Hsiung,
"
CMAPS: A Cosynthesis Methodology for Application-Oriented Parallel Systems
, "
ACM Transactions on Design Automation of Electronic Systems,
Vol. 5, No. 1, pp. 51-81, January 2000.
- P.-A. Hsiung,
"
Hardware-Software Timing Coverification of Concurrent Embedded
Real-Time Systems,"
IEE Proceedings on Computers and Digital Techniques,
Vol. 147, No. 2, pp. 83 - 92, March 2000.
- J.-M. Fu, T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen,
"
Hardware-Software Timing Coverification of Distributed Embedded Systems
,"
To appear in
IEICE Transactions on Information and Systems,
Vol. E83-D, No. 9, pp. 1731 - 1740, September 2000 (accepted in May 2000).
- P.-A. Hsiung,
"
Embedded Software Verification in Hardware-Software Codesign, "
To appear in
Journal of Systems Architecture --- the Euromicro Journal,
Vol. 46, No. 15, pp. 1435 - 1450,
Elsevier Science,
the Netherlands, December 2000 (accepted in June 2000).
Books
- P.-A. Hsiung, Program Chair,
Proc. of the International Workshop on Distributed System Validation and
Verification
(DSVV'2000, Taipei, Taiwan, ROC), April 2000.
International Conference Papers
- P.-A. Hsiung, F. Wang, R.-C. Chen,
"
On the Verification of Wireless Transaction Protocol Using SGM and RED
,"
Proc.
the 7th IEEE International Conference on Real-Time Computing Systems and
Applications (RTCSA'00, Korea), pp. 379-383,
IEEE Computer Society Press, USA, December 2000.
- P.-A. Hsiung,
"
Synthesis of Parametric Embedded Real-Time Software, "
Proc.
International Computer Symposium (ICS'00), Workshop on
Computer Architecture, pp. 144-151, (Chiayi, Taiwan),
ISBN 957-02-7308-9, December 2000.
- P.-A. Hsiung,
"
Concurrent Embedded Real-Time Software Verification,"
Proc.
the 24th IEEE Computer Society International Computer Software and
Applications Conference (COMPSAC'00, Taipei),
pp. 516-521, IEEE Computer Society Press, USA, October 2000.
- J.-M. Fu, W.-B. See, P.-A. Hsiung, J.-M. Chao, and S.-J. Chen,
"
A Java-Based Distributed System Framework for Real-Time Development
,"
Proc. of the International Workshop on
Distributed Real-Time Systems (IWDRS'2000, Taipei, Taiwan, ROC),
pp. B-31 - B-36, April 2000.
Local Conference Papers
- P.-A. Hsiung,
"
Object-Oriented Technology Transfer to Hardware-Software Codesign of
Embedded Real-Time Systems,"
Proc. of the 11th OOTSIG Workshop on Object-Oriented
Technology and Applications
(THU, Taiwan), pp. C-14 - C-21, September 2000.
Last Updated: October 27, 2000.