[an error occurred while processing this directive] 

Pao-Ann Hsiung's Year 1999 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!

    Books

  1. P.-A. Hsiung and F. Wang, Editors, Proc. of the International Workshop on Real-Time Constraints (RTC'99, Alexandria, Virginia, USA), October 1999.

  2. H. Arabnia (Editor), P.-A. Hsiung, et al (Associate Editors), Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), CSREA Press, USA, June 1999.

  3. International Conference Papers

  4. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Verification of Concurrent Client-Server Real-Time Scheduling Systems, " Proc. the 6th International Conference on Real-Time Computing Systems and Applications, (RTCSA'99, Hong Kong), pp. 228 - 235, IEEE Computer Society Press, USA, December 1999.

  5. P.-A. Hsiung and Farn Wang, " User Friendly Verification," Proc. 1999 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques For Distributed Systems and Communication Protocols & Protocol Specification, Testing, And Verification, (FORTE/PSTV '99) Beijing, China, pp. 279-294, October 1999.

  6. P.-A. Hsiung and F. Wang, "State Graph Manipulators," In Proc. of the International Workshop on Real-Time Constraints, (RTC'99, Alexandria, Virginia, USA), pp. 40 - 52, October 1999.

  7. P.-A. Hsiung, " Parallel Object-Oriented Synthesis Methodology," Proc. the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol. IV, pp. 2073-2076, CSREA Press, USA, June 1999.

  8. P.-A. Hsiung, " High Level Design Reuse Through Fuzzy Learning , " Proc. the International Conference on Artificial Intelligence (IC-AI'99), Vol. II, pp. 658-661, CSREA Press, USA, July 1999.

  9. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " A Case Study in Hardware-Software Codesign of Distributed Systems -- Vehicle Parking Management System , " Proc. the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol. VI, pp. 2982-2987, CSREA Press, USA, June 1999.

  10. P.-A. Hsiung, " Hardware-Software Coverification of Concurrent Embedded Real-Time Systems , " Proc. the 11th Euromicro Conference on Real-Time Systems (ECRTS'99, York, England), pp. 216-223, IEEE CS Press, June 1999.

  11. P.-A. Hsiung, " Timing Coverification of Concurrent Embedded Real-Time Systems, " Proc. the 7th IEEE/ACM International Workshop on Hardware-Software Codesign (CODES'99, Rome, Italy), pp. 110-114, ACM Press, New York, USA, May 1999.

  12. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Scheduling System Verification, " Proc. the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS'99), Lecture Notes in Computer Science (LNCS), Vol. 1579, pp. 19-33, Amsterdam, the Netherlands, March 1999.

  13. Local Conference Papers

  14. P.-A. Hsiung, " MRASM: A Multi-Level Rule-Based Architectural Synthesis Methodology for Hierarchically Clustered Parallel Systems," Proc. National Computer Symposium (NCS'99, Taiwan), Vol. A, pp. A-487 - A-494, December 1999.

  15. P.-A. Hsiung, F. Wang, Y.-S. Kuo, S.-C. Pan, " Verification of Object-Oriented Real-Time Scheduling Systems, " Proc. of the 10th OOTSIG Workshop on Object-Oriented Technology and Applications, NCTU, Taiwan, pp. 112-117, October 1999.

  16. P.-A. Hsiung, " Formalizing Hardware-Software Codesign Space Exploration, " Proc. 10th VLSI/CAD Symposium (VLSI/CAD'99), pp. 19-22, Nantou, Taiwan, R.O.C., August 1999.


Last Updated: October 20, 1999.