Search results for "OPODIS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Eduardo Adílio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga, Fabíola Greve	Byzantine Consensus with Unknown Participants.	OPODIS	2008	DBLP DOI BibTeX RDF	Consensus, Byzantine fault tolerance, Self-organizing systems
1	Rachid Guerraoui	The Next 700 BFT Protocols.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Marcin Bienkowski, André Brinkmann, Miroslaw Korzeniowski	Degree 3 Suffices: A Large-Scale Overlay for P2P Networks.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Pierre Sens 0001, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon, Fabíola Greve	An Unreliable Failure Detector for Unknown and Mobile Networks.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Roberto Baldoni, François Bonnet 0001, Alessia Milani, Michel Raynal	On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.	OPODIS	2008	DBLP DOI BibTeX RDF	Grid exploration, Partial grid, Robot, Mobile agent, Anonymity, Mutual exclusion, Synchronous system
1	Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte	Interval Tree Clocks.	OPODIS	2008	DBLP DOI BibTeX RDF	version vectors, dynamic systems, Causality, vector clocks, logical clock
1	Thomas Clouser, Mark Miyashita, Mikhail Nesterenko	Fast Geometric Routing with Concurrent Face Traversal.	OPODIS	2008	DBLP DOI BibTeX RDF	ad hoc wireless routing, Geometric routing
1	Shantanu Das 0001, 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	Eli Gafni	The 0-1-Exclusion Families of Tasks.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Olivier Beaumont, Nicolas Bonichon, Philippe Duchon, Lionel Eyraud-Dubois, Hubert Larchevêque	A Distributed Algorithm for Resource Clustering in Large Scale Platforms.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld	Group Renaming.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Yuichi Asahiro, Satoshi Fujita, Ichiro Suzuki, Masafumi Yamashita	A Self-stabilizing Marching Algorithm for a Group of Oblivious Robots.	OPODIS	2008	DBLP DOI BibTeX RDF	marching, oblivious algorithm, flocking, self-stabilizing algorithm, motion coordination
1	Shouwen Lai, Bo Zhang 0016, Binoy Ravindran, Hyeonjoong Cho	CQS-Pair: Cyclic Quorum System Pair for Wakeup Scheduling in Wireless Sensor Networks.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Dan Dobre, Matthias Majuntke, Neeraj Suri	On the Time-Complexity of Robust and Amnesic Storage.	OPODIS	2008	DBLP DOI BibTeX RDF	distributed storage, Byzantine failures, wait-free algorithms
1	Stefan Dobrev, Rastislav Kralovic, Dana Pardubská	Leader Election in Extremely Unreliable Rings and Complete Networks.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Nicolas Schiper, Fernando Pedone	Solving Atomic Multicast When Groups Crash.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Emmanuelle Lebhar, Nicolas Schabanel	Graph Augmentation via Metric Embedding.	OPODIS	2008	DBLP DOI BibTeX RDF	Small world, metrics embedding, greedy routing
1	Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova	Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Björn Andersson	Uniprocessor EDF Scheduling with Mode Change.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Björn Andersson	Global Static-Priority Preemptive Multiprocessor Scheduling with Utilization Bound 38%.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Matthieu Roy, François Bonnet 0001, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell	Geo-registers: An Abstraction for Spatial-Based Distributed Computing.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Andrew Lutomirski, Victor Luchangco	Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Tiziana Calamoneri, Emanuele G. Fusco, Andrzej Pelc	Impact of Information on the Complexity of Asynchronous Radio Broadcasting.	OPODIS	2008	DBLP DOI BibTeX RDF
1	André Brinkmann, Sascha Effert	Redundant Data Placement Strategies for Cluster Storage Environments.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Antonio Fernández Anta, Alessia Milani	Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks.	OPODIS	2008	DBLP DOI BibTeX RDF	speed of movement towards solvability, Mobile ad-hoc network, distributed algorithms, geocast
1	Theodore P. Baker, Alain Bui, Sébastien Tixeuil (eds.)	Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings	OPODIS	2008	DBLP DOI BibTeX RDF
1	Björn B. Brandenburg, James H. Anderson	A Comparison of the M-PCP, D-PCP, and FMLPon LITMUSRT.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg	With Finite Memory Consensus Is Easier Than Reliable Broadcast.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Luís E. T. Rodrigues	On Replication of Software Transactional Memories.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	Ordering-Based Semantics for Software Transactional Memory.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Sanjoy K. Baruah, Joël Goossens	Deadline Monotonic Scheduling on Uniform Multiprocessors.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Joël Goossens, Dragomir Milojevic, Vincent Nélis	Power-Aware Real-Time Scheduling upon Dual CPU Type Multiprocessor Platforms.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Samia Souissi, Yan Yang, Xavier Défago	Fault-Tolerant Flocking in a k-Bounded Asynchronous System.	OPODIS	2008	DBLP DOI BibTeX RDF
1	David Coudert, Florian Huc, Dorian Mazauric	Computing and Updating the Process Number in Trees.	OPODIS	2008	DBLP DOI BibTeX RDF	process number, distributed algorithm, Pathwidth
1	Sayaka Kamei, Hirotsugu Kakugawa	A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence.	OPODIS	2008	DBLP DOI BibTeX RDF	Minimum connected dominating set, Mobile ad hoc or sensor networks, Fault-tolerance, Approximation, Self-stabilization
1	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
1	Vincent Gramoli, Derin Harmanci, Pascal Felber	Toward a Theory of Input Acceptance for Transactional Memories.	OPODIS	2008	DBLP DOI BibTeX RDF
1	Hyeong Seog Kim, Eunjin Jung, Heon Young Yeom	Load-Balanced and Sybil-Resilient File Search in P2P Networks.	OPODIS	2008	DBLP DOI BibTeX RDF	load balancing, peer-to-peer networks, File sharing, Sybil attack
1	Heinrich Moser, Ulrich Schmid 0001	Optimal Deterministic Remote Clock Estimation in Real-Time Systems.	OPODIS	2008	DBLP DOI BibTeX RDF	optimal clock synchronization, remote clock estimation, real-time systems, Distributed algorithms, computing models
1	Boaz Patt-Shamir, Dror Rawitz, Gabriel Scalosub	Distributed Approximation of Cellular Coverage.	OPODIS	2008	DBLP DOI BibTeX RDF
1	James Aspnes, Navin Rustagi, Jared Saia	Worm Versus Alert: Who Wins in a Battle for Control of a Large-Scale Network?.	OPODIS	2007	DBLP DOI BibTeX RDF	Self-certifying alert, epidemic processes, peer-to-peer, overlay network, worm, expander graphs
1	Baruch Awerbuch, Aviv Nisgav, Boaz Patt-Shamir	Asynchronous Active Recommendation Systems.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Antonio Fernández Anta, Miguel A. Mosteiro, Christopher Thraves	Deterministic Communication in the Weak Sensor Model.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert	Secretive Birds: Privacy in Population Protocols.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Philippe Duchon, Nicole Eggemann, Nicolas Hanusse	Non-Searchability of Random Power-Law Graphs.	OPODIS	2007	DBLP DOI BibTeX RDF	Routing, Distributed Algorithm, Random graphs
1	Christian Groß 0007, Holger Hermanns, Reza Pulungan	Does Clock Precision Influence ZigBee's Energy Consumptions?	OPODIS	2007	DBLP DOI BibTeX RDF	Sensor networks, formal modelling, clock drift, distributed coordination, power-aware design
1	Moshe Hoffman, Ori Shalev, Nir Shavit	The Baskets Queue.	OPODIS	2007	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and Swap, Non-blocking, Concurrent Data Structures, FIFO queue
1	Tiziana Calamoneri, Andrea E. F. Clementi, Emanuele G. Fusco, Riccardo Silvestri	Maximizing the Number of Broadcast Operations in Static Random Geometric Ad-Hoc Networks.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Eduardo Tovar, Philippas Tsigas, Hacène Fouchal (eds.)	Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings	OPODIS	2007	DBLP DOI BibTeX RDF
1	Eric Ruppert	The Anonymous Consensus Hierarchy and Naming Problems.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Sven Oliver Krumke, Peter Merz, Tim Nonner, Katharina Rupp	Distributed Approximation Algorithms for Finding 2-Edge-Connected Subgraphs.	OPODIS	2007	DBLP DOI BibTeX RDF
1	David Ilcinkas, Nicolas Nisse, David Soguet	The Cost of Monotonicity in Distributed Graph Searching.	OPODIS	2007	DBLP DOI BibTeX RDF	Monotonicity, Competitive ratio, Graph searching
1	Vincent Gramoli, Michel Raynal	Timed Quorum Systems for Large-Scale and Dynamic Environments.	OPODIS	2007	DBLP DOI BibTeX RDF	Probabilistic atomicity, Scalability, Time, Quorums, Churn
1	Olivier Beaumont, Anne-Marie Kermarrec, Etienne Rivière	Peer to Peer Multidimensional Overlays: Approximating Complex Structures.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Sanjoy K. Baruah, Nathan Fisher	Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems.	OPODIS	2007	DBLP DOI BibTeX RDF	real-time systems, schedulability analysis, Multiprocessor scheduling, global scheduling, sporadic tasks, Deadline Monotonic, arbitrary deadlines
1	Laurent Baduel, Satoshi Matsuoka	A Decentralized, Scalable, and Autonomous Grid Monitoring System.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Yoann Dieudonné, Franck Petit	Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated System.	OPODIS	2007	DBLP DOI BibTeX RDF	Distributed Leader Election, Sense of Direction, Chirality, Sensor Networks
1	Antonio Fernández Anta, Michel Raynal	From an Intermittent Rotating Star to a Leader.	OPODIS	2007	DBLP DOI BibTeX RDF	Assumption coverage, Eventual t-source, Moving source, Timely link, Fault-tolerance, Distributed algorithm, System model, Asynchronous system, Failure detector, Process crash, Partial synchrony, Omega, Message pattern, Eventual leader
1	Danny Dolev, Ezra N. Hoch, Robbert van Renesse	Self-stabilizing and Byzantine-Tolerant Overlay Network.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Paola Flocchini, David Ilcinkas, Andrzej Pelc, Nicola Santoro	Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots.	OPODIS	2007	DBLP DOI BibTeX RDF
1	François Bonnet 0001, Anne-Marie Kermarrec, Michel Raynal	Small-World Networks: From Theoretical Bounds to Practical Systems.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Theodore P. Baker, Michele Cirinei	Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
1	Chi Ho, Danny Dolev, Robbert van Renesse	Making Distributed Applications Robust.	OPODIS	2007	DBLP DOI BibTeX RDF	Ordered Broadcast, Byzantine Fault Tolerance
1	Philippe Mauran, Gérard Padiou, Philippe Quéinnec	Separability to Help Parallel Simulation of Distributed Computations.	OPODIS	2007	DBLP DOI BibTeX RDF	scheduling, causality, separability, parallel discrete event simulation
1	Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	On the Self-stabilization of Mobile Robots in Graphs.	OPODIS	2007	DBLP DOI BibTeX RDF
1	JunSuk Shin, Rajnish Kumar, Dushmanta Mohapatra, Umakishore Ramachandran, Mostafa H. Ammar	ASAP: A Camera Sensor Network for Situation Awareness.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Moumen Hamouma, Achour Mostéfaoui, Gilles Trédan	Byzantine Consensus with Few Synchronous Links.	OPODIS	2007	DBLP DOI BibTeX RDF	Eventually timely link, Fault tolerance, Distributed algorithm, Consensus, Resilience, Asynchronous distributed system, Byzantine process
1	Eli Gafni, Petr Kuznetsov	N-Consensus is the Second Strongest Object for N+1 Processes.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Rodrigo Schmidt, Fernando Pedone	A Formal Analysis of the Deferred Update Technique.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Vinodkrishnan Kulathumani, Anish Arora	Distance Sensitive Snapshots in Wireless Sensor Networks.	OPODIS	2007	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder	Clock Synchronization in the Byzantine-Recovery Failure Model.	OPODIS	2007	DBLP DOI BibTeX RDF
1	James Aspnes, Yinghua Wu	O(logn)-Time Overlay Network Construction from Graphs with Out-Degree 1.	OPODIS	2007	DBLP DOI BibTeX RDF	balanced search tree, fault tolerance, pipeline, Overlay network, self-stabilizing, randomization
1	Marios Mavronicolas, Loizos Michael, Paul G. Spirakis	Computing on a Partially Eponymous Ring.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Mirela Damian, Saurav Pandit, Sriram V. Pemmaraju	Distributed Spanner Construction in Doubling Metric Spaces.	OPODIS	2006	DBLP DOI BibTeX RDF
1	James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer (eds.)	Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers	OPODIS	2006	DBLP DOI BibTeX RDF
1	Baruch Awerbuch, Christian Scheideler	Robust Random Number Generation for Peer-to-Peer Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Bogdan S. Chlebus, Dariusz R. Kowalski, Tomasz Radzik	On Many-to-Many Communication in Packet Radio Networks.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda	Hop Chains: Secure Routing and the Establishment of Distinct Identities.	OPODIS	2006	DBLP DOI BibTeX RDF
1	César Sánchez 0001, Henny B. Sipma, Christopher D. Gill, Zohar Manna	Distributed Priority Inheritance for Real-Time and Embedded Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Nir Tzachar	Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Michel Raynal, Corentin Travers	In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.	OPODIS	2006	DBLP DOI BibTeX RDF	Leader oracle, Participating process, Consensus, Asynchronous system, Shared object, Atomic register, Set agreement, Asynchronous algorithm, Wait-free algorithm
1	Colin Cooper, Ralf Klasing, Tomasz Radzik	Searching for Black-Hole Faults in a Network Using Multiple Agents.	OPODIS	2006	DBLP DOI BibTeX RDF	black hole faults, mobile agent, Graph exploration
1	Shlomi Dolev, Ronen I. Kat, Elad Michael Schiller	When Consensus Meets Self-stabilization.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Aina Ravoaja	Incentive-Based Robust Reputation Mechanism for P2P Services.	OPODIS	2006	DBLP DOI BibTeX RDF	Reputation, peer-to-peer systems, credibility, free-riding, collusion
1	Butler W. Lampson	Lazy and Speculative Execution in Computer Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Seth Gilbert, Rachid Guerraoui, Calvin C. Newport	Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Jurek Czyzowicz, Leszek Gasieniec, Andrzej Pelc	Gathering Few Fat Mobile Robots in the Plane.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Heinrich Moser, Ulrich Schmid 0001	Optimal Clock Synchronization Revisited: Upper and Lower Bounds in Real-Time Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Rudi Cilibrasi, Zvi Lotker, Alfredo Navarra, Stephane Perennes, Paul M. B. Vitányi	About the Lifespan of Peer to Peer Networks, .	OPODIS	2006	DBLP DOI BibTeX RDF
1	Colette Johnen, Le Huy Nguyen	Robust Self-stabilizing Clustering Algorithm.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Nicolas Schiper, Rodrigo Schmidt, Fernando Pedone	Optimistic Algorithms for Partial Database Replication.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup	Lock-Free Dynamically Resizable Arrays.	OPODIS	2006	DBLP DOI BibTeX RDF	real-time systems, concurrency, C++, vector, lock-free, STL
1	Michael J. Fischer, Hong Jiang	Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Anna Philippou, George Michael	Verification Techniques for Distributed Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Murat Demirbas, Anish Arora, Vinod Kulathumani	Glance: A Lightweight Querying Service for Wireless Sensor Networks.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Emmanuel Godard, Yves Métivier, Rodrigue Ossamy	Mobile Agent Algorithms Versus Message Passing Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Mathieu Couture, Michel Barbeau, Prosenjit Bose, Evangelos Kranakis	Incremental Construction of k-Dominating Sets in Wireless Sensor Networks.	OPODIS	2006	DBLP DOI BibTeX RDF	fault-tolerance, approximation algorithms, distributed algorithms, dominating set, unit disk graph, maximal independent set
1	Vadim Drabkin, Roy Friedman, Maria Gradinariu	Self-stabilizing Wireless Connected Overlays.	OPODIS	2006	DBLP DOI BibTeX RDF

Publications at "OPODIS"( http://dblp.L3S.de/Venues/OPODIS )