Works of Nancy Lynch: Recent submissions

Now showing items 94-96 of 99

    • GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks 

      Dolev, Shlomi; Gilbert, Seth; Lynch, Nancy A.; Shvartsman, Alex A.; Welch, Jennifer L. (2004-02-25)
      We present a new approach, the GeoQuorums approach, for implementing atomic read/write shared memoryin mobile ad hoc networks. Our approach is based on associating abstract atomic objects with certain geographiclocations. ...

    • MultiChord: A Resilient Namespace Management Protocol 

      Lynch, Nancy; Stoica, Ion (2004-02-19)
      MultiChord is a new variant of the Chord namespace management algorithm [7] that includes lightweight mechanismsfor accommodating a limited rate of change, specifically, process joins and failures. This paper describes ...

    • Dynamic Input/Output Automata: A Formal Model for Dynamic Systems 

      Attie, Paul C.; Lynch, Nancy A. (2003-07-26)
      We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ...