Search results for "OPODIS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Neeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling	Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Samia Souissi, Xavier Défago, Masafumi Yamashita	Gathering Asynchronous Mobile Robots with Inaccurate Compasses.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Alexander A. Shvartsman (eds.)	Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings	OPODIS	2006	DBLP DOI BibTeX RDF
1	Burkhard Englert	On the Cost of Uniform Protocols Whose Memory Consumption Is Adaptive to Interval Contention.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Maurice Herlihy, Bastian Pochon	A Topological Treatment of Early-Deciding Set-Agreement.	OPODIS	2006	DBLP DOI BibTeX RDF	early global decision, lower bound, topology, time complexity, Set-agreement
1	Eli Gafni	Renaming with k-Set-Consensus: An Optimal Algorithm into n + k - 1 Slots.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Teruo Higashino (eds.)	Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers	OPODIS	2005	DBLP DOI BibTeX RDF
1	HariGovind V. Ramasamy, Christian Cachin	Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Prasad Jayanti, Srdjan Petrovic	Efficiently Implementing a Large Number of LL/SC Objects.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Kevin M. Lillis, Sriram V. Pemmaraju	Topology Control with Limited Geometric Information.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Nathan Fisher, Sanjoy K. Baruah	The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Donald Darling, Jean Mayo, Xinli Wang	Stable Predicate Detection in Dynamic Systems.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Young-ri Choi	A State-Based Model of Sensor Protocols.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang	Self-stabilizing Population Protocols.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Janna Burman, Ted Herman, Shay Kutten, Boaz Patt-Shamir	Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Tao Sun, Morihiko Tamai, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Masaaki Mori	MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users.	OPODIS	2005	DBLP DOI BibTeX RDF	video multicast, QoS, transcode, service overlay networks
1	Jean-François Hermant, Josef Widder	Implementing Reliable Distributed Real-Time Systems with the Theta-Model.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso	Optimal Randomized Fair Exchange with Secret Shared Coins.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Kishori M. Konwar, Dariusz R. Kowalski, Alexander A. Shvartsman	Node Discovery in Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	Distributed algorithms, resource discovery
1	Giorgio C. Buttazzo	Real-Time Issues in Mobile Wireless Networks.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Burkhard Englert, Darin Goldstein	Can Memory Be Used Adaptively by Uniform Algorithms?	OPODIS	2005	DBLP DOI BibTeX RDF
1	Toshimitsu Masuzawa, Sébastien Tixeuil	A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
1	Björn Andersson, Eduardo Tovar	Static-Priority Scheduling of Sporadic Messages on a Wireless Channel.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert	On the Power of Anonymous One-Way Communication.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Ittai Abraham, James Aspnes, Jian Yuan	Skip B-Trees.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Roland Gémesi, Nirvana Meratnia, Paul J. M. Havinga	Quality-Aware Resource Management for Wireless Sensor Networks.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Ralf Klasing, Euripides Markou, Tomasz Radzik, Fabiano Sarracco	Approximation Bounds for Black Hole Search Problems.	OPODIS	2005	DBLP DOI BibTeX RDF	black hole search, approximation algorithm, mobile agent, inapproximability, graph exploration
1	Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Reconfigurable Distributed Storage for Dynamic Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	atomic objects, performance, Distributed algorithms, reconfiguration
1	Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte	Timed Virtual Stationary Automata for Mobile Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	location-aware distributed computing, fault tolerance/availability, Ad-hoc networks, mobile computing, virtual machine, state replication, virtual infrastructure
1	Roy Friedman, Michel Raynal, Corentin Travers	Two Abstractions for Implementing Atomic Objects in Dynamic Systems.	OPODIS	2005	DBLP DOI BibTeX RDF	Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive
1	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit	A Lazy Concurrent List-Based Set Algorithm.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Marko Bertogna, Michele Cirinei, Giuseppe Lipari	New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Marcin Bienkowski, Miroslaw Korzeniowski	Bounding Communication Cost in Dynamic Load Balancing of Distributed Hash Tables.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Edgar Chávez, Stefan Dobrev, Evangelos Kranakis, Jaroslav Opatrny, Ladislav Stacho, Héctor Tejeda, Jorge Urrutia	Half-Space Proximal: A New Local Test for Extracting a Bounded Dilation Spanner of a Unit Disk Graph.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Hagit Attiya, David Hay, Jennifer L. Welch	Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Ling Cheung	Randomized Wait-Free Consensus Using an Atomicity Assumption.	OPODIS	2005	DBLP DOI BibTeX RDF	Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking
1	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
1	David Peleg	Distributed Algorithms for Systems of Autonomous Mobile Robots.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy	Towards a Theory of Self-organization.	OPODIS	2005	DBLP DOI BibTeX RDF
1	Paul Groth, Michael Luck, Luc Moreau 0001	A Protocol for Recording Provenance in Service-Oriented Grids.	OPODIS	2004	DBLP DOI BibTeX RDF	recording provenance, web services, grids, provenance, lineage
1	Sukumar Ghosh, Kevin M. Lillis, Saurav Pandit, Sriram V. Pemmaraju	Robust Topology Control Protocols.	OPODIS	2004	DBLP DOI BibTeX RDF	topology control protocols, fault-tolerance, robustness, Ad-hoc wireless networks, k-connectivity
1	Yosuke Ito, Hiroshi Mineno, Susumu Ishihara	A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	incentive of forwarding, SHAKE, ad hoc network, mobile computing, fairness, cooperation, mobile IP, accounting, multiple paths
1	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
1	Rui Fan 0004, Indraneel Chakraborty, Nancy A. Lynch	Clock Synchronization for Wireless Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
1	I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra	A UNITY-Based Framework Towards Component Based Systems.	OPODIS	2004	DBLP DOI BibTeX RDF	component based applications, verification, compositionality
1	Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa	A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Evangelos Kranakis, Danny Krizanc, Eric Williams 0002	Directional Versus Omnidirectional Antennas for Energy Consumption and k-Connectivity of Networks of Sensors.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Patrice Laurençot, Sébastien Salva	Testing Mobile and Distributed Systems: Method and Experimentation.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain	Snap-Stabilizing Depth-First Search on Arbitrary Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, stabilization, depth-first search
1	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Adnan Vora, Mikhail Nesterenko	Secure Location Verification Using Radio Broadcast.	OPODIS	2004	DBLP DOI BibTeX RDF	security, wireless sensor networks, location verification
1	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Self-tuning Reactive Distributed Trees for Counting and Balancing.	OPODIS	2004	DBLP DOI BibTeX RDF
1	James Broberg, Zahir Tari, Panlop Zeephongsekul	Task Assignment Based on Prioritising Traffic Flows.	OPODIS	2004	DBLP DOI BibTeX RDF	heavy-tailed workloads, load balancing, supercomputing, task assignment, load sharing, scheduling policies
1	Li Gao, Grzegorz Malewicz	Internet Computing of Tasks with Dependencies Using Unreliable Workers.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Filipe Araújo, Luís E. T. Rodrigues	Fast Localized Delaunay Triangulation.	OPODIS	2004	DBLP DOI BibTeX RDF	Location-based routing schemes, Wireless ad hoc networks, Delaunay triangulation
1	Marina Papatriantafilou, Philippe Hunel (eds.)	Principles of Distributed Systems, 7th International Conference, OPODIS 2003 La Martinique, French West Indies, December 10-13, 2003 Revised Selected Papers	OPODIS	2004	DBLP DOI BibTeX RDF
1	Ittai Abraham, Yonatan Amit, Danny Dolev	Optimal Resilience Asynchronous Approximate Agreement.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Alina Bejan, Sukumar Ghosh	Self-optimizing DHTs Using Request Profiling.	OPODIS	2004	DBLP DOI BibTeX RDF	routing latency, clustering, stabilization, distributed hash tables, overlay network, P2P network, self-optimization
1	Jurek Czyzowicz, Dariusz R. Kowalski, Euripides Markou, Andrzej Pelc	Searching for a Black Hole in Tree Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	algorithm, mobile agent, tree, black hole
1	Mohamed G. Gouda, Young-ri Choi, Anish Arora	Sentries and Sleepers in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sentry election, Sentry-Sleeper protocol, Sensor Networks, Self-stabilization, Energy management
1	Jean-Loup Guillaume, Matthieu Latapy, Clémence Magnien	Comparison of Failures and Attacks on Random and Scale-Free Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Paola Flocchini, Linda Pagli, Giuseppe Prencipe, Nicola Santoro, Peter Widmayer, Tranos Zuva	Computing All the Best Swap Edges Distributively.	OPODIS	2004	DBLP DOI BibTeX RDF
1	David Lee 0001, Christine Liu, Mihalis Yannakakis	Protocol System Integration, Interface and Interoperability.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Brent N. Chun	DART: Distributed Automated Regression Testing for Large-Scale Network Applications.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Francisco J. Torres-Rojas, Esteban Meneses	Analyzing Convergence in Consistency Models for Distributed Objects.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Joseph Sifakis	Embedded Systems - Challenges and Work Directions.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu	Firewall Queries.	OPODIS	2004	DBLP DOI BibTeX RDF	Firewall Queries, Network Security, Firewalls
1	Masahiko Fukuhara, Fumiaki Hirose, Tomoya Hatano, Hiroshi Shigeno, Ken-ichi Okada	SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Håkan Sundell, Philippas Tsigas	Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Diego Moreira de Araujo Carvalho, Fábio Protti, Massimo De Gregorio, Felipe M. G. França	A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load.	OPODIS	2004	DBLP DOI BibTeX RDF	dining philosophers problem, distributed traffic light control, graph dynamics, distributed algorithms, mutual exclusion, resource-sharing
1	Seth Gilbert, Grzegorz Malewicz	The Quorum Deployment Problem.	OPODIS	2004	DBLP DOI BibTeX RDF	fault-tolerance, combinatorial optimization, quorum systems
1	Hirotsugu Kakugawa, Masafumi Yamashita	A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	ad-hoc network, self-stabilization, spanning tree, token circulation
1	Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar	Transient Model for Jackson Networks and Its Approximation.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Neil Gershenfeld	Distributing Bits and Atoms.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel	Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Jiro Uchida, Wei Chen 0003, Koichi Wada 0001	Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks.	OPODIS	2003	DBLP DOI BibTeX RDF	broadcasting, distributed, gossiping, radio network, deterministic
1	Maarten van Steen	Towards Very Large, Self-Managing Distributed Systems: Extended Abstract.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Jo C. Ebergen	Circuits Without Clocks: What Makes Them Tick?	OPODIS	2003	DBLP DOI BibTeX RDF
1	Jaap-Henk Hoepman	Splitters: Objects for Online Partitioning.	OPODIS	2003	DBLP DOI BibTeX RDF	splitters, divide & conquer, asynchronous communication, shared objects
1	Stefan Dobrev, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro	Multiple Agents RendezVous in a Ring in Spite of a Black Hole.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Khaled Chaaban, Paul Crubillé, Mohamed Shawky	Real-Time Framework for Distributed Embedded Systems.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi	A Peer-to-Peer Approach to Enhance Middleware Connectivity.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Bram De Wachter, Thierry Massart, Cédric Meuter	dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	transparent code distribution, execution migration, Industrial process control
1	Ariel Daliot, Danny Dolev, Hanna Parnas	Linear Time Byzantine Self-Stabilizing Clock Synchronization.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Luc Onana Alima, Ali Ghodsi 0002, Per Brand, Seif Haridi	Multicast in DKS(N, k, f) Overlay Networks.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Ranganath Atreya, Neeraj Mittal, Vijay K. Garg	Detecting Locally Stable Predicates Without Modifying Application Messages.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Dariusz R. Kowalski, Mariam Momenzadeh, Alexander A. Shvartsman	Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	fault-tolerance, communication, Distributed algorithm, quorums, work
1	Ernesto Jiménez, Antonio Fernández 0001, Vicent Cholvi	Decoupled Interconnection of Distributed Memory Models.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Kazuhiro Kojima	Self-Organization Approach of Communities for P2P Networks.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Vivien Quéma, Emmanuel Cecchet	The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience.	OPODIS	2003	DBLP DOI BibTeX RDF	Middleware, components, configuration, architecture description languages
1	Cecilia Ekelin, Jan Jonsson	A Lower-Bound Algorithm for Load Balancing in Real-Time Systems.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Hacène Fouchal, Antoine Rollet	A Simple Testing Technique for Embedded Systems.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Alper Sen 0001, Vijay K. Garg	Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.	OPODIS	2003	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Transformations for Write-All-with-Collision Model.	OPODIS	2003	DBLP DOI BibTeX RDF	Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
1	Rolando Francisco Vallejo, Edgar Emmanuel Vallejo, Roberto Gómez Cárdenas	The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization.	OPODIS	2002	DBLP BibTeX RDF
1	Christian Laforest	A good balance between weight and distances for multipoint trees.	OPODIS	2002	DBLP BibTeX RDF
1	Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa	Managing Dependencies in Dynamic Collaborations using Coordination Diagrams.	OPODIS	2002	DBLP BibTeX RDF
1	Clément Delamare, Yvon Gardan, Patrice Moreaux	Verification of CORBA systems with composition of Well Formed Nets.	OPODIS	2002	DBLP BibTeX RDF
1	Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet	Functional Architecture of the NODS Fault Tolerance Framework.	OPODIS	2002	DBLP BibTeX RDF
1	Leslie Lamport	Paxos Made Simple, Fast, and Byzantine.	OPODIS	2002	DBLP BibTeX RDF

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