年度:

2003年度 学術論文誌 / Journals

  1. 竹中 崇, 岡野 浩三, 東野 輝夫, 谷口 健一:
    外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法
    電子情報通信学会論文誌D-I, Vol.J87-D1, No.4, pp.462-470 (April 2004).
  2. Takanori Mori, Akio Nakata and Teruo Higashino:
    A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing
    STUDIA INFORMATICA UNIVERSALIS, Vol.3, No.2, pp.203-230 (April 2004).
  3. 廣森 聡仁, 山口 弘純, 安本 慶一, 東野 輝夫, 谷口 健一:
    大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減
    情報処理学会論文誌, Vol.45, No. 4 pp.1134-1143 (April 2004).
  4. 山口 弘純, 中村 嘉隆, 廣森 聡仁, 安本 慶一, 東野 輝夫, 谷口 健一:
    動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト
    コンピュータソフトウェア(ソフトウェア科学会論文誌), Vol.21, No.2, pp. 1-11 (March 2004).
  5. 中村 嘉隆, 山口 弘純, 廣森 聡仁, 安本 慶一, 東野 輝夫, 谷口 健一:
    エンドホストの動画像フィルタリングによるアプリケーション層での QoS マルチキャストプロトコルの提案
    情報処理学会論文誌, Vol.45, No. 2, pp.438-448 (Feb. 2004).
  6. 田島 滋人, 船曳 信生, 東野 輝夫:
    無線ネットワークのリンクスケジューリング問題に対するヒューリスチック解放の提案
    情報処理学会論文誌, Vol.45, No. 2, pp.449-458 (Feb. 2004).
  7. 横川 勇仁, 小田 政志, 舩曵 信生, 東野 輝夫, 森 悦秀:
    Deformable Templateマッチング法による唇輪郭抽出法の改良と歯科医療応用を目的とした評価
    電子情報通信学会論文誌D-II, Vol.J86-D-II, No.8, pp.1177-1185 (Aug. 2003).
  8. 桐村 昌行, 高本 佳史, 森 亮憲, 安本 慶一, 中田 明夫, 東野 輝夫:
    高速ネットワーク向けネットワークモニタ回路の設計と実装
    情報処理学会論文誌, Vol.44, No.6, pp.1593-1603 (Jun. 2003).

2003年度 国際会議 / International Conferences

  1. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito:
    Middleware Providing Group Communication Facility Based on Muliti-way Synchronization for Cellular Phone Applications
    Proceedings of the 4th International Workshop on Smart Appliances and Wearable Computing, pp.434-437(Mar. 2004).
  2. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino and Kenichi Taniguchi:
    An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree
    Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS-24), pp.662-669 (Mar. 2004).
  3. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino and Minoru Ito:
    Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications
    Proceedings of the 2004 IEEE International Conference on mobile Data Management (MDM 2004), p.170 (Jan. 2004). (Poster)
  4. Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication
    Proceedings of the 15th International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), pp. 416-421 (Nov. 2003).
  5. Takeshi Yamashita, Hirozumi Yamaguch, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
    Emma Middleware: Application-level Multicast Infrastructure for Multi-party Video Communication
    Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS2003) 2003年
  6. Hirozumi Yamaguchi, Gregor von Bochmann and Teruo Higashino:
    Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
    Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), pp.399-414 (Sep. 2003).
  7. Tao Sun, Keiichi Yasumoto, Masaaki Mori and Teruo Higashino:
    QoS Functional Testing for Multi-media Systems
    Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), pp.319-334 (Sep. 2003).
  8. Tomoya Kitani, Masataka Yonedu, Nobuo Funabiki, Toru Nakanishi, Kiyohiko Okayama and Teruo Higashino:
    A Two-stage Hierarchical Algorithm for Wavelength Assignment in WDM-based Bidirectional Manhattan Street Networks
    Proceedings of the 11th IEEE International Conference on Networks (ICON 2003), pp.417-424 (Sep. 2003).
  9. Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata and Teruo Higashino:
    Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking
    Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL 2003), pp.1145-1148 (Sep. 2003).
  10. Takanori Mori, Akio Nakata and Teruo Higashino:
    Design of Media Synchronization Protocols using Parametric Model Checking and Functional Testing
    Proceedings of the 2003 International Workshop On Testing Real-Time and Embedded Systems (WTRTES 2003), pp.51-62 (Sep. 2003).
  11. Nobuo Funabiki, Jun Kawashima, Akihito Kubo, Kiyohiko Okayama, and Teruo Higashino:
    A proposal of a two-stage heuristic algorithm for peer-to-peer multicast routing problems in multihome networks
    Proceedings of the Fifth Metaheuristics International Conference (MIC-2003), pp. 20-1-6 (Aug. 2003).
  12. Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    On Designing End-user Multicast for Multiple Video Sources
    Proceedings of the 2003 IEEE International Conference on Multimedia & Expo (ICME2003), Vol.III, pp.497-500 (Jul. 2003).
  13. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Reducing the Size of Routing Tables for Large-scale Network Simulation
    Proceedings of 17th Workshop on Parallel and Distributed Simulation (PADS '03), pp.115-122 (Jun. 2003). (This paper is selected as one of three best papers in this conference proceedings.)
  14. Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications
    Proceedings of the 5th International Workshop on Multimedia Network Systems and Applications (MNSA2003), pp.531-536 (May. 2003).

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

  1. 北口 智,谷本 匡亮,中田 明夫,東野 輝夫:
    バスアクセス方式およびバス調停方式の最適化を支援するバスシステム設計支援ツールの提案
    第17回 回路とシステム軽井沢ワークショップ 論文集 2004年
  2. 内山 彰, 梅津 高朗, 安本 慶一, 東野 輝夫:
    自律的なグループ形成機構を用いた分散型ネットワークモニタの実装とその評価
    情報処理学会研究報告 2003(113) 51-56 2003年11月

2003年度 講演 / Invited Talks


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

  1. Andrew S. Tanenbaum著:Computer Networks Forth Edition" 水野 忠則, 相田 仁, 東野 輝夫, 太田 剛, 西垣 正勝 共訳:"":
    コンピュータネットワーク 第4版
    日経BP社, p.848 (Dec. 2003)
  2. Andrew S. Tanenbaum and Marrten van Steen 著: "Distributed Systems : Principles and Paradigms, 1st edition" 水野 忠則, 宮西 洋太郎, 鈴木 健二, 西山 智, 佐藤 文明, 東野 輝夫 共訳:
    分散システム -原理とパラダイム-
    ピアソン・エデュケーション, p.822 (Oct. 2003).

2003年度 その他 / Others


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