年度:

2000年度 学術論文誌 / Journals

  1. 片桐 久晶, 桐村 昌行, 安本 慶一, 中田 明夫, 東野 輝夫, 谷口 健一:
    同期通信可能な周期EFSM群のハードウェア構成法
    情報処理学会論文誌, Vol. 42, No.3, pp.542-551 (Mar. 2001).
  2. 関岡 哲也, 横川 勇仁, 船曳 信生, 東野 輝夫, 山田 朋弘, 森 悦秀:
    関数合成による唇輪郭抽出法の提案
    電子情報通信学会英論文誌(D-II), Vol. J84-D-II, No.3, pp.459-470 (Mar. 2001).
  3. 寺島 芳樹, 安本 慶一, 東野 輝夫, 安倍 広多, 松浦 敏雄, 谷口 健一:
    SMILへのQoS保証文の導入とその柔軟な実装法
    情報処理学会論文誌, Vol. 42, No.2, pp.116-125 (Feb. 2001).
  4. 安倍 広多, 松浦 敏雄, 安本 慶一, 東野 輝夫:
    既存のプログラムコー ドをマルチスレッド環境で実行する方式とその実現
    情報処理学会論文誌, Vol. 41, No.9, pp.2603-2613 (Sep. 2000).
  5. Yoichi Takenaka, Nobuo Funabiki and Teruo Higashino:
    A proposal of neuron filter a constraint resolution scheme of neural networks for combinatorial optimization problems
    IEICE Transactions on Fundamentals, Vol. E83-A, No.9, pp.1815-1823 (Sep. 2000).
  6. 中田 明夫, 服部 哲, 東野 輝夫, 谷口 健一:
    データ付時間オートマトンの双模倣等価性の記号的検証法
    情報処理学会論文誌, Vol. 41, No. 9, pp.2487-2497 (Sep. 2000).
  7. 安部 広多,松浦 敏雄,安本 慶一,東野 輝夫:
    既存のプログラムコードを容易に流用できるマルチスレッドプログラミング方式
    情報処理学会論文誌 41(9) 2063-2613 2000年
  8. 船曳 信生,池永 勝芳,江川 晋爾,東野 輝夫:
    FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案
    電子情報通信学会論文誌 J83-A(8) 976-988 2000年
  9. 船曳 信生, 池永 勝芳, 江川 晋爾, 東野 輝夫:
    FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案
    電子情報通信学会論文誌(A), Vol. J83-A, No.8, pp.976-988 (Aug. 2000).
  10. Nobuo Funabiki and Teruo Higashino:
    A Minimal State Processing Search Algorithm for Graph Coloring Problems
    IEICE Transactions on Fundamentals, Vol. E83-A, No.7, pp.1420-1430 (Jul. 2000).

2000年度 国際会議 / International Conferences

  1. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino:
    Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment
    Proceedings of the 15th IEEE International Conference on Information Networking 163-170 2001年
  2. Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino and Ana Cavalli:
    A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs -Treatment of Non-observable Non-determinism-
    Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.155-162 (Jan. 2001).
  3. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino:
    Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environmen
    Proceedings of 15th International Conference on Information Networking (ICOIN-15), pp.163-170 (Jan. 2001).
  4. Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Hardware Implementation of Concurrent Periodic EFSMs
    Proceedings of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE/PSTV2000), pp.285-300 (Oct. 2000).
  5. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Fast and Optimal Multicast-Server Selection Based on Receivers' Preference
    Proceedings of 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'2000), (LNCS 1905), pp. 40-52 (Oct. 2000).
  6. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino:
    Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
    Proceedings of IEEE International Conference on Automated Software Engineering 2000 (ASE'2000), pp.305-308 (Sep. 2000).
  7. Hirotaka Ohtsuka, Nobuo Funabiki and Teruo Higashino:
    A greedy-neural combined discrete optimization algorithm for triangle and Kn-subgraph partition problem
    World Multiconference on Systemics, Cybernetics, and Informatics, pp. 557-562 (Jul. 2000).
  8. Nobuo Funabiki and Teruo Higashino:
    A greedy digital neural-network algorithm for subgraph isomorphism problems
    World Multiconference on Systemics, Cybernetics, and Informatics, pp. 546-551 (Jul. 2000).
  9. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi:
    Extension of SMIL with QoS Control and its Implementaion
    Proceedings of 2000 IEEE International Conference on Multimedia and Expo (ICME2000), CD-ROM (Jul. 2000).
  10. Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi:
    Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization
    Proceedings of the 37th ACM/IEEE Design Automation Conference (DAC-2000), pp. 762-767 (Jun. 2000).
  11. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi:
    Integration of QoS Guarantees into SMIL and its Flexible Implementation
    Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000), pp.164-166 (Jun. 2000).
  12. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino:
    Protocol Re-synthesis Based on Extended Petri Nets
    Proceedings of International Workshop on Software Engineering and Petri Nets (SEPN-2000), pp. 173-188 (Jun. 2000).
  13. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann and Teruo Higashino:
    A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation ofResources
    Proceedings of ASIC International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00), pp.19-26 (May. 2000).

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


2000年度 講演 / Invited Talks

  1. 東野 輝夫 :
    LOTOSにおけるサービス仕様とプロトコル仕様
    電子情報通信学会第4回回路とシステム軽井沢ワークショップ招待講演

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

  1. 東野 輝夫:
    形式的検証の実用化に向けて
    Electronic Journal, p.35 (Jun. 2000).

2000年度 その他 / Others


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