本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2011.<M17-12-1320>
国立国会図書館

Fault-Tolerant Mobile Robots

Fault-Tolerant Mobile Robots
紙図書
Defago, Xavier, Défago, Xavier, POTOP-BUTUCARU, Maria, Potop-Butucaru, Maria, Tixeuil, SébastienSpringer2019-01Distributed Computing by Mobile EntitiesLNCS 11340p.234-251
全国の図書館
  • 著者標目Defago, Xavier Défago, Xavier POTOP-BUTUCARU, Maria Potop-B...

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

自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究
デジタル文書・図像類
Defago, Xavier2014-06-05科学研究費助成事業研究成果報告書p.1-6
全国の図書館
  • 著者標目Defago, 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
デジタル文書・図像類
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
全国の図書館
  • 著者標目Nguyen, 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
デジタル文書・図像類
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
全国の図書館
  • 著者標目Pham, Thanh-Trung Defago, Xavier

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
デジタル文書・図像類
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
全国の図書館
  • 著者標目Defago, Xavier Potop-Butucaru, Maria Gradina...

Tight Bound on Mobile Byzantine Agreement

Tight Bound on Mobile Byzantine Agreement
デジタル文書・図像類
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
全国の図書館
  • 著者標目Nguyen, Thanh Dang Bonnet, Francois Defago, Xavier Potop-Butucaru, Maria

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

自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築
デジタル文書・図像類
Defago, Xavier2009-06-10科学研究費補助金研究成果報告書p.1-4
全国の図書館
  • 著者標目Defago, Xavier

Fault-tolerant Flocking in a k-bounded Asynchronous System

Fault-tolerant Flocking in a k-bounded Asynchronous System
デジタル文書・図像類
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
全国の図書館
  • 著者標目Souissi, Samia Yang, Yan Defago, Xavier

ED FD: Improving the phi accrual failure detector

ED FD: Improving the phi accrual failure detector
デジタル文書・図像類
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
全国の図書館
  • 著者標目Xiong, Naixue Defago, Xavier

Anonymous stabilizing leader election using a network sequencer

Anonymous stabilizing leader election using a network sequencer
デジタル文書・図像類
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
全国の図書館
  • 著者標目Wiesmann, 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
デジタル文書・図像類
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
全国の図書館
  • 著者標目Defago, Xavier Souissi, Samia

Collision prevention using group communication for asynchronous cooperative mobile robots

Collision prevention using group communication for asynchronous cooperative mobile robots
デジタル文書・図像類
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
全国の図書館
  • 著者標目Yared, 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
デジタル文書・図像類
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
全国の図書館
  • 著者標目Yamashita, Masafumi Souissi, Samia Defago, Xavier

Gathering asychronous mobile robots with inaccurate compasses

Gathering asychronous mobile robots with inaccurate compasses
デジタル文書・図像類
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
全国の図書館
  • 著者標目Souissi, 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
デジタル文書・図像類
DEFAGO, Xavier2005-03-11p.1-3
全国の図書館
  • 著者標目DEFAGO, Xavier

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

A lazy routing protocol for large-scale mobile ad hoc networks
デジタル文書・図像類
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
全国の図書館
  • 著者標目Cartigny, Julien Defago, Xavier

A sowing routing protocol for dense mobile ad hoc networks

A sowing routing protocol for dense mobile ad hoc networks
デジタル文書・図像類
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
全国の図書館
  • 著者標目Cartigny, Julien Defago, Xavier

Concurrency in Microprotocol Frameworks

Concurrency in Microprotocol Frameworks
デジタル文書・図像類
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
全国の図書館
  • 著者標目Urban, 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
デジタル文書・図像類
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
全国の図書館
  • 著者標目Souissi, Samia Defago, Xavier Yamashita, Masafumi
RSS