Search results for "fault tolerant protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Krzysztof Sapiecha, Grzegorz Lukawski	Fault-Tolerant Protocols for Scalable Distributed Data Structures.	PPAM	2005	DBLP DOI BibTeX RDF
2	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An ACL for Specifying Fault-Tolerant Protocols.	AI*IA	2005	DBLP DOI BibTeX RDF
2	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	FTRTFT	2002	DBLP DOI BibTeX RDF	parametric counter automata, Formal verification, abstraction, fault-tolerant protocols
2	Matti A. Hiltunen, Richard D. Schlichting	Modularizing fault-tolerant protocols.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
1	Guanfeng Liang, Benjamin Sommer, Nitin H. Vaidya	Experimental performance comparison of Byzantine Fault-Tolerant protocols for data centers.	INFOCOM	2012	DBLP DOI BibTeX RDF
1	Michael Fisher, Boris Konev, Alexei Lisitsa	Temporal Verification of Fault-Tolerant Protocols.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Jianhui Zhang, Jiming Chen, Yu Wang 0003, Yang Xiao, Youxian Sun	A simple algorithm for fault-tolerant topology control in wireless sensor network.	PIMRC	2008	DBLP DOI BibTeX RDF
1	Soila Kavulya, Rajeev Gandhi, Priya Narasimhan	Gumshoe: Diagnosing Performance Problems in Replicated File-Systems.	SRDS	2008	DBLP DOI BibTeX RDF
1	Shantanu Das, Matús Mihalák, Rastislav Srámek, Elias Vicari, Peter Widmayer	Rendezvous of Mobile Agents When Tokens Fail Anytime.	OPODIS	2008	DBLP DOI BibTeX RDF	Faulty Token, Fault Tolerance, Mobile Agents, Asynchronous, Rendezvous, Symmetry-breaking, Anonymous Networks
1	Dana Fisman, Orna Kupferman, Yoad Lustig	On Verifying Fault Tolerance of Distributed Protocols.	TACAS	2008	DBLP DOI BibTeX RDF
1	Sabine Böhm	Reachability analysis of fault tolerant protocols.		2007	RDF
1	Nicola Dragoni, Mauro Gaspari, Davide Guidi	An ACL for Specifying Fault-Tolerant Protocols.	Applied Artificial Intelligence	2007	DBLP DOI BibTeX RDF
1	Sudip K. Mazumder, Kaustuva Acharya, Muhammad Tahir	Network reconfiguration of distributed controlled homogenous power inverter network using composite Lyapunov function based reachability bound.	SCSC	2007	DBLP DOI BibTeX RDF	piecewise linear systems, reaching conditions, switching power converters, linear matrix inequality, Markov-chain model, Lyapunov stability
1	Stefan Dobrev, Rastislav Kralovic, Richard Královic, Nicola Santoro	On Fractional Dynamic Faults with Threshold.	SIROCCO	2006	DBLP DOI BibTeX RDF
1	Nicola Dragoni, Mauro Gaspari	Crash failure detection in asynchronous agent communication languages.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Robust multi-agent systems, Open asynchronous multi-agent systems, Anonymous interaction, Knowledge level agents, Multi-agent systems, Agent communication languages
1	Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown	Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.	DSN	2005	DBLP DOI BibTeX RDF
1	Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo	How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?	DSN	2005	DBLP DOI BibTeX RDF
1	Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber	A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Kuang-Li Huang, Tai-Yi Huang, Jerry C. Y. Chou	LessLog: A Logless File Replication Algorithm for Peer-to-Peer Distributed Systems.	IPDPS	2004	DBLP DOI BibTeX RDF	file replication algorithms, peer-to-peer distributed systems, fault-tolerant protocols
1	SungJin Choi, MaengSoon Baik, HongSoo Kim, JunWeon Yoon, Jin Gon Shon, Chong-Sun Hwang	Region-based Stage Construction Protocol for Fault tolerant Execution of Mobile Agent.	AINA	2004	DBLP DOI BibTeX RDF
1	Boris Koldehofe	Buffer Management in Probabilistic Peer-to-Peer Communication Protocols.	SRDS	2003	DBLP DOI BibTeX RDF	multipeer communication, evaluation, networking, gossiping, peer-to-peer communication, fault tolerant protocols, fault tolerant communication
1	Bruno Dutertre, Valentin Crettaz, Victoria Stavridou	Intrusion-Tolerant Enclaves. (PDF / PS)	IEEE Symposium on Security and Privacy	2002	DBLP DOI BibTeX RDF	Groupware, Secret sharing, Intrusion tolerance
1	Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo	Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model.	SRDS	2002	DBLP DOI BibTeX RDF
1	Diego Sevilla, José M. García, Antonio F. Gómez-Skarmeta	Design and Implementation Requirements for CORBA Lightweight Components.	ICPP Workshops	2001	DBLP DOI BibTeX RDF	Distributed Component Models, Grid Computing, CSCW, CORBA
1	Yinong Chen, Zhongshi He	Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF	Distributed system, dependability, Markov model, fault-tolerant protocol
1	Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra	Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.	FAABS	2000	DBLP DOI BibTeX RDF
1	Guillermo A. Alvarez, Flaviu Cristian	Simulation-based Testing of Communication Protocols for Dependable Embedded Systems.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	fault tolerance, real-time systems, embedded systems, fault injection, architecture simulation, protocol testing
1	Jozef Hooman	Verification of Distributed Real-Time and Fault-Tolerant Protocols.	AMAST	1997	DBLP DOI BibTeX RDF
1	Yinong Chen, Winfried Görke	Structure-oriented dependability evaluation of fault-tolerant protocols.	Journal of Systems and Software	1994	DBLP DOI BibTeX RDF
1	Matti A. Hiltunen, Richard D. Schlichting	A Model for Adaptive Fault-Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF
1	Frédéric Ruget	Cheaper Matrix Clocks.	WDAG	1994	DBLP DOI BibTeX RDF	matrix time, fault tolerance, distributed systems, causality, logical time
1	Matti A. Hiltunen, Richard D. Schlichting	An Approach to Constructing Modular Fault-Tolerant Protocols.	SRDS	1993	DBLP BibTeX RDF
1	Yinong Chen, Klaus Echtle, Winfried Görke	Testing Fault-Tolerant Protocols by Heristic Fault Injection.	Fault-Tolerant Computing Systems	1991	DBLP BibTeX RDF
1	Oded Goldreich, Shafi Goldwasser, Nathan Linial	Fault-tolerant Computation in the Full Information Model (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	m-argument function, full information model, two-party protocols, two-argument function, m-party fault-tolerant protocols, fault tolerant computation, sampling, polylogarithmic factors
1	Philip A. Bernstein, Meichun Hsu, Bruce Mann	Implementing Recoverable Requests Using Queues.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF