1999年度 学術論文誌等 / Journals
-
関岡 哲也, 船曳 信生, 東野 輝夫:
遺伝的プログラミングを用いた関数合成アルゴリズムの改良法の提案
電子情報通信学会論文誌(D-I), Vol. J83-D-I, No.4, pp.407-417 (Apr. 2000).
-
辰本比呂記 , 安倍 広多 , 安本 慶一 , 東野 輝夫 , 松浦 敏雄 , 山口 弘純 , 谷口 健一 :
時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用
情報処理学会論文誌 41(2) 424-434 2000年
-
柴田 直樹, 岡野 浩三, 東野 輝夫, 谷口 健一:
冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
電子情報通信学会論文誌(D-I), Vol. J82-D-I, No.6, pp.691-700 (Jun. 1999).
1999年度 国際会議 / International Conferences
-
Khaled El-Fakih, Hirozumi Yamaguchi and Gregor v. Bochmann:
A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost
Proceedings of the 11th IASTED International Conference on Parallel and Distributed Computing and Systems 863-868 1999年
-
Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
Receiver-Cooperative Bandwidth Management for Layered Multicast
Proceedings of the 1999 IEEE International Conference on Network Protocols (ICNP-99), pp.43-50 (Nov. 1999).
-
Nobuo Funabiki and Teruo Higashino:
A proposal of a two-stage discrete optimization method for the maximum clique problem
International Symposium on Nonlinear Theory and Its Applications, pp. 163-166 (Nov. 1999).
-
Teruo Higashino, Akio Nakata, Kenichi Taniguchi and Ana R. Cavalli:
Generating test cases for a timed I/O automaton model
Proceedings of the Twelfth IFIP Workshop on Testing of Communicating Systems (IWTCS'99), pp. 197-214 (Sep. 1999).
-
Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino and Kenichi Taniguchi:
Specification of Real-time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness
International Workshop on Multimedia Network Systems (MMNS'99), pp. 576-581 (Sep. 1999).
-
Nobuo Funabiki, Yoichi Takenaka, and Teruo Higashino:
A gradual neural network approach for broadcast scheduling in packet radio networks
IEEE International Joint Conference on Neural Networks, , pp. 3952-3957 (Jul. 1999).
1999年度 国内学会・研究会 / Domestic Conferences
1999年度 講演 / Invited Talks
1999年度 著書・訳書・解説等 / Edited Books
-
東野 輝夫:
設計検証技術-知らないと損する検証技術-
第7回FPGA/PLD Design Conference 予稿集, pp.237-260 (Jul. 1999).
-
"Andrew S. Tanenbaum著:Computer Networks Third Edition" 水野 忠則, 相田 仁, 東野 輝夫, 太田 剛 共訳:
コンピュータネットワーク 第3版
プレンティスホール出版, p.766 (May 1999).
1999年度 その他 / Others