Works of Nancy Lynch: Recent submissions

Now showing items 58-60 of 100

    • The abstract MAC layer 

      Kuhn, Fabian; Lynch, Nancy Ann; Newport, Calvin Charles (Association for Computing Machinery, 2009-09)
      A diversity of possible communication assumptions complicates the study of algorithms and lower bounds for radio networks. We address this problem by defining an Abstract MAC Layer. This service provides reliable local ...

    • Structuring Unreliable Radio Networks 

      Censor-Hillel, Keren; Gilbert, Seth; Kuhn, Fabian; Lynch, Nancy; Newport, Calvin (2011-12-22)
      In this paper we study the problem of building a connected dominating set with constant degree (CCDS) in the dual graph radio network model. This model includes two types of links: reliable links, which always deliver ...

    • Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems 

      Umeno, Shinya; Lynch, Nancy Ann (Artist Consortium, 2009-12)
      We present timeout order abstraction (TO-abstraction), a technique to systematically abstract a given loosely synchronized real-time distributed system (LSRTDS) into an untimed model. We define the subclass of LSRTDS’s ...