Conferences in DBLP
Mahadev Satyanarayanan Fundamental Challenges in Mobile Computing. [Citation Graph (0, 0)][DBLP ] Conf ] J. D. Tygar Atomicity in Electronic Commerce. [Citation Graph (1, 0)][DBLP ] Conf ] Shlomi Dolev , Mohamed G. Gouda , Marco Schneider Memory Requirements for Silent Stabilization (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Adam M. Costello , George Varghese Self-Stabilization by Window Washing. [Citation Graph (0, 0)][DBLP ] Conf ] Sukumar Ghosh , Arobinda Gupta , Ted Herman , Sriram V. Pemmaraju Fault-Containing Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Baldoni , Jean-Michel Hélary , Michel Raynal About State Recording in Asynchronous Computations (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Goldweber , Donald B. Johnson Minimizing Access Costs in Replicated Distributed Syste (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Sergio Rajsbaum On the Borowsky-Gafni Simulation Algorithm (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Alvisi , Keith Marzullo Trade-Offs in Implementing Optimal Message Logging Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Idit Keidar , Danny Dolev Efficient Message Ordering in Dynamic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Injong Rhee , Chi-Yung Lee An Efficient Recovery-Based Spin Lock Protocol for Preemptive Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Ajay D. Kshemkalyani , Mukesh Singhal An Optimal Algorithm for Generalized Causal Message Ordering (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Venkatesh V. Murty , Vijay K. Garg Characterization of Message Ordering Specifications and Protocols (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Baldoni , Ravi Prakash , Michel Raynal , Mukesh Singhal Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy B. Sussman , Keith Marzullo Comparing Primary-Backup and State Machines for Crash Failures (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Wil Janssen Refining Knowledge Oriented Actions to Layered Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund , Mogens Nielsen , Kim Sunesen Automated Logical Verification Based on Trace Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Paul C. Attie , E. Allen Emerson Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Evelyn Tumlin Pierce Synthesis of Distributed Control Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sandeep K. Shukla , Harry B. Hunt III , Daniel J. Rosenkrantz , S. S. Ravi , Richard Edwin Stearns I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Ambroise , Brigitte Rozoy Using Events Structures for the Efficient Analysis of State Graphs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John L. Bruno , Phillip B. Gibbons , Steven Phillips Testing Concurrent Data Structures (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Cyril Gavoille , Stephane Perennes Memory Requirements for Routing in Distributed Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Jaap-Henk Hoepman , Paul M. B. Vitányi Optimal Routing Tables. [Citation Graph (0, 0)][DBLP ] Conf ] James Aspnes , William Hurwood Spreading Rumors Rapidly Despite and Adversary. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Moir , Juan A. Garay Fast, Long-Lived Renaming Improved and Simplified (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Evangelos Kranakis , Danny Krizanc , Andrzej Pelc , David Peleg The Complexity of Data Mining on the Web (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Esteban Feuerstein , Stefano Leonardi , Alberto Marchetti-Spaccamela , Nicola Santoro Efficient Token-Based Control in Rings (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sonne Preminger , Eli Upfal Efficient Traffic Laws for Mobile Robots - Work in Progress (Avstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yuh-Jzer Joung Strong-Feasibilities of Equivalence-Completions. [Citation Graph (0, 0)][DBLP ] Conf ] Tushar Deepak Chandra Polylog Randomized Wait-Free Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Phillip B. Gibbons , Yossi Matias , Vijaya Ramachandran Asynchrony versus Bulk-Synchrony in QRQW PRAM model (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Frank A. Stomp , Gadi Taubenfeld Constructing a Reliable Test&Set Bit (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sibsankar Haldar , K. Vidyasankar Space-Efficient Construction of Buffer-Optimal 1-Writer 1-Reader Multivalued Atomic Variable (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christos Bouras , Vaggelis Kapoulas , Grammati E. Pantziou , Paul G. Spirakis Randomized Adaptive Video on Demand (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Esther Jennings , Lenka Motyckova Distributed Algorithms for Sparse k-Connectivity Certificates (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Eyal Kushilevitz , Yishay Mansour Randomness in Private Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Mihir Bellare , Juan A. Garay , Tal Rabin Distributed Pseudo-Random Bit Generators - A New Way to Speed-Up Shared Coin Tossing. [Citation Graph (0, 0)][DBLP ] Conf ] Arkady Zamsky A Randomized Byzantine Agreement Protocol with Constant Expected Time and Guaranteed Termination in Optimal (Deterministic) Time. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel-Catalin Rosu Early-Stopping Terminating Reliable Broadcast Protocol for General Omission Failures (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Shlomi Dolev , Evangelos Kranakis , Danny Krizanc Baked Potatoes: Deadlock Prevention Via Scheduling (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yair Frankel , Peter Gemmell , Moti Yung Witness-Based Cryptographic Program Checking and Applications (an Announcement). [Citation Graph (0, 0)][DBLP ] Conf ] Yehuda Afek , Yishay Mansour , Zvi Ostfeld On the Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Brief Announcement). [Citation Graph (0, 0)][DBLP ] Conf ] Yehuda Afek , Michael Merritt , Gadi Taubenfeld The Power of Multi-objects (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hagit Attiya , Eyal Dagan Universal Operations: Unary versus Binary (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Srikanth Ramamurthy , Mark Moir , James H. Anderson Real-Time Object Sharing with Minimal System Support (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John D. Valois Space Bounds for Transactional Synchronization (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Martha J. Kosa What Critical Algebraic Property Allows Operations of Concurrent Abstract Data Types to be Fast? (Brief Announement). [Citation Graph (0, 0)][DBLP ] Conf ] Soma Chaudhuri , Sundar Kanthadai , Jennifer L. Welch The Role of Data-Race-Free Programs in Recoverable DSM (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Anindya Basu , Bernadette Charron-Bost , Sam Toueg Crash Failures vs. Crash + Link Failures (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mahesh Jayaram , George Varghese Crash Failures can Drive Protocols to Arbitrary States. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Jayanti , King Tan , Sam Toueg Time and Space Lower Bounds for Non-Blocking Implementations (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Maged M. Michael , Michael L. Scott Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Eli Gafni A Proof of a Theorem in Algebraic Topology by a Distributed Algorithm (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Marios Mavronicolas Wait-Free Solvability Via Combinatorial Topology (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Eli Gafni Simulation as an Iterated Task (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Herlihy , Sergio Rajsbaum On the Decidability of Distributed Decision Tasks (Brief Announcement). [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Nir Shavit , Alexander A. Shvartsman , Dan Touitou Counting Networks are Practically Linearizable. [Citation Graph (0, 0)][DBLP ] Conf ] David Peleg , Avishai Wool How to be an Efficient Snoop, or the Probe Complexity of Quorum Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Alan Fekete , David Gupta , Victor Luchangco , Nancy A. Lynch , Alexander A. Shvartsman Eventually-Serializable Data Services. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal , Gérard Thia-Kime , Mustaque Ahamad From Serializable to Causal Transactions (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Costas Busch , Marios Mavronicolas The Strength of Counting Networks (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Auer , Pasquale Caianiello , Nicolò Cesa-Bianchi Tight Bounds on the Cumulative Profit of Distributed Voters (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lenore Cowen , Rudolf Mathar The Offset Problem (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Flaviu Cristian Fail-Awareness in Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tushar Deepak Chandra , Vassos Hadzilacos , Sam Toueg On the Impossibility of Group Membership. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Neiger A New Look at Membership Services (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Cynthia Dwork , Ching-Tien Ho , H. Raymond Strong Collective Consistency (Work in Progress, Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Aleta Ricciardi Impossibility of (Repeated) Reliable Broadcast (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , Dalia Malki , H. Raymond Strong A Framework for Partitionable Membership Service (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yair Amir , Avishai Wool Evaluating Quorum Systems Over the Internet (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 