[IEEE Comput. Soc 6th Design Automation and Test in Europe (DATE 03) - Munich, Germany (3-7 March 2003)] 2003 Design, Automation and Test in Europe Conference and Exhibition - Automatic generation of simulation monitors from quantitative constraint formula [system-level verification]
- 作者Xi Chen, ; Hsieh, H.; Balarin, F.; Watanabe, Y.
- 文件大小226.50KB
- 发表时间2003
- DOI10.1109/DATE.2003.1253787
- 页码1174-1175
[IEEE Comput. Soc Proceedings. Fifth International Conference on High Performance Computing - Madras, India (17-20 Dec. 1998)] Proceedings. Fifth International Conference on High Performance Computing (Cat. No. 98EX238) - Extended collective I/O for efficient retrieval of large objectsMore, S.; Choudhary, A. · 1998
[IEEE Comput. Soc Proceedings. Fifth International Conference on High Performance Computing - Madras, India (17-20 Dec. 1998)] Proceedings. Fifth International Conference on High Performance Computing (Cat. No. 98EX238) - Efficient retrieval of multidimensional datasets through parallel I/OPrabhakar, S.; Abdel-Ghaffar, K.; Agrawal, D.; El Abbadi, A. · 1998
[IEEE Comput. Soc Proceedings. Fifth International Conference on High Performance Computing - Madras, India (17-20 Dec. 1998)] Proceedings. Fifth International Conference on High Performance Computing (Cat. No. 98EX238) - Measurement-based modeling and analysis methodology for characterizing parallel I/O performanceSharma, S.; Iyer, R.K. · 1998
[IEEE Comput. Soc Fifth International Conference on Real-Time Computing Systems and Applications - Hiroshima, Japan (27-29 Oct. 1998)] Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236) - Design and implementation of an efficient I/O method for a real-time user level thread libraryAbe, K.; Matsuura, T.; Yasumoto, K.; Higashino, T. · 1998