• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Distributed Algorithms for Implementing Highly Reliable Distributed Systems

Research Project

Project/Area Number 10205218
Research Category

Grant-in-Aid for Scientific Research on Priority Areas (B)

Allocation TypeSingle-year Grants
Research InstitutionOsaka University (2000-2001)
Nara Institute of Science and Technology (1998-1999)

Principal Investigator

MASUZAWA Toshimitsu  Osaka University, Graduate School of Engineering Science, Professor, 基礎工学研究科, 教授 (50199692)

Co-Investigator(Kenkyū-buntansha) FUJIWARA Akihiro  Kyushu Institute of Technology, Faculty of Computer Science and System Engineering, Associate Professor, 情報工学部, 助教授 (10295008)
KATAYAMA Yoshiaki  Nara Institute of Science and Technology, Information Technology Center, Instructor, 情報科学センター, 助手 (10263435)
INOUE Michiko  Nara Institute of Science and Technology, Graduate School of Information Science, Associate Professor, 情報科学研究科, 助教授 (30273840)
MASUDA Hideo  Osaka University, Cybermedia Center, Research Associate, サイバーメディアセンター, 助手 (90304063)
SAITOH Akinori  Osaka University, Graduate School of Engineering Science, Associate Professor, 基礎工学研究科, 講師 (20235021)
Project Period (FY) 1998 – 2000
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥10,100,000 (Direct Cost: ¥10,100,000)
Fiscal Year 2000: ¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 1999: ¥3,200,000 (Direct Cost: ¥3,200,000)
Fiscal Year 1998: ¥4,200,000 (Direct Cost: ¥4,200,000)
Keywordsdistributed algorithms / protocol / parallel algoritmhs / fault tolerance / self-stabilization / wait-freedom / computer cluster / 故障耐性
Research Abstract

It is highly expected that distributed systems are designed and implemented on world-wide networks. However, the design of large scale of distributed systems is a very complicated task because of inherent autonomy of processes. Thus, it is strongly desired to establish effective paradigms for designing distributed systems.
The aim of this research is to propose paradigms for designing distributed/parallel algorithms. Especially, we investigated the method for designing distributed/parallel algorithms that possess the property required for practical distributed systems. The subjects we addressed are summarized as follows :
1. Distributed algorithm design for highly reliable/available distributed systems : We investigated self-stabilization and wait-freedom of distributed algorithms that are expected to be promising paradigms for designing practically reliable/available distributed systems.
2. Distributed algorithm design for mobile computing : We investigated distributed algorithm design for distributed systems containing mobile computers, since mobile computers as PDAs (Personal Digital Assistants) become essential components of practical distributed systems.
3. Parallel algorithm design for computer cluster systems : We investigated parallel algorithm design for distributed systems based on computer clusters, since computer clusters are practical platform of high performance distributed systems.

Report

(4 results)
  • 2001 Final Research Report Summary
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • Research Products

    (140 results)

All Other

All Publications (140 results)

  • [Publications] 井上 美智子: "Efficient linearizable implementation of shared FIFO queues and general objects on a distributed system"IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences. E81-A. 768-775 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 林 邦彦: "A layout adjustment algorithm for disjoint rectangles preserving orthogonal order"Proceedings of the 6th Symposium on Graph Drawing. 183-197 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "Self-stabilizing wait-free clock synchronization with bounded space"Proceedings of the 2nd International Conference On Principles of Distributed Systems. 129-143 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "A parallel algorithm for Euclidean distance transform on the mesh"Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications. 1726-143 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "近年の並列計算モデルの動向について"第11回 回路とシステム(軽井沢)ワークショップ 論文集. 385-390 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "共有メモリシステムにおける同期時間最適な自己安定無待機時計合わせプロトコル"電子情報通信学会技術研究報告. COMP98-1 8. 31-38 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水 隆: "Parallel algorithms for finding all nearest neighbors"信学技法. COMP98-4 2. 33-40 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 大堀 力: "分散移動システムのための前後関係保存放送プロトコル"電子情報通信学会論文誌(DI). J82-D-I. 425-435 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "A cost optimal parallel algorithm for weighted distance transforms"Parallel Computing. 25. 405-416 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水 隆: "選択問題を解くBSPモデルおよびBSP$^*モデル上の並列アルゴリズム"電子情報通信学会論文誌(DI). J82-D-1. 533-542 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 林 邦彦: "直交順序を保存する方形の非交差再配置問題"電子情報通信学会論文誌(DI). J82-D-I. 679-690 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "Parallel selection algorithms for CGM and BSP with application to sorting"並列処理シンポジウム(JSPP'99). 261-268 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水 隆: "Parallel algorithm for finding all nearest neighbors of binary images on the BSP model"並列処理シンポジウム(JSPP'99). 253-260 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "Parallel selection algorithms with analysis on clusters"Proceedings of International Symposium on Parallel Architectures,Algorithms and Networks. 388-393 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水 隆: "Parallel algorithms for all nearest neighbors of binary images on the BSP model"Proceedings of International Symposium on Parallel Architectures,Algorithms and Networks. 394-399 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "Wait-free linearizable distributed shared memory"Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems. 335-342 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 須田 克朗: "線形化可能性を保証する共有オブジェクトの無待機な実現"電子情報通信学会技術研究報告. COMP98-7 3. 9-16 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 寺田 雅人: "分散移動システムにおける全域チェックポイントについて"電子情報通信学会技術研究報告. COMP98-7 4. 17-24 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 浮穴 学慈: "A self-stabilizing k-exclusion protocol with k-wait-freedom"電子情報通信学会技術研究報告. COMP98-8 7. 33-40 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "Wait-free linearizable implementation of a distributed shared memory"電子情報通信学会技術研究報告. COMP99-3 7. 45-52 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "Practical parallelizability of some P-complete problems"電子情報通信学会技術研究報告. AL69-2. 9-16 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "2分木の平衡分解木を求めるコスト最適な並列アルゴリズム"電子情報通信学会論文誌(DI). J83-D-I. 90-98 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合せプロトコル"電子情報通信学会論文誌(DI). J83-D-I. 99-109 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水 隆: "Parallel algorithms for the all nearest neighbor problems of binary image on the BSP model"IEICE Transactions on Information and System. E83-D. 151-158 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 増澤 利光: "Fault-tolerance of distributed algorithms: self-stabilization and wait-freedom"IEICE Transactions on Information and Systems. E83-D. 550-560 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "Parallel selection algorithms for CGM and BSP models with application to sorting"情報処理学会論文誌. 41. 1500-1508 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 守屋 宣: "Wait-free linearizable distributed shared memory"IEICE Transactions on Information and System. E83-D. 1611-1621 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 松井 博義: "Fault-tolerant and self-stabilizing protocols using an unreliable failure detector"電子情報通信学会論文誌(DI). E83-D. 1831-1840 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤原 暁宏: "Parallelizability of some P-complete problems"Proceedings of Workshop on Advances in Parallel Computational Models. 116-122 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 中島 孝明: "P完全問題に対するコスト最適な並列アルゴリズム"並列処理シンポジウム(JSPP2000). 35-42 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 馬上 俊幸: "離散ボロノイ図を求める並列アルゴリズム"並列処理シンポジウム(JSPP2000). 159 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Carla Denise Castanho: "Polynomially fast parallel algorithms for some geometric P-complete problems"Proceedings of Workshop on Computational Geometry. (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 中島 孝明: "P完全問題に対するBSPモデル上の並列アルゴリズム"平成11年度電子情報通信学会総合大会(情報・システム). 1 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 長谷川 学: "ヒープ順序づき木を構成する自己安定プロトコル"電子情報通信学会技術研究報告. COMP99-7 9. 1-8 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 谷口 博人: "アドホックネットワークにおけるクラスタ構成法"電子情報通信学会技術研究報告. COMP99-8 0. 9-16 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 大重 直樹: "Parallel algorithm with constant communication rounds for the convex hull of sorted points"電子情報通信学会技術研究報告. COMP200 0-07. 33-40 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Carla Denise Castanho: "Polynomially fast parallel algorithms for some P-complete problems"電子情報通信学会技術研究報告. COMP200 0-07. 53-59 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 浮穴 学慈: "木ネットワーク上のヒープ順序構成自己安定プロトコル"電子情報通信学会論文誌(DI). J84-D-I. 48-57 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 谷口 博人: "アドホックネットワークにおけるクラスタ構成法"電子情報通信学会論文誌(DI). J84-D-I. 127-135 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 片山 喜章: "重み最小生成木を構成する故障封じ込め自己安定プロトコル"電子情報通信学会論文誌(DI). J84-D-I. (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 中島 孝明: "辞書式順極大3和問題に対するBSPモデル上のコスト最適な並列アルゴリズム"情報処理学会論文誌. 42. 724-731 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 大重 直樹: "Round optimal parallel algorithms for the convex hull of sorted points"IEICE Transactions on Fundamentals of Electronics,Communications and Computer Science. E84-A. 1152-1160 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Carla Denise Castanho: "Polynomially fast parallel algorithms for some P-complete problems"IEICE Transactions on Fundamentals of Electronics,Communications and Computer Science. E84-A. 1244-1255 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 中島 孝明: "Parallelizability of the stack breadth-first search problem"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. 722-727 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Carla Denise Castanho: "Parallelizability of some geometric P-complete problems in the EREW-PRAM"Proceedings of Seventh Annual International Computing and Combinatorics Conference. 9-63 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 中島 孝明: "A parallel algorithm for the stack breadth-first search"電子情報通信学会技術研究報告. COMP200 1-52. 1-6 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 片山 喜章: "A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings"Journal of Parallel and Distributed Computing. (採録決定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Inoue, T. Masuzawa, N. Tokura: "Efficient linearizable implementation of shared FIFO queues and general objects on a distributed system"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science. Vol. E81-A. 768-775 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Hayashi, M. Inoue, T. Masuzawa, H. Fujiwara: "A layout adjustment algorithm for disjoint rectangles preserving orthogonal order}"Proceedings of the 6th Symposium on Graph Drawing. 183-197 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Moriya, M. Inoue, T. Masuzawa, H. Fujiwara: "Self-stabilizing wait-free clock synchronization with bounded space"Proceedings of the 2nd International Conference On Principles of Distributed Systems. 129-143 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, M. Inoue, T. Masuzawa: "A parallel algorithm for Euclidean distance transform on the mesh"Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications. 1726-1733 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara: "Recent parallel computation models (In Japanese)"Karuizawa workshop. 385-390 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Moriya, M. Inoue, T. Masuzawa H. Fujiwara: "Optimal self-stabilizing wait-free clock synchronization protocol on a shared-memory system (In Japanese)"Technical Report of IEICE, COMP98-18. 31-38 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ishimizu, A. Fujiwara, M. Inoue, T. Masuzawa H. Fujiwara: "Parallel algorithms for finding all nearest neighbors"Technical Report of IEICE, COMP98-42. 33-40 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] C. Ohori, M. Inoue, T. Masuzawa, H. Fujiwara: "A Causal Broadcast Protocol for Distributed Mobile Systems (In Japanese)"Transactions on IEICE(DI). Vol. J82-D-I, No. 2. 425-435 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, M. Inoue. T. Masuzawa, H. Fujiwara: "A cost optimal parallel algorithm for weighted distance transforms"Parallel Computing. Vol. 25. 405-416 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Hayashi, M. Inoue, T. Masuzawa, H. Fujiwara: "A Layout Adjustment Problem for Disjoint Rectangles Preserving Orthogonal Order (In Japanese)"Transactions on IEICE(DI). Vol. J82-D-I. 679-690 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, T. Ishimizu, M. Inoue, T. Masuzawa, H. Fujiwara: "Parallel selection algorithms for CGM and BSP with application to sorting"Joint Symposium on Parallel Processing. 261-268 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ishimizu, A. Fujiwara, M. Inoue. T. Masuzawa, H. Fujiwara: "Parallel algorithm for finding all nearest neighbors of binary images on the BSP model"Joint Symposium on Parallel Processing. 253-260 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, H. Katsuki, M. Inoue, T. Masuzawa: "Parallel selection algorithms with analysis on clusters"Proceedings of International Symposium on Parallel Architectures, Algorithms and Networks. 388-393 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ishimizu, A. Fujiwara, M. Inoue, T. Masuzawa, H. Fujiwara: "Parallel algorithms for all nearest neighbors of binary images on the BSP model"Proceedings of International Symposium on Parallel Architectures, Algorithms and Networks. 394-399 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Moriya, K. Suda, M. Inoue, T. Masuzawa, H. Fujiwara: "Wait-free linearizable distributed shared memory"Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems. 335-342 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Suda, S. Moriya, M. Inoue, T. Masuzawa, H. Fujiwara: "Wait-Free Linearizable Implementation of a Shared Object (In Japanese)"Technical Report of IEICE. COMP98-73. 9-16 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Terada, M. Inoue, T. Masuzawa and H. Fujiwara: "A Distributed Consistent Global Checkpoint on Distributed Mobile Systems (In Japanese)"Technical Report of IEICE. COMP98-74. 17-24 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Ukena, Y. Katayama, T. Masuzawa, H. Fujiwara: "A self-stabilizing k-exclusion protocol with k-wait-freedom"Technical Report of IEICE. COMP98-87. 33-40 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, M. Inoue, T. Masuzawa: "Practical parallelizability of some P-complete problems"IPSJ SIG Notes. AL69-2. 9-16 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, W, Chen, T. Masuzawa, N. Tokura: "A cost optimal parallel algorithm for computing a balanced decomposition tree of a binary tree (In Japanese)"Transactions on IEICE(DI). Vol. J83-D-I. 90-98 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Moriya, M. Inoue, T. Masuzawa, H. Fujiwara: "optimal wait-free clock synchronization protocol on a shared-memory multi-processor system (In Japanese)"Transactions on IEICE(DI). Vol. J83-D-I. 99-109 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Ishimizu, A. Fujiwara, M. Inoue, T. Masuzawa, H.Fujiwara: "Parallel algorithms for the all nearest neighbor problems of binary image on the BSP model"IEICE Transactions on Information and System. Vol. E83-D. 151-158 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Masuzawa, M. Inoue: "Fault-tolerance of distributed algorithms : self-stabilization and wait-freedom"IEICE Transactions on Information and Systems. Vol. E83-D. 550-560 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, M. Inoue, T. Masuzawa: "Parallel selection algorithms for CGM and BSP models with application to sorting"Transactions on IPSJ. Vol. 41. 1500-1508 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Moriya, K. Suda, M. Inoue, T. Masuzawa, H. Fujiwara: "Wait-free linearizable distributed shared memory"IEICE Transactions on Information and System. Vol. E83-D. 1611-1621 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Matsui, M. Inoue, T. Masuzawa, H. Fujiwara: "Fault-tolerant and self-stabilizing protocols using an unreliable failure detector"IEICE Transactions on Information and Systems. Vol. E83-D. 1831-1840 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Fujiwara, M. Inoue, T. Masuzawa: "Parallelizability of some P-complete problems"Proceedings of Workshop on Advances in Parallel Computational Models. 116-122 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Nakashima, A. Fujiwara: "Cost optimal parallel algorithms for a P-complete problem"Joint Symposium on Parallel Processing. 35-42 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Magahi, A. Fujiwara: "Parallel algorithms for discrete Voronoi diagrams"Joint Symposium on Parallel Processing. 159 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] C. D. Castanho, W. Chen, K. Wada, A. Fujiwara: "Polynomially fast parallel algorithms for some geometric P-complete problems"Proceedings of Workshop on Computational Geometry. (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Nakashima, A. Fujiwara: "A BSP algorithm for a P-complete problem"Proceedings of the 2000 IEICE General Conference. 1 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Hasegawa, G. Ukena, Y. Katayama, T. Masuzawa, H. Fujiwara: "A self-stabilizing protocol for constructing a heap-ordered tree"Technical Report of IEICE. COMP99-79. 1-8 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Taniguchi, M. Inoue, T. Masuzawa, H. Fujiwara: "Clustering Algorithms in ad hoc networks, (In Japanese)"Technical Report of IEICE. COMP99-80. 9-16 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] N. Oshige, A. Fujiwara: "Parallel algorithm with constant communication rounds for the convex hull of sorted points"Technical Report of IEICE. COMP2000-07. 33-40 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] C.D. Castanho, W. Chen, K. Wada, A. Fujiwara: "Polynomially fast parallel algorithms for some P-complete problems"Technical Report of IEICE. COMP2000-41. 53-59 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] G. Ukena, M. Hasegawa, Y. Katayama, T. Masuzawa, H. Fujiwara: "A self-stabilizing max-heap protocol in tree networks (In Japanese)"Transactions on IEICE(DI). Vol. J84-D-I. 48-57 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Taniguchi, M. Inoue, T. Masuzawa and H. Fujiwara: "Clustering algorithms in ad hoc networks (In Japanese)"Transactions on IEICE(DI). Vol. J84-D-I. 127-135 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Katayama, T. Masuzawa: "A fault-containing self-stabilizing protocol for constructing a minimum spanning tree (In Japanese)"Transactions on IEICE(DI). Vol. J84-D-I. 1307-1317 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Nakashima, A. Fujiwara: "Cost optimal parallel algorithms for the Lexicographically first maximal 3 sum problem on the BSP model (In Japanese)"Transactions on IPSJ. Vol. 42. 724-731 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] N. Oshige, A. Fujiwara: "Round optimal parallel algorithms for the convex hull of sorted points"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science. Vol. E84-A. 1152-1160 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] C. D. Castanho, W. Chen, K. Wada, A. Fujiwara: "Polynomially fast parallel algorithms for some P-complete problems"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science. Vol. E84-A. 1244-1255 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Nakashima, A. Fujiwara: "Parallelizability of the stack breadth-first search problem"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. 722-727 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] C. D. Castanho and W. Chen and K. Wada, A. Fujiwara: "Parallelizability of some geometric P-complete problems in the EREW-PRAM"Proceedings of Seventh Annual International Computing and Combinatorics Conference. 59-63 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] N. Takaaki, A. Fujiwara: "A parallel algorithm for the stack breadth-first search"Technical Report of IEICE. COMP2001-52. 1-6 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Katayama, E. ueda, T. Masuzawa, H. Fujiwara: "A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings"Journal of Parallel and Distributed Computing. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 石水隆: "Parallel algorithms for the all nearest neighbor problems of binary image on the BSP model"IEICE Transactions on Information and System. E83-D・2. 151-158 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 増澤利光: "Fault-tolerance of distributed algorithms : self-stabilization and wait-freedom"IEICE Transactions on Information and System. E83-D・3. 550-560 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 藤原暁宏: "Parallel selection algorithms for CGM and BSP models with application to sorting"情報処理学会論文誌. 41・5. 1500-1508 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 守屋宣: "Wait-free linearizable distributed shared memory"IEICE Transactions on Information and System. E83-D・8. 1611-1621 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 松井博義: "Fault-tolerant and self-stabilizing protocols using an unreliable failure detector"IEICE Transactions on Information and System. E83-D・10. 1831-1840 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 浮穴学慈: "木ネットワーク上のヒープ順序構成自己安定プロトコル"電子情報通信学会論文誌. J84-D-I・1. 48-57 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 谷口博人: "アドホックネットワークにおけるクラスタ構成法"電子情報通信学会論文誌. J84-D-I・2. 127-135 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 片山喜章: "重み最小生成木を構成する故障封じ込め自己安定プロトコル"電子情報通信学会論文誌. (採録決定).

    • Related Report
      2000 Annual Research Report
  • [Publications] 片山喜章: "A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings"Journal of Parallel and Distributed Computing. (採録決定).

    • Related Report
      2000 Annual Research Report
  • [Publications] 中島孝明: "辞書式順極大3和問題に対するBSPモデル上のコスト最適な並列アルゴリズム"情報処理学会論文誌. (採録決定).

    • Related Report
      2000 Annual Research Report
  • [Publications] 大重直樹: "Round optimal parallel algorithms for the convex hull of sorted points"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science. (採録決定).

    • Related Report
      2000 Annual Research Report
  • [Publications] 藤原暁宏: "Parallelizability of some P-complete problems"Proceedings of Workshop on Advances in Parallel Computational Models. 116-122 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 中島孝明: "P完全問題に対するコスト最適な並列アルゴリズム"並列処理シンポジウム(JSPP'2000). 35-42 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 馬上俊幸: "離散ボロノイ図を求める並列アルゴリズム"並列処理シンポジウム(JSPP'2000). 159 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 大重直樹: "Parallel algorithms with constant communication rounds for the convex hull of sorted point"電子情報通信学会技術報告. COMP100-21. (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 大堀 力: "分散移動システムのための前後関係保存放送プロトコル"電子情報通信学会論文誌(D1). J82-D-I・2. 425-435 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Akihiro Fujiwara: "A cost optimal parallel algorithm for weighted distance transforms"Parallel computing. 25・4. 405-416 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 石水 隆: "選択問題を解くBSPモデルおよびBSP^*モデル上の並列アルゴリズム"電子情報通信学会論文誌(D1). J82-D-I・4. 533-542 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 林 邦彦: "直交順序を保存する方形の非交差配置問題"電子情報通信学会論文誌(D1). J82-D-I・6. 679-690 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 藤原 暁宏: "2分木の平衡分解木を求めるコスト最適な並列アルゴリズム"電子情報通信学会論文誌(D1). J83-D-I・1. 90-98 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 守屋 宣: "共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合せプロトコル"電子情報通信学会論文誌(D1). J83-D-I・1. 99-109 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takashi Ishimizu: "Parallel algorithms for all nearest neighbors of binary images on the BSP model"IEICE Trans. On Information and Systems. (採用決定).

    • Related Report
      1999 Annual Research Report
  • [Publications] Toshimitsu Masuzawa: "Fault-tolerance of distributed algorithms: self-stabilization and wait-freedom"IEICE Trans. On Information and Systems. (採用決定).

    • Related Report
      1999 Annual Research Report
  • [Publications] Akihiro Fujiwara: "Parallel selection algorithms for CGM and BSP with application to sorting"Joint Symposium on Parallel Processing(JSPP'99). 261-268 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takashi Ishimizu: "Parallel algorithms for all nearest neighbors of binary images on the BSP model"Joint Symposium on Parallel Processing(JSPP'99). 253-260 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Akihiro Fujikawa: "Parallel selection algorithms with analysis on clusters"Proceedings of International Symposium on Parallel Architechtures,Algorithms and Networks. 388-393 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takashi Ishimizu: "Parallel algorithms for all nearest neighbors of binary images on the BSP model"Proceedings of International Symposium on Parallel Architechtures,Algorithms and Networks. 394-399 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Sen Moriya: "Wait-free linearizable distributed shared memory"Proc. Of the 11th IASTED International Conference on Parallel and Distributed Computing and Systems. 335-342 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 寺田 雅人: "分散移動システムにおける全域チェックポイントについて"電子情報通信学会技術研究報告. COMP98-74. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 須田 克朗: "線形化可能性を保証する共有オブジェクトの無待機な実現"電子情報通信学会技術研究報告書. COMP-98-73. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Satoshige Ukena: "A Self-Stabilizing κ-Exclusion Protocol with κ-Wait-Freedom"電子情報通信学会技術研究報告書. COMP98-87. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Sen Moriya: "Wait-Free Linearizable Implementation of a Distributed Shared Memory"電子情報通信学会技術研究報告. COMP99-37. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Akihiro Fujiwara: "Practical parallelizability of some P-complete problems"情報処理学会研究報告書. AL69-2. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 長谷川 学: "ヒープ順序づき木を構成する自己安定プロトコル"電子情報通信学会技術研究報告. 発表予定. (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 谷口 博人: "アドホックネットワークにおけるクラスタ構成法"電子情報通信学会技術研究報告. 発表予定. (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] Michiko Inoue: "Efficient linearizable implementation of shared FIFO queues and general objects on a distributed system" IEICE Transactions. E81-A・5. 768-775 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 守屋 宣: "共有メモリシステムにおける同期時間最適な自己安定無待機時計合わせプロトコル" 電子情報通信学会技術研究報告. COMP98-18. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Akihiro Fujiwara: "A parallel algorithm for Euclidean distance transform on the mesh" Proc.International Conference on Parallel and Distributed Processing Techniques and Applications. 1726-1733 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Takashi Ishimizu: "Parallel algorithms for finding all nearest neighbors" 電子情報通信学会技術研究報告. COMP98-42. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Sen Moriya: "Self-stabilizing wait-free clock synchronization with bounded space" Proc.International Conference on Principles of Distributed Systems. 129-143 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kunihiko Hayashi: "A layout adjustment algorithm for disjoint rectangles preserving orthogonal order" Proc.Sixth Symposium on Graph Drawing. 183-197 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 須田 克朗: "線形化可能性を保証する共有オブジェクトの無待機な実現" 電子情報通信学会技術研究報告. COMP98-73. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 寺田 雅人: "分散移動システムにおける全域チェックポイントについて" 電子情報通信学会技術研究報告. COMP98-74. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 大堀 力: "分散移動システムのための前後関係保存放送プロトコル" 電子情報通信学会論文誌. J82-D-I・2. 425-435 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Satoshige Ukena: "A self-stabilizing k-exclusion protocol with k-wait-freedom" 電子情報通信学会技術研究報告. COMP98-87. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Akihiro Fujiwara: "A cost optimal parallel algorithm for weighted distance transforms" Parallel computing. (採録決定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 石水 隆: "選択問題を解くBSPモデルおよびBSP^*モデル上の並列アルゴリズム" 電子情報通信学会論文誌. (採録決定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 林 邦彦: "直交順序を保存する矩形の非交差配置問題" 電子情報通信学会論文誌. (採録決定). (1999)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi