Jump to main content

yr 〜
yr

Search results 33

Stabilization, safety, and security of distributed systems : 13th international symposium, SSS 2011 : Grenoble, France, October 10-12, 2011 : proceedings : Oct 2011, Grenoble, France. (Lecture Notes in Computer Science ; 6976)

Stabilization, safety, and security of distributed systems : 13th international symposium, SSS 2011 : Grenoble, France, October 10-12, 2011 : proceedings : Oct 2011, Grenoble, France. (Lecture Notes in Computer Science ; 6976)
Paper図書
Springerc2011.<M17-12-1320>
National Diet Library

Fault-Tolerant Mobile Robots

Fault-Tolerant Mobile Robots
Paper図書
Defago, Xavier, Défago, Xavier, POTOP-BUTUCARU, Maria, Potop-Butucaru, Maria, Tixeuil, SébastienSpringer2019-01Distributed Computing by Mobile EntitiesLNCS 11340p.234-251
Other Libraries in Japan
  • Author HeadingDefago, Xavier Défago, Xavier POTOP-BUTUCARU, Maria Potop-B...

自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究

自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究
Digital文書・図像類
Defago, Xavier2014-06-05科学研究費助成事業研究成果報告書p.1-6
Other Libraries in Japan
  • Author HeadingDefago, Xavier

Analyzing the Impact of Mitigation Strategies on the Spread of a Virus

Analyzing the Impact of Mitigation Strategies on the Spread of a Virus
Digital文書・図像類
Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2014-05-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-002p.1-16
Other Libraries in Japan
  • Author HeadingNguyen, Thanh Dang Bonnet, Francois Defago, Xavier

Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems

Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
Digital文書・図像類
Pham, Thanh-Trung, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2013-01-25Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-003p.1-12
Other Libraries in Japan
  • Author HeadingPham, Thanh-Trung Defago, Xavier

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
Digital文書・図像類
Defago, Xavier, Potop-Butucaru, Maria Gradinariu, Stephane Messika, Julien Clement, Raipin-Parvedy, Philippe北陸先端科学技術大学院大学情報科学研究科2015-02-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2015-003p.1-24
Other Libraries in Japan
  • Author HeadingDefago, Xavier Potop-Butucaru, Maria Gradina...

Tight Bound on Mobile Byzantine Agreement

Tight Bound on Mobile Byzantine Agreement
Digital文書・図像類
Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, Potop-Butucaru, Maria北陸先端科学技術大学院大学情報科学研究科2014-07-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-004p.1-19
Other Libraries in Japan
  • Author HeadingNguyen, Thanh Dang Bonnet, Francois Defago, Xavier Potop-Butucaru, Maria

自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築

自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築
Digital文書・図像類
Defago, Xavier2009-06-10科学研究費補助金研究成果報告書p.1-4
Other Libraries in Japan
  • Author HeadingDefago, Xavier

Fault-tolerant Flocking in a k-bounded Asynchronous System

Fault-tolerant Flocking in a k-bounded Asynchronous System
Digital文書・図像類
Souissi, Samia, Yang, Yan, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2008-09-26Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2008-004p.1-22
Other Libraries in Japan
  • Author HeadingSouissi, Samia Yang, Yan Defago, Xavier

ED FD: Improving the phi accrual failure detector

ED FD: Improving the phi accrual failure detector
Digital文書・図像類
Xiong, Naixue, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2007-04-27Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-007p.1-29
Other Libraries in Japan
  • Author HeadingXiong, Naixue Defago, Xavier

Anonymous stabilizing leader election using a network sequencer

Anonymous stabilizing leader election using a network sequencer
Digital文書・図像類
Wiesmann, Matthias, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2006-11-28Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-017p.1-8
Other Libraries in Japan
  • Author HeadingWiesmann, Matthias Defago, Xavier

Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots

Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots
Digital文書・図像類
Defago, Xavier, Souissi, Samia北陸先端科学技術大学院大学情報科学研究科2007-02-26Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-003p.1-17
Other Libraries in Japan
  • Author HeadingDefago, Xavier Souissi, Samia

Collision prevention using group communication for asynchronous cooperative mobile robots

Collision prevention using group communication for asynchronous cooperative mobile robots
Digital文書・図像類
Yared, Rami, Defago, Xavier, Wiesmann, Matthias北陸先端科学技術大学院大学情報科学研究科2007-02-22Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-002p.1-21
Other Libraries in Japan
  • Author HeadingYared, Rami Defago, Xavier Wiesmann, Matthias

Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses

Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses
Digital文書・図像類
Yamashita, Masafumi, Souissi, Samia, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2007-04-03Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-006p.1-15
Other Libraries in Japan
  • Author HeadingYamashita, Masafumi Souissi, Samia Defago, Xavier

Gathering asychronous mobile robots with inaccurate compasses

Gathering asychronous mobile robots with inaccurate compasses
Digital文書・図像類
Souissi, Samia, Defago, Xavier, Yamashita, Masafumi北陸先端科学技術大学院大学情報科学研究科2006-09-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-014p.1-20
Other Libraries in Japan
  • Author HeadingSouissi, Samia Defago, Xavier Yamashita, Masafumi

Challenges Toward a Dependable Infrastructure for a Trustworthy e-Society

Challenges Toward a Dependable Infrastructure for a Trustworthy e-Society
Digital文書・図像類
DEFAGO, Xavier2005-03-11p.1-3
Other Libraries in Japan
  • Author HeadingDEFAGO, Xavier

A lazy routing protocol for large-scale mobile ad hoc networks

A lazy routing protocol for large-scale mobile ad hoc networks
Digital文書・図像類
Cartigny, Julien, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2005-04-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2005-008p.1-10
Other Libraries in Japan
  • Author HeadingCartigny, Julien Defago, Xavier

A sowing routing protocol for dense mobile ad hoc networks

A sowing routing protocol for dense mobile ad hoc networks
Digital文書・図像類
Cartigny, Julien, Defago, Xavier北陸先端科学技術大学院大学情報科学研究科2005-07-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2005-009p.1-8
Other Libraries in Japan
  • Author HeadingCartigny, Julien Defago, Xavier

Concurrency in Microprotocol Frameworks

Concurrency in Microprotocol Frameworks
Digital文書・図像類
Urban, Peter, Mena, Sergio, Defago, Xavier, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2006-02-28Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-004p.1-13
Other Libraries in Japan
  • Author HeadingUrban, Peter Mena, Sergio Defago, Xavier Katayama, Takuya

Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility

Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility
Digital文書・図像類
Souissi, Samia, Defago, Xavier, Yamashita, Masafumi北陸先端科学技術大学院大学情報科学研究科2005-07-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2005-010p.1-20
Other Libraries in Japan
  • Author HeadingSouissi, Samia Defago, Xavier Yamashita, Masafumi
RSS