Conferences in DBLP
Alan J. Demers Research Issues in Ubiquitous Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Inder S. Gopal Multimedia Networking: Applications and Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Howard , Shmuel Katz Reconciliations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cypher , Eric Leu Repeatable and Portable Message-Passing Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Martha J. Kosa Making Operations of Concurrent Data Types Fast. [Citation Graph (0, 0)][DBLP ] Conf ] Yehuda Afek , Gideon Stupp Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hagit Brit , Shlomo Moran Wait-Freedom vs. Bounded Wait-Freedom in Public Data Structures (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Gadi Taubenfeld Contention-free Complexity of Shared Memory Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Lily B. Mummert , Jeannette M. Wing , Mahadev Satyanarayanan Using Belief to Reason about Cache Coherence. [Citation Graph (1, 0)][DBLP ] Conf ] Martín Abadi , Leslie Lamport Open Systems in TLA. [Citation Graph (0, 0)][DBLP ] Conf ] Hsien-Kuang Chiou , Willard Korfhage ENF Event Predicate Detection in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Divyakant Agrawal , Manhoi Choy , Hong Va Leong , Ambuj K. Singh Mixed Consistency: A Model for Parallel Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ashwani Gahlot , Mohan Ahuja , Timothy Carlson Global Flush Communication Primitive for Inter-process Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Neves , Miguel Castro , Paulo Guedes A Checkpoint Protocol for an Entry Consistent Shared Memory System. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony LaMarca A Performance Evaluation of Lock-Free Synchronization Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Anderson , Mark Moir Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Amos Israeli , Lihu Rappoport Disjoint-Access-Parallel Implementations of Strong Shared Memory Primitives. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto De Prisco , Alain J. Mayer , Moti Yung Time-Optimal Message-Efficient Work Performance in the Presence of Faults (Extended Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Benny Chor , Lee-Bath Nelson Resilience of General Interactive Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ben-Or , Boaz Kelmer , Tal Rabin Asynchronous Secure Computations with Optimal Resilience (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] William Aiello , Ramarathnam Venkatesan , Moti Yung Coins, Weights and Contention in Balancing Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Costas Busch , Marios Mavronicolas A Combinatorial Treatment of Balancing Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Fraigniaud , Cyril Gavoille A Characterization of Networks Supporting Linear Interval Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Ben-Dor , Shai Halevi , Assaf Schuster Potential Function Analysis of Greedy Hot-Potato Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Ornan Ori Gerstel , Shmuel Zaks The Virtual Path Layout Problem in Fast Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] George Varghese Self-Stabilization by Counter Flushing. [Citation Graph (0, 0)][DBLP ] Conf ] Baruch Awerbuch , Rafail Ostrovsky Memory-Efficient and Self-Stabilizing Network {RESET} (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jeffery Westbrook , Lenore D. Zuck Adaptive Algorithms for PASO Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dalia Malki , Kenneth P. Birman , Aleta Ricciardi , André Schiper Uniform Actions in Asynchronous Distributed Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , Rüdiger Reischuk , H. Raymond Strong Observable Clock Synchronization (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Moses , Ben Bloom Knowledge, Timed Precedence and Clocks (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Isaac Saias , Roberto Segala Proving Time Bounds for Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Herlihy , Sergio Rajsbaum Set Consensus Using Arbitrary Objects (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Tushar Deepak Chandra , Vassos Hadzilacos , Prasad Jayanti , Sam Toueg Wait-Freedom vs. t-Resiliency and the Robustness of Wait-Free Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Rida A. Bazzi , Gary L. Peterson A Gap Theorem for Consensus Types (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rida A. Bazzi , Gary L. Peterson On the Use of Registers in Achieving Wait-Free Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth Borowsky , Eli Gafni , Yehuda Afek Consensus Power Makes (Some) Sense! (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Hakan Karaata , Sriram V. Pemmaraju , Steven C. Bruell , Sukumar Ghosh Self-Stabilizing Algorithms for Finding Centers and Medians of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Gurdip Singh Leader Election in the Presence of Link Failures (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jeffery C. Line , Sukumar Ghosh Stabilizing Algorithms for Diagnosing Crash Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Jard , Guy-Vincent Jourdan On the Coding of Dependencies in Distributed Computations (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joffroy Beauquier , Sylvie Delaët Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Marios Mavronicolas The Impact of Synchronization on the Session Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Injong Rhee A Fault-Tolerant Dynamic Resource Allocation Algorithm (Short Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nobuhisa Fujinami Implementation of Authenticated Communication Based on Hierarchy-Relative Naming Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Quéinnec , Gérard Padiou Derivation of Fault Tolerance Properties of Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Radestock , Susan Eisenbach Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Béat Hirsbrunner , Marc Aguilar , Oliver Krone CoLa: A Coordination Language for Massive Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Seung Ho Cho , Sang-Yong Han Dynamic Load Sharing Algorithm with a Weighted Load Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Genco , G. Lo Re A Recognize-and-Accuse Policy to Speed up Distributed Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Adelantado , Frédéric Boniol Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman , John Derrick Consistency and Conformance in ODP (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sakari Rahkila , Susanne Stenberg XMP++: An Object-Oriented Solution for Hiding the Complexity of Network Management Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Hacène Fouchal , Ana R. Cavalli A Compositional Verification Method for LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Kaisa Sere , Marina A. Waldén Verification of a Distributed Algorithm (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Paul Curzon The Formal Verification of an ATM Network. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Nitsche A Verification Method Based on Homomorphic Model Abstractions (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman , John Derrick , Richard Jones Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sen Yoshida , Atsushi Togashi , Norio Shiratori Integrated Support Environment for Concurrent Process Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Gil Neiger Set-Linearizability. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Steere , Mahadev Satyanarayanan , Jeannette M. Wing Dynamic Sets for Search. [Citation Graph (0, 0)][DBLP ] Conf ] Miklós Ajtai , James Aspnes , Cynthia Dwork , Orli Waarts Competitiveness in Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Laura S. Sabel , Keith Marzullo Simulating Fail-Stop in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jehoshua Bruck , Danny Dolev , Ching-Tien Ho , Rimon Orni , H. Raymond Strong PCODE: Efficient Parallel Computing over Distributed Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Lior Shabtay , Adrian Segall On the Memory Overhead of Distributed Snapshots. [Citation Graph (0, 0)][DBLP ] Conf ] Sudhanshu Aggarwal , Juan A. Garay , Amir Herzberg Adaptive Video on Demand. [Citation Graph (0, 0)][DBLP ] Conf ] Paul G. Spirakis , Basil Tampakas Distributed Pursuit-Evasion: Some Aspects of Privacy and Security in Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Costas Busch , Nikos Hardavellas , Marios Mavronicolas Contention in Counting Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 