[an error occurred while processing this directive]
Pao-Ann Hsiung's Publications
(For ABSTRACTS: click on paper titles,
For FULL PAPERS: click last line links)
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, C.-H. Chen, T.-Y. Lee, and S.-J. Chen,
"
ICOS: An Intelligent Concurrent Object-Oriented Synthesis Methodology
for Multiprocessor Systems,"
To appear in
ACM Transactions on Design Automation of Electronic Systems,
Vol. 3, No. 2, pp. 109-135, April 1998.
International Conference Papers
- P.-A. Hsiung,
" MISSE: A Multi-Level
Intelligent Synthesis and Simulation Environment, "
Proc.
International Computer Symposium (ICS'98), Workshop on Computer
Architecture, pp. 52-59, Tainan, Taiwan, December 1998.
- F. Wang and P.-A. Hsiung,
" Automatic Verification on the Large,"
Proc. 3rd IEEE High-Assurance Systems Engineering Symposium
(HASE'98), pp. 134-141, Washington, USA, November 1998
(invited paper).
- P.-A. Hsiung and F. Wang,
"
A State Graph Manipulator Tool for Real-Time System
Specification and Verification
,"
Proc. 4th
International Conference on Real-Time Computing Systems and Applications
(RTCSA'98), pp. 181-188,
Hiroshima, Japan, October 1998 (accepted for presentation).
- P.-A. Hsiung,
"
Object-Oriented Application Framework Design for Real-Time Systems
,"
Proc. 4th
International Symposium on Real-Time and Media Systems (RAMS'98),
pp. 221-227, Taipei, Taiwan, September 1998.
- P.-A. Hsiung,
"
Parallel Object-Oriented Synthesis Environment Based on Message-Passing
,"
Proc. 27th
International Conference on Technology of Object-Oriented
Languages and Systems (TOOLS'98), pp. 251-255,
IEEE Computer Society Press, Beijing, China, September 1998.
- P.-A. Hsiung,
"
RTFrame: An Object-Oriented Application Framework for Real-Time Applications
,"
Proc. 27th
International Conference on Technology of Object-Oriented
Languages and Systems (TOOLS'98), pp. 138-147,
IEEE Computer Society Press, Beijing, China, September 1998.
- P.-A. Hsiung,
"
Parallel Design Automation of Computer Systems, "
Proc.
International Conference on Parallel and Distributed Processing
Techniques and Applications (PDPTA'98), Vol. 1, pp. 183-190,
Las Vegas, Nevada, USA, July 1998.
- P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen,
"
CMAPS: A Cosynthesis Methodology for Application-Oriented
General-Purpose Parallel Systems, "
Proc.
2nd IMACS-IEEE International Multiconference on Computational
Engineering in Systems Applications (CESA'98), Special Session
on System Level Hardware/Software Codesign, Vol. 1, pp. 1222-1227,
Tunisia, April 1998.
Technical Reports
- P.-A. Hsiung, Farn Wang, and Yue-Sun Kuo,
"
Scheduling System Verification
,"
Technical Report TR-IIS-98-014, Insitute of Information Science,
Academia Sinica, Taiwan, 1998.
[Gzipped Postscript file of full report
(tr98014.ps.gz, 107K)]
- F. Wang and P.-A. Hsiung,
"
Iterative Refinement and Condensation for State-Graph Construction
,"
Technical Report TR-IIS-98-009, Insitute of Information Science,
Academia Sinica, Taiwan, 1998.
[Gzipped Postscript file of full report
(tr98009.ps.gz, 121K)]
Last Updated: December 31, 1998.