年度:

1998年度 学術論文誌 / Journals

  1. Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS
    IEICE Transactions on Fundamentals, Vol. E82-A, No.4, pp.487-494 (Apr. 1999).
  2. 辰本 比呂記, 後藤 和裕, 安本 慶一, 東野 輝夫, 安倍 広多, 松浦 敏雄, 谷口 健一:
    分散環境でのLOTOS仕様の実現とその評価
    情報処理学会論文誌, Vol. 40, No.3, pp.333-342 (Mar. 1999).
  3. 坂手 寛治, 山口 弘純, 安本 慶一, 東野 輝夫, 谷口 健一:
    多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式
    情報処理学会論文誌, Vol. 40, No.1, pp.132-141 (Jan. 1999).
  4. 深田 敦史, 中田 明夫, 東野 輝夫, 谷口 健一:
    あるクラスの時間オートマトンに対する適合性試験系列生成の一手法
    情報処理学会論文誌, Vol. 40, No.1, pp.85-94 (Jan. 1999).
  5. 深田 敦史, 鍛 忠司, 東野 輝夫, 谷口 健一, 森 将豪:
    入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験の一手法
    情報処理学会論文誌, Vol. 39, No.8, pp.2519-2527 (Jun. 1998).
  6. 島谷 肇, 北嶋 暁, 森岡 澄夫, 東野 輝夫, 谷口 健一:
    代数的手法を用いたin-order実行パイプラインCPUの自動設計検証
    情報処理学会論文誌, Vol. 39, No.6, pp.1999-2008 (Jun. 1998).

1998年度 国際会議 / International Conferences

  1. Naoki Shibata, Kozo Okano, Teruo Higashino and Kenichi Taniguchi:
    A decision algorithm for prenex normal form rational Presburger sentences by means of combinatorial geometry
    Proceedings of the 2nd Conference of the Centre for Discrete Mathematics and Theoretical Computer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99), pp.344-359 (Jan. 1999).
  2. Keiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi:
    Hardware synthesis from protocol specifications in LOTOS
    Proceedings of Joint International Conference on 11th Formal Description Techniques and 18th Protocol Specification, Testing, and Verification (FORTE/PSTV'98), pp.405-420 (Nov. 1998).
  3. Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application
    Proceedings of the 1998 IEEE International Conference on Network Protocols (ICNP-98), pp.189-196 (Oct. 1998).
  4. Akio Nakata, Teruo Higashino and Kenichi Taniguchi:
    Protocol Synthesis from Context-Free Processes using Event Structures
    Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98), pp.173-180 (Oct. 1998).
  5. Kota Abe, Toshio Matsuura, Keiichi Yasumoto and Teruo Higashino:
    Design and Implementation of an efficient I/O Method for a Real-timeUser Level Thread Library
    Proceedings of IEEE 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA'98), pp.117-120 (Oct. 1998).

1998年度 国内学会・研究会 / Domestic Conferences


1998年度 講演 / Invited Talks


1998年度 著書・訳書・解説等 / Edited Books

  1. 東野 輝夫:
    FDTって何?
    情報処理, 第39巻, pp.926-930 (Sep. 1998).
  2. 東野 輝夫:
    高信頼性ネットワーク構築のための通信ソフトウェアの自動合成技術の研究
    TELECOM FRONTIER, SCAT TECHNICAL JOURNAL, No. 19, pp.45-50 (Jun. 1998).
  3. 東野 輝夫:
    形式的手法による分散システムへの取り組み?プログラム生成とテスト?
    日本ソフトウエア科学会, 講習会資料シリーズ, No. 15 (May. 1998).

1998年度 その他 / Others


Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by http://f-tpl.com