P. M. Melliar‐Smith

Publications by Year

Research Areas

Distributed systems and fault tolerance, Distributed and Parallel Computing Systems, Real-Time Systems Scheduling, Formal Methods in Verification, Software System Performance and Reliability

Most-Cited Works

• → An analysis of the optimum node density for ad hoc mobile networks(2002)649 cited
• → SIFT: Design and analysis of a fault-tolerant computer for aircraft control(1978)566 cited
• → Synchronizing clocks in the presence of faults(1985)542 cited
• → Totem(1996)412 cited
• → A program structure for error detection and recovery(2005)296 cited
• → The Totem single-ring ordering and membership protocol(1995)278 cited
• → Broadcast protocols for distributed systems(1990)249 cited