Journal Articles and Proceedings: Recent submissions

Now showing items 49-51 of 59

    • 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 ...

    • Broadcasting in unreliable radio networks 

      Kuhn, Fabian; Lynch, Nancy Ann; Newport, Calvin Charles; Oshman, Rotem; Richa, Andrea (Association for Computing Machinery, 2010-07)
      Practitioners agree that unreliable links, which sometimes deliver messages and sometime do not, are an important characteristic of wireless networks. In contrast, most theoretical models of radio networks fix a static set ...

    • Self-stabilizing robot formations over unreliable networks 

      Gilbert, Seth; Lynch, Nancy Ann; Mitra, Sayan; Nolte, Tina (Association for Computing Machinery, 2009-07)
      We describe how a set of mobile robots can arrange themselves on any specified curve on the plane in the presence of dynamic changes both in the underlying ad hoc network and in the set of participating robots. Our strategy ...