Kenneth P. Birman

Orcid: 0000-0003-2400-149X

Affiliations:
  • Cornell University, Ithaca, USA


According to our database1, Kenneth P. Birman authored at least 198 papers between 1979 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1999, "For development of virtual synchrony and demonstrating its application to fault-tolerant distributed computing --not just in theory, but in commercial and production settings.".

IEEE Fellow

IEEE Fellow 2015, "For leadership in distributed computing and management of distributed systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compass: A Decentralized Scheduler for Latency-Sensitive ML Workflows.
CoRR, 2024

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Navigator: A Decentralized Scheduler for Latency-Sensitive AI Workflows.
Proceedings of the IEEE International Conference on Edge Computing and Communications, 2024

Digital Twin-Driven Teat Localization and Shape Identification for Dairy Cow (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Low-Latency ML Inference by Grouping Correlated Data Objects and Computation.
CoRR, 2023

Cascade: A Platform for Delay-Sensitive Edge Intelligence.
CoRR, 2023

Dash: A Low Code Development Platform for AI Applications in Industry.
Proceedings of the 14th IEEE Annual Ubiquitous Computing, 2023

Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2022
Cascade: An Edge Computing Platform for Real-time Machine Intelligence.
Proceedings of the ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, 2022

Stabilizer: Geo-Replication with User-defined Consistency.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Spindle: Techniques for Optimizing Atomic Multicast on RDMA.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

2021
DerechoDDS: Strongly Consistent Data Distribution for Mission-Critical Applications.
Proceedings of the 2021 IEEE Military Communications Conference, 2021

2020
Reliable, Efficient Recovery for Complex Services with Replicated Subsystems.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

2019
GridCloud: Infrastructure for Cloud-Based Wide Area Monitoring of Bulk Electric Power Grids.
IEEE Trans. Smart Grid, 2019

Anonymous, Fault-Tolerant Distributed Queries for Smart Devices.
ACM Trans. Cyber Phys. Syst., 2019

Cloud-Hosted Intelligence for Real-time IoT Applications.
ACM SIGOPS Oper. Syst. Rev., 2019

2018
Derecho: Fast State Machine Replication for Cloud Services.
ACM Trans. Comput. Syst., 2018

RDMC: A Reliable RDMA Multicast for Large Objects.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Building smart memories and high-speed cloud services for the internet of things with derecho.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Treating software-defined networks like disk arrays.
Proceedings of the IEEE NetSoft Conference and Workshops, 2016

Experience with 3 SDN Controllers in an Enterprise Setting.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

The Freeze-Frame File System.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2015
Building a Secure and Privacy-Preserving Smart Grid.
ACM SIGOPS Oper. Syst. Rev., 2015

Evolution of fault tolerance.
Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015

Cache Serializability: Reducing Inconsistency in Edge Transactions.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

2014
Practical Experience Report: The Performance of Paxos in the Cloud.
CoRR, 2014

Controlled Transactional Consistency for Web Caching.
CoRR, 2014

A brief overview of the NEBULA future internet architecture.
Comput. Commun. Rev., 2014

The Performance of Paxos in the Cloud.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Distributional differential privacy for large-scale smart metering.
Proceedings of the ACM Information Hiding and Multimedia Security Workshop, 2014

Characterizing Load Imbalance in Real-World Networked Caches.
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

MiCA: A Compositional Architecture for Gossip Protocols.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Ironstack: Performance, Stability and Security for Power Grid Data Networks.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Mission-Critical Cloud Computing for Critical Infrastructures.
Proceedings of the Smart Grids - Clouds, Communications, Open Source, and Automation., 2014

2013
Integrated Approach to Data Center Power Management.
IEEE Trans. Computers, 2013

An analysis of Facebook photo caching.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Hosting dynamic data in the cloud with Isis2 and the Ida DHT.
Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013

Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013


Application-driven TCP recovery and non-stop BGP.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Evaluating Cloud Computing Techniques for Smart Power Grid Design Using Parallel Scripting.
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013

2012
Overcoming CAP with Consistent Soft-State Replication.
Computer, 2012

Brief announcement: live streaming with utilities, quality and cost.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Guide to Reliable Distributed Systems - Building High-Assurance Applications and Cloud-Hosted Services.
Texts in Computer Science, Springer, ISBN: 978-1-4471-2416-0, 2012

2011
Maelstrom: transparent error correction for communication between data centers.
IEEE/ACM Trans. Netw., 2011

Routers for the Cloud: Can the Internet Achieve 5-Nines Availability?
IEEE Internet Comput., 2011

Beyond Power Proportionality: Designing Power-Lean Cloud Storage.
Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

2010
Optimizing information flow in the gossip objects platform.
ACM SIGOPS Oper. Syst. Rev., 2010

Storing and accessing live mashup content in the cloud.
ACM SIGOPS Oper. Syst. Rev., 2010

A History of the Virtual Synchrony Replication Model.
Proceedings of the Replication: Theory and Practice, 2010

Brief announcement: sources of instability in data center multicast.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Kevlar: A Flexible Infrastructure for Wide-Area Collaborative Applications.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Sources of instability in data center multicast.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Exact temporal characterization of 10 Gbps optical wide-area network.
Proceedings of the 10th ACM SIGCOMM Internet Measurement Conference, 2010

Dr. multicast: Rx for data center communication scalability.
Proceedings of the European Conference on Computer Systems, 2010

Self-Replicating Objects for Multicore Platforms.
Proceedings of the ECOOP 2010, 2010

Empirical characterization of uncongested optical lambda networks and 10GbE commodity endpoints.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Quilt: a patchwork of multicast regions.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2009
Adaptive Gravitational Gossip: A Gossip-Based Communication Protocol with User-Selectable Rates.
IEEE Trans. Parallel Distributed Syst., 2009

Slicing Distributed Systems.
IEEE Trans. Computers, 2009

Code-partitioning gossip.
ACM SIGOPS Oper. Syst. Rev., 2009

Toward a cloud computing research agenda.
SIGACT News, 2009

The Monoculture Risk Put into Context.
IEEE Secur. Priv., 2009

Edge Mashups for Service-Oriented Collaboration.
Computer, 2009

Viewpoint - Program committee overload in systems.
Commun. ACM, 2009

Distributed data flow language for multi-party protocols.
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009

Privacy enforcement for distributed healthcare queries.
Proceedings of the 3rd International Conference on Pervasive Computing Technologies for Healthcare, 2009

GO: Platform Support For Gossip Applications.
Proceedings of the Proceedings P2P 2009, 2009

Sharing Private Information Across Distributed Databases.
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing Logic.
Proceedings of the IEEE International Conference on Web Services, 2009

Building Collaboration Applications that Mix Web Services Hosted Content with P2P Protocols.
Proceedings of the IEEE International Conference on Web Services, 2009

Rethinking Multicast for Massive-Scale Platforms.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Smoke and Mirrors: Reflecting Files at a Geographically Remote Location Without Loss of Performance.
Proceedings of the 7th USENIX Conference on File and Storage Technologies, 2009

Implementing reliable event streams in large systems via distributed data flows and recursive delegation.
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

2008
SENSTRAC: scalable querying of sensor networks from mobile platforms using tracking-style queries.
Int. J. Sens. Networks, 2008

A fast distributed slicing algorithm.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Overcoming Challenges of Maturity.
Proceedings of the Workshop on Organizing Workshops, 2008

Maelstrom: Transparent Error Correction for Lambda Networks.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Quicksilver Scalable Multicast (QSM).
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Using live distributed objects for office automation: demo proposal.
Proceedings of the Middleware 2008, 2008

Using live distributed objects for office automation.
Proceedings of the Middleware 2008, 2008

Dr. Multicast: Rx for data center communication scalability.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Dr. Multicast: Rx for Datacenter Communication Scalability.
Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

Programming with Live Distributed Objects.
Proceedings of the ECOOP 2008, 2008

Tempest: Soft state replication in the service tier.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
The promise, and limitations, of gossip protocols.
ACM SIGOPS Oper. Syst. Rev., 2007

Extensible Architecture for High-Performance, Scalable, Reliable Publish-Subscribe Eventing and Notification.
Int. J. Web Serv. Res., 2007

Active and passive techniques for group size estimation in large-scale and dynamic distributed systems.
J. Syst. Softw., 2007

Live Distributed Objects: Enabling the Active Web.
IEEE Internet Comput., 2007

Ricochet: Lateral Error Correction for Time-Critical Multicast.
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

Exploiting Gossip for Self-Management in Scalable Event Notification Systems.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

Optimizing Power Consumption in Large Scale Storage Systems.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Scalable Multicast Platforms for a New Generation of Robust Distributed Applications.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006
The Untrustworthy Web Services Revolution.
Computer, 2006

Navigating in the Storm: Using Astrolabe to Adaptively Configure Web Services and Their Clients.
Clust. Comput., 2006

A Scalable Services Architecture.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

PLATO: Predictive Latency-Aware Total Ordering.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Cognitive Adaptive Radio Teams.
Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

Network-Aware Adaptation Techniques for Mobile File Systems.
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

MISTRAL: : efficient flooding in mobile ad-hoc networks.
Proceedings of the 7th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2006

Extensible Web Services Architecture for Notification in Large-Scale Systems.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Scalable group communication system for scalable trust.
Proceedings of the 1st ACM Workshop on Scalable Trusted Computing, 2006

Scalable trust: engineering challenge or complexity barrier?
Proceedings of the 1st ACM Workshop on Scalable Trusted Computing, 2006

2005
dcOvercoming Communications Challenges in Software for Monitoring and Controlling Power Systems.
Proc. IEEE, 2005

In Computers We Trust.
IEEE Distributed Syst. Online, 2005

Can Web Services Scale Up?
Computer, 2005

Opening remarks.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Decentralized Schemes for Size Estimation in Large and Dynamic Groups.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Slingshot: Time-Critical Multicast for Clustered Applications.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

2004
Like it or not, web services are distributed objects.
Commun. ACM, 2004

Adding High Availability and Autonomic Behavior to Web Services.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining.
ACM Trans. Comput. Syst., 2003

The League of SuperNets.
IEEE Internet Comput., 2003

IEEE Internet Computing: Peer To Peer - The League of SuperNets.
IEEE Distributed Syst. Online, 2003

The power of epidemics: robust communication for large-scale distributed systems.
Comput. Commun. Rev., 2003

Distributed simulation in manufacturing: EPOCHS: integrated commercial off-the-shelf software for agent-based electric power and communication simulation.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Kelips: Building an Efficient and Stable P2P DHT through Increased Memory and Background Overhead.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Evaluation of an Adaptive Transport Protocol.
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Navigating in the Storm: Using Astrolabe for Distributed Self-Configuration, Monitoring and Adaptation.
Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

A churn-resistant peer-to-peer web caching system.
Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

Holistic Operations in Large-Scale Sensor Network Systems: A Probabilistic Peer-to-Peer Approach.
Proceedings of the Future Directions in Distributed Computing, 2003

The Surprising Power of Epidemic Communication.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
Using AVL trees for fault-tolerant group key management.
Int. J. Inf. Sec., 2002

Scalable Management and Data Mining Using Astrolabe.
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

A Collaborative Infrastructure for Scalable and Robust News Delivery.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

Optimizing Buffer Management for Reliable Multicast.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Technology challenges for virtual overlay networks.
IEEE Trans. Syst. Man Cybern. Part A, 2001

The architecture and performance of security protocols in the ensemble group communication system: Using diamonds to guard the castle.
ACM Trans. Inf. Syst. Secur., 2001

Scalability Challenges and Solutions for Emerging Networks.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

A Randomized Error Recovery Algorithm for Reliable Multicast.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Providing Efficient, Robust Error Recovery Through Randomization.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

A Gossip Protocol for Subgroup Multicast.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Anonymous Gossip: Improving Multicast Reliability in Mobile Ad-Hoc Networks.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Scalable Fault-Tolerant Aggregation in Large Process Groups.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
A Dynamic Light-Weight Group Service.
J. Parallel Distributed Comput., 2000

The Next-Generation Internet: Unsafe at Any Speed?
Computer, 2000

A Probabilistically Correct Leader Election Protocol for Large Groups.
Proceedings of the Distributed Computing, 14th International Conference, 2000

Optimized Rekey for Group Communication Systems.
Proceedings of the Network and Distributed System Security Symposium, 2000

Throughput Stability of Reliable Multicast Protocols.
Proceedings of the Advances in Information Systems, First International Conference, 2000

1999
Bimodal Multicast.
ACM Trans. Comput. Syst., 1999

Middleware support for distributed multimedia and collaborative computing.
Softw. Pract. Exp., 1999

A Review of Experiences with Reliable Multicast.
Softw. Pract. Exp., 1999

Building reliable, high-performance communication systems from components.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Efficient Buffering in Reliable Multicast Protocols.
Proceedings of the Networked Group Communication, 1999

Causally Ordered Multicast: the Conservative Approach.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998
The Maestro Approach to Building Reliable Interoperable Distributed Applications with Multiple Execution Styles.
Theory Pract. Object Syst., 1998

Building Adaptive Systems Using Ensemble.
Softw. Pract. Exp., 1998

Building Secure and Reliable Network Applications [Book Review].
IEEE Concurr., 1998

The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability
CoRR, 1998

Six misconceptions about reliable distributed computing.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability.
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
Building Secure and Reliable Network Applications.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997

1996
Horus: A Flexible Group Communication System.
Commun. ACM, 1996

A Transparent Light-Weight Group Service.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

1995
The design and implementation of a private message service for mobile computers.
Wirel. Networks, 1995

Reliability Through Consistency.
IEEE Softw., 1995

Preserving privacy in a network of mobile computers.
Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995

A Framework for Protocol Composition in Horus.
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994
How to Securely Replicate Services.
ACM Trans. Program. Lang. Syst., 1994

A Security Architecture for Fault-Toerant Systems.
ACM Trans. Comput. Syst., 1994

Preface to the Special Issues on Computer Architecture.
ACM Trans. Comput. Syst., 1994

Editorial.
ACM Trans. Comput. Syst., 1994

A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication.
ACM SIGOPS Oper. Syst. Rev., 1994

Integrating Runtime Consistency Models for Distributed Computing.
J. Parallel Distributed Comput., 1994

A Group Communication Approach for Mobile Computing.
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Uniform Actions in Asynchronous Distributed Systems (Extended Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

New Applications for Group Computing.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

Merits of a Probabilistic Approach to Properties in Process Group Systems (Informal Position Paper).
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993
Preface to the Special Issue on Architectural Support for Programming Languages and Systems.
ACM Trans. Comput. Syst., 1993

Light-weight process groups in the Isis system.
Distributed Syst. Eng., 1993

The Process Group Approach to Reliable Distributed Computing.
Commun. ACM, 1993

Reliable Enterprise Computing Systems.
Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

1992
The Cost of Order in Asynchronous Systems.
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

Integrating security in a group oriented distributed system.
Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

Maintaining consistency in distributed systems.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Reliable Multicast between Micro-Kernels.
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

1991
Lightweigt Causal and Atomic Group Multicast.
ACM Trans. Comput. Syst., 1991

Fast Causal Multicast.
ACM SIGOPS Oper. Syst. Rev., 1991

The ISIS Project: Real Experience with a Fault Tolerant Programming System.
ACM SIGOPS Oper. Syst. Rev., 1991

Tools for Distributed Application Management.
Computer, 1991

Using Process Groups to Implement Failure Detection in Asynchronous Environments.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Fault-Tolerance in Sixth-Generation Operating Systems.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990
Position Paper - Deceit: A Flexible Distributed File System.
Proceedings of the First Workshop on the Management of Replicated Data, 1990

Deceit: A Flexible Distributed File System.
Proceedings of the Usenix Summer 1990 Technical Conference, 1990

A formalism for fault-tolerant applications in asynchronous systems.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

Designing application software in wide area network settings.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1989
Supporting large scale applications on networks of workstations.
Proceedings of the Second Workshop On Workstation Operating Systems, 1989

1987
Reliable Communication in the Presence of Failures.
ACM Trans. Comput. Syst., 1987

Exploiting Virtual Synchrony in Distributed Systems.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986
On communication support for fault tolerant process groups.
RFC, November, 1986

Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems.
ACM Trans. Comput. Syst., 1986

Communication Support for Reliable Distributed Computing.
Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

1985
Implementing Fault-Tolerant Distributed Objects.
IEEE Trans. Software Eng., 1985

Replication and Fault-Tolerance in the ISIS System.
Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

1984
Extending resilient objets efficiently.
Proceedings of the Fehlertolerierende Rechensysteme, 1984

1982
A Local Network Based on the UNIX Operating System.
IEEE Trans. Software Eng., 1982

Rule-Based Learning for More Accurate ECG Analysis.
IEEE Trans. Pattern Anal. Mach. Intell., 1982

1979
Network Support for a Distributed Data Base System.
Proceedings of the Fourth Berkeley Workshop on Distributed Data Management and Computer Networks, 1979


  Loading...