年度:

2002年度 学術論文誌 / Journals

  1. 森 亮憲, 中田 明夫, 東野 輝夫:
    並行周期EFSMに対するパラメトリックモデル検査手法
    電子情報通信学会論文誌 D-I, Vol.J86-D-I, No.2, pp.75-87 (Feb. 2003).
  2. 米津正隆, 舩曵信生, 木谷友哉, 横平徳美, 中西透, 東野輝夫:
    双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
    電子情報通信学会論文誌D-1, Vol.J86-D-I, No.2, pp.99-107 (Feb. 2003).
  3. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann and Teruo Higashino:
    Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets
    Distributed Computing, Vol 16, No. 1, pp.21-35 (Feb. 2003).
  4. Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata and Teruo Higashino:
    Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS
    Computer Networks, Vol.40, No.5, pp. 639-663 (Dec. 2002).
  5. 森 亮憲, 大塚 裕孝, 舩曵 信生, 中田 明夫, 東野 輝夫:
    通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案
    電子情報通信学会論文誌 D-I, Vol.J85-D-I, No.11, pp.1038-1046 (Nov. 2002).
  6. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Akio Nakata and Teruo Higashino:
    A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries
    International Journal of Computer and Information Science, Vol. 3, No. 2, pp. 125-136 (Jun. 2002).
  7. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima and Teruo Higashino:
    A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks
    IEICE Transactions on Fundamentals, Vol.E85-A, No.5, pp.977-987 (May. 2002).
  8. 藤井 雅和, 船曳 信生, 横平 徳美, 田島 滋人, 常村 和史, 東野 輝夫:
    静的およびモバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案
    電子情報通信学会論文誌 A, Vol.J85-A, No.3, pp.358-369 (May. 2002).

2002年度 国際会議 / International Conferences

  1. Nobuo Funabiki, Ayako Sugano and Teruo Higashino:
    A Proposal of a Minimal-state Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks
    Proceedings of the 2003 International Conference on Advanced Information Networking and Applications (AINA-2003), pp. 229-232 (Mar. 2003).
  2. Shigeto Tajima, Nobuo Funabiki, Ayako Sugano and Teruo Higashino:
    A proposal of a minimal-state processing search algorithm for link scheduling problems in packet radio networks
    Proceedings of the 2003 International Symposium on Applications and the Internet(SAINT-2003), pp.128-135 (Jan. 2003).
  3. Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata and Teruo Higashino:
    Protocol Animation using Constraint-oriented Style of Real-time LOTOS
    The International Journal of Computer and Telecommunications Networking (Computer Networks) 40(5) 639--663 2002年
  4. Takaaki Umedu, Keiichi Yasumoto, Akio Nakata, Hirozumi Yamaguchi and Teruo Higashino:
    Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks
    Proceedings of the International Conference on Communications and Computer Networks 2002 (CCN 2002), pp. 48-53 (Nov. 2002).
  5. Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata and Teruo Higashino:
    Design and Implementation of FPGA Circuits for High Speed Network Monitors
    Proceedings of the 12th International Conference on Field Programmable Logic and Applications (FPL 2002), Lecture Notes in Computer Science, Vol.2438, pp. 393-403 (Sep. 2002).
  6. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    A Server Selection Algorithm for Replicated Video Multicast Based on Packet Monitoring
    Proceedings of the 2002 International Conference on Parallel Processing (ICPP-2002), pp. 556-563 (Aug. 2002).
  7. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    A Selection Technique for Replicated Multicast Video Servers
    Proceedings of the 31st International Conference on Parallel Processing 556-563 2002年
  8. Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino and Kenichi Taniguchi:
    A Language for Describing Wireless mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels
    Proceedings of the 11th International Conference on Formal Methods Europe (FME2002), Lecture Notes in Computer Science, Vol.2391, pp.607-624 (Jul. 2002).

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


2002年度 講演 / Invited Talks


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


2002年度 その他 / Others


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