トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
全て
教員登録文献
詳細検索
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
DEFAGO Xavier
(デファゴ クサビエ)准教授
研究者総覧
発行年月日(降順)
発行年月日(昇順)
No.
書籍情報
1
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering / Defago, Xavier, Potop-Butucaru, Maria Gradinariu, Stephane Messika, Julien Clement, Raipin-Parvedy, Philippe, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2015-003, pp.1-24, 2015-02-20, 北陸先端科学技術大学院大学情報科学研究科
2
Mitigating the Spread of a Virus in the Internet / Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW), pp.14-19, 2014-10, Institute of Electrical and Electronics Engineers (IEEE)
3
Tight Bound on Mobile Byzantine Agreement / Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, Potop-Butucaru, Maria, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-004, pp.1-19, 2014-07-29, 北陸先端科学技術大学院大学情報科学研究科
4
自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究 / Defago, Xavier, 科学研究費助成事業研究成果報告書, pp.1-6, 2014-06-05
5
Analyzing the Impact of Mitigation Strategies on the Spread of a Virus / Nguyen, Thanh Dang, Bonnet, Francois, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-002, pp.1-16, 2014-05-19, 北陸先端科学技術大学院大学情報科学研究科
6
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors / Pham, Thanh-Trung, Defago, Xavier, Huynh, Quyet-Thang, Science of Computer Programming, 97, pp.426-457, 2014-05-15, Elsevier
7
Tight Bound on Mobile Byzantine Agreement / Bonnet, Francois, Defago, Xavier, Nguyen, Thanh Dang, Potop-Butucaru, Maria, Lecture Notes in Computer Science, 8784, pp.76-90, 2014, Springer
8
A taxonomy of congestion control techniques for TCP in wired and wireless networks / Kho, Lee Chin, Defago, Xavier, Lim, Azman Osman, Tan, Yasuo, 2013 IEEE Symposium on Wireless Technology and Applications (ISWTA), pp.147-152, 2013-09, Institute of Electrical and Electronics Engineers (IEEE)
9
Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms / Pham, Thanh-Trung, Defago, Xavier, 2013 Eighth International Conference on Availability, Reliability and Security (ARES), pp.11-20, 2013-09, Institute of Electrical and Electronics Engineers (IEEE)
10
Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems / Pham, Thanh-Trung, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2013-003, pp.1-12, 2013-01-25, 北陸先端科学技術大学院大学情報科学研究科
11
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses / Izumi, Taisuke, Souissi, Samia, Katayama, Yoshiaki, Inuzuka, Nobuhiro, Defago, Xavier, Wada, Koichi, Yamashita, Masafumi, SIAM Journal on Computing, 41(1), pp.26-46, 2012-01-03, Society for Industrial and Applied Mathematics (SIAM)
12
The cost of probabilistic agreement in oblivious robot networks / Clement, Julien, Defago, Xavier, Potop-Butucaru, Maria Gradinariu, Izumi, Taisuke, Messika, Stephane, Information Processing Letters, 110(11), pp.431-438, 2010-05-16, Elsevier
13
自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築 / Defago, Xavier, 科学研究費補助金研究成果報告書, pp.1-4, 2009-06-10
14
Fault-tolerant Flocking in a k-bounded Asynchronous System / Souissi, Samia, Yang, Yan, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2008-004, pp.1-22, 2008-09-26, 北陸先端科学技術大学院大学情報科学研究科
15
Non Uniform Circle Formation Algorithm for Oblivious Mobile Robots with Convergence toward Uniformity / Defago, Xavier, Souissi, Samia, Theoretical Computer Science, 396(1-3), pp.97-112, 2008-05-10, Elsevier
16
Real-time Task scheduling Using Extended Overloading Technique for Multiprocessor Systems / Wei Sun, Yu, Chen, Zhang, Yuanyuan, Defago, Xavier, Inoguchi, Y., 11th IEEE International Symposium Distributed Simulation and Real-Time Applications, 2007. DS-RT 2007., pp.95-102, 2007-10, Institute of Electrical and Electronics Engineers (IEEE)
17
Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. / Sun, Wei, Zhang, Yuanyuan, Yu, Chen, Defago, Xavier, Inoguchi, Yasushi, 26th IEEE International Symposium on Reliable Distributed Systems, 2007. SRDS 2007., pp.265-274, 2007-10, Institute of Electrical and Electronics Engineers (IEEE)
18
Collision prevention platform for a dynamic group of asynchronous cooperative mobile robots / Yared, Rami, Defago, Xavier, Iguchi-Cartigny, Julien, Wiesmann, Matthias, Journal of Network, 2(4), pp.28-39, 2007-08, Academy Publisher
19
Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range / Lee, Geunho, Chong, Nak Young, Defago, Xavier, The 16th IEEE International Symposium on Robot and Human interactive Communication, 2007. RO-MAN 2007., pp.925-930, 2007-08, Institute of Electrical and Electronics Engineers (IEEE)
20
Anonymous Stabilizing Leader Election using a Network Sequencer / Wiesmann, Matthias, Defago, Xavier, 21st International Conference on Advanced Information Networking and Applications, 2007. AINA '07., pp.673-678, 2007-05, Institute of Electrical and Electronics Engineers (IEEE)
21
Collision prevention using group communication for asynchronous cooperative mobile robots / Yared, Rami, Defago, Xavier, Wiesmann, Matthias, 21st International Conference on Advanced Information Networking and Applications, 2007. AINA '07., pp.244-249, 2007-05, Institute of Electrical and Electronics Engineers (IEEE)
22
ED FD: Improving the phi accrual failure detector / Xiong, Naixue, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2007-007, pp.1-29, 2007-04-27, 北陸先端科学技術大学院大学情報科学研究科
23
Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses / Yamashita, Masafumi, Souissi, Samia, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2007-006, pp.1-15, 2007-04-03, 北陸先端科学技術大学院大学情報科学研究科
24
Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots / Defago, Xavier, Souissi, Samia, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2007-003, pp.1-17, 2007-02-26, 北陸先端科学技術大学院大学情報科学研究科
25
Collision prevention using group communication for asynchronous cooperative mobile robots / Yared, Rami, Defago, Xavier, Wiesmann, Matthias, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2007-002, pp.1-21, 2007-02-22, 北陸先端科学技術大学院大学情報科学研究科
26
Anonymous stabilizing leader election using a network sequencer / Wiesmann, Matthias, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-017, pp.1-8, 2006-11-28, 北陸先端科学技術大学院大学情報科学研究科
27
Gathering asychronous mobile robots with inaccurate compasses / Souissi, Samia, Defago, Xavier, Yamashita, Masafumi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-014, pp.1-20, 2006-09-11, 北陸先端科学技術大学院大学情報科学研究科
28
Concurrency in Microprotocol Frameworks / Urban, Peter, Mena, Sergio, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-004, pp.1-13, 2006-02-28, 北陸先端科学技術大学院大学情報科学研究科
29
Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots / Yared, Rami, Cartigny, Julien, Defago, Xavier, Wiesmann, Matthias, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-003, pp.1-11, 2006-02-13, 北陸先端科学技術大学院大学情報科学研究科
30
An SNMP based failure detection service / Wiesmann, Matthias, Urban, Peter, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-001, pp.1-24, 2006-02-01, 北陸先端科学技術大学院大学情報科学研究科
31
Towards a theory of self-organization / Anceaume, Emmanuelle, Defago, Xavier, Gradinariu, Maria, Roy, Matthieu, Lecture Notes in Computer Science, 3974, pp.191-205, 2006, Springer
32
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering : Feasibility Study / Defago, Xavier, Gradinariu, Maria, Messika, Stephane, Raipin-Parvedy, Philippe, Lecture Notes in Computer Science, 4167, pp.46-60, 2006, Springer
33
Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility / Souissi, Samia, Defago, Xavier, Yamashita, Masafumi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2005-010, pp.1-20, 2005-07-20, 北陸先端科学技術大学院大学情報科学研究科
34
A sowing routing protocol for dense mobile ad hoc networks / Cartigny, Julien, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2005-009, pp.1-8, 2005-07-19, 北陸先端科学技術大学院大学情報科学研究科
35
A lazy routing protocol for large-scale mobile ad hoc networks / Cartigny, Julien, Defago, Xavier, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2005-008, pp.1-10, 2005-04-05, 北陸先端科学技術大学院大学情報科学研究科
36
Definition and specification of accrual failure detectors / Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2005-004, pp.1-19, 2005-03-22, 北陸先端科学技術大学院大学情報科学研究科
37
Challenges Toward a Dependable Infrastructure for a Trustworthy e-Society / DEFAGO, Xavier, pp.1-3, 2005-03-11
38
Fault-tolerant group membership protocols using physical robot messengers / Yared, Rami, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-019, pp.1-11, 2004-12-01, 北陸先端科学技術大学院大学情報科学研究科
39
Total order broadcast and multicast algorithms: Taxonomy and survey / Defago, Xavier, Schiper, Andre, Urban, Peter, ACM Computing Surveys, 36(4), pp.372-421, 2004-12, Association for Computing Machinery
40
Semi-passive replication and Lazy Consensus / Defago, Xavier, Schiper, Andre, Journal of Parallel and Distributed Computing, 64(12), pp.1380-1398, 2004-12, Elsevier
41
On accrual failure detectors / Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-011, pp.1-14, 2004-05-14, 北陸先端科学技術大学院大学情報科学研究科
42
The φ accrual failure detector / Hayashibara, Naohiro, Defago, Xavier, Yared, Rami, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-010, pp.1-15, 2004-05-10, 北陸先端科学技術大学院大学情報科学研究科
43
Flexible failure detection with k-FD / Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2004-006, pp.1-13, 2004-02-25, 北陸先端科学技術大学院大学情報科学研究科
44
Comparative Performance Analysis of Ordering Strategies in Atomic Broadcast Algorithms / Defago, Xavier, Schiper, Andre, Urban, Peter, IEICE TRANSACTIONS on Information and Systems, E86-D(12), pp.2698-2709, 2003-12-01, 電子情報通信学会
45
Implementaion and Performance Analysis of the φ-Failure Detector / Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2003-013, pp.1-14, 2003-10-06, 北陸先端科学技術大学院大学情報科学研究科
46
Total Order Broadcast and Multicast Algorithms : Taxonomy and Survey / Defago, Xavier, Schiper, Andre, Urban, Peter, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2003-009, pp.1-53, 2003-09-10, 北陸先端科学技術大学院大学情報科学研究科
47
Distributed algorithm for circle formation of disoriented mobile robots / Defago, Xavier, Konagaya, Akihiko, Research report (School of Knowledge Science, Japan Advanced Institute of Science and Technology), KS-RR-2003-001, pp.1-17, 2003-01-27, 北陸先端科学技術大学院大学知識科学研究科
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係