2000年度 学術論文誌等 / Journals
-
片桐 久晶, 桐村 昌行, 安本 慶一, 中田 明夫, 東野 輝夫, 谷口 健一:
同期通信可能な周期EFSM群のハードウェア構成法
情報処理学会論文誌, Vol. 42, No.3, pp.542-551 (Mar. 2001).
-
関岡 哲也, 横川 勇仁, 船曳 信生, 東野 輝夫, 山田 朋弘, 森 悦秀:
関数合成による唇輪郭抽出法の提案
電子情報通信学会英論文誌(D-II), Vol. J84-D-II, No.3, pp.459-470 (Mar. 2001).
-
寺島 芳樹, 安本 慶一, 東野 輝夫, 安倍 広多, 松浦 敏雄, 谷口 健一:
SMILへのQoS保証文の導入とその柔軟な実装法
情報処理学会論文誌, Vol. 42, No.2, pp.116-125 (Feb. 2001).
-
安倍 広多, 松浦 敏雄, 安本 慶一, 東野 輝夫:
既存のプログラムコー ドをマルチスレッド環境で実行する方式とその実現
情報処理学会論文誌, Vol. 41, No.9, pp.2603-2613 (Sep. 2000).
-
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).
-
中田 明夫, 服部 哲, 東野 輝夫, 谷口 健一:
データ付時間オートマトンの双模倣等価性の記号的検証法
情報処理学会論文誌, Vol. 41, No. 9, pp.2487-2497 (Sep. 2000).
-
安部 広多,松浦 敏雄,安本 慶一,東野 輝夫:
既存のプログラムコードを容易に流用できるマルチスレッドプログラミング方式
情報処理学会論文誌 41(9) 2063-2613 2000年
-
船曳 信生,池永 勝芳,江川 晋爾,東野 輝夫:
FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案
電子情報通信学会論文誌 J83-A(8) 976-988 2000年
-
船曳 信生, 池永 勝芳, 江川 晋爾, 東野 輝夫:
FPGAの論理ブロックの端子割当問題の定式化と2段階離散最適化法の提案
電子情報通信学会論文誌(A), Vol. J83-A, No.8, pp.976-988 (Aug. 2000).
-
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
-
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年
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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
-
東野 輝夫 :
LOTOSにおけるサービス仕様とプロトコル仕様
電子情報通信学会第4回回路とシステム軽井沢ワークショップ招待講演
2000年度 著書・訳書・解説等 / Edited Books
-
東野 輝夫:
形式的検証の実用化に向けて
Electronic Journal, p.35 (Jun. 2000).
2000年度 その他 / Others