[an error occurred while processing this directive] 

Pao-Ann Hsiung's 1998 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

  1. 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.

  2. International Conference Papers

  3. 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.

  4. 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).

  5. 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).

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. Technical Reports

  12. 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)]

  13. 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.