Now showing items 37-56 of 67

    • A Layered Architecture for Erasure-Coded Consistent Distributed Storage 

      Konwar, Kishori M.; Prakash, N.; Lynch, Nancy; Médard, Muriel (ACM, 2017-07-25)
      © 2017 Association for Computing Machinery. Motivated by emerging applications to the edge computing paradigm, we introduce a two-layer erasure-coded fault-tolerant distributed storage system offering atomic access for ...
    • Leader election using loneliness detection 

      Ghaffari, Mohsen; Lynch, Nancy Ann; Sastry, Srikanth (Springer-Verlag, 2012-06-26)
      We consider the problem of leader election (LE) in single-hop radio networks with synchronized time slots for transmitting and receiving messages. We assume that the actual number n of processes is unknown, while the size ...
    • A Local Broadcast Layer for the SINR Network Model 

      Halldorsson, Magnus M.; Holzer, Stephan Sebastian; Lynch, Nancy Ann (Association for Computing Machinery (ACM), 2015-07)
      We present the first algorithm that implements an abstract MAC (absMAC) layer in the Signal-to-Interference-plus-Noise-Ratio (SINR) wireless network model. We first prove that efficient SINR implementations are not possible ...
    • MAC Design for Analog Network Coding 

      Khabbazian, Majid; Kuhn, Fabian; Lynch, Nancy Ann; Medard, Muriel; Parandehgheibi, Ali (Association for Computing Machinery (ACM), 2011-06)
      Most medium access control (MAC) mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions ...
    • Modeling radio networks 

      Newport, Calvin Charles; Lynch, Nancy Ann (Springer Science and Business Media LLC, 2011-07-06)
      We describe a modeling framework and collection of foundational composition results for the study of probabilistic distributed algorithms in synchronous radio networks. Though the radio setting has been studied extensively ...
    • Multi-message broadcast with abstract MAC layers and unreliable links 

      Ghaffari, Mohsen; Kantor, Erez; Newport, Calvin Charles; Lynch, Nancy Ann (Association for Computing Machinery (ACM), 2014-07)
      We study the multi-message broadcast problem using abstract MAC layer models of wireless networks. These models capture the key guarantees of existing MAC layers while abstracting away low-level details such as signal ...
    • Neighbor discovery in mobile ad hoc networks using an abstract MAC layer 

      Viqar, Saira; Welch, Jennifer L.; Cornejo Collado, Alex; Lynch, Nancy Ann (Institute of Electrical and Electronics Engineers, 2010-01)
      We explore the problem of neighbor discovery in a mobile ad hoc network environment. We describe a protocol for learning about neighboring nodes in such an environment. The protocol is used for establishing and tearing ...
    • Neuro-RAM unit with applications to similarity testing and compression in spiking neural networks 

      Lynch, Nancy; Parter, Merav; Musco, Cameron (2017)
      © Nancy Lynch, Cameron Musco, and Merav Parter;. We study distributed algorithms implemented in a simplified biologically inspired model for stochastic spiking neural networks. We focus on tradeoffs between computation ...
    • On simple back-off in unreliable radio networks 

      Gilbert, S; Lynch, N; Newport, C; Pajak, D (2018)
      © Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak. In this paper, we study local and global broadcast in the dual graph model, which describes communication in a radio network with both reliable and unreliable ...
    • On the weakest failure detector ever 

      Kuznetsov, Petr; Herlihy, Maurice; Newport, Calvin Charles; Lynch, Nancy Ann; Guerraoui, Rachid (Springer Berlin Heidelberg, 2009-01)
      Many problems in distributed computing are impossible to solve when no information about process failures is available. It is common to ask what information about failures is necessary and sufficient to circumvent some ...
    • Perspectives on the CAP Theorem 

      Gilbert, Seth; Lynch, Nancy Ann (Institute of Electrical and Electronics Engineers, 2012-02)
      Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become known as the CAP Theorem, ...
    • RADON: Repairable Atomic Data Object in Networks 

      Lynch, Nancy; Medard, Muriel (2016)
      © Kishori M. Konwar, N. Prakash, Nancy A. Lynch, and Muriel Medard. Erasure codes offer an efficient way to decrease storage and communication costs while implementing atomic memory service in asynchronous distributed ...
    • RADON: Repairable Atomic Data Object in Networks 

      Lynch, Nancy; Medard, Muriel (2017)
      © Kishori M. Konwar, N. Prakash, Nancy A. Lynch, and Muriel Medard. Erasure codes offer an efficient way to decrease storage and communication costs while implementing atomic memory service in asynchronous distributed ...
    • Rambo: a robust, reconfigurable atomic memory service for dynamic networks 

      Gilbert, Seth; Lynch, Nancy Ann; Shvartsman, Alexander A. (Springer-Verlag, 2010-09)
      n this paper, we present Rambo, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. Rambo provides a highly reliable, highly available service, even as participants ...
    • Random sketching, clustering, and short-term memory in spiking neural networks 

      Hitron, Y; Lynch, N; Musco, C; Parter, M (2020)
      © Yael Hitron, Nancy Lynch, Cameron Musco, and Merav Parter. We study input compression in a biologically inspired model of neural computation. We demonstrate that a network consisting of a random projection step (implemented ...
    • Reliably Detecting Connectivity Using Local Graph Traits 

      Cornejo Collado, Alex; Lynch, Nancy Ann (Springer, 2010-12)
      Local distributed algorithms can only gather sufficient information to identify local graph traits, that is, properties that hold within the local neighborhood of each node. However, it is frequently the case that global ...
    • Searching without communicating: tradeoffs between performance and selection complexity 

      Lenzen, Christoph; Lynch, Nancy; Newport, Calvin; Radeva, Tsvetomira (Springer Nature, 2017)
      © 2016, Springer-Verlag Berlin Heidelberg. We consider the ANTS problem (Feinerman et al.) in which a group of agents collaboratively search for a target in a two-dimensional plane. Because this problem is inspired by the ...
    • 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 ...
    • Self-Stabilizing Task Allocation In Spite of Noise 

      Dornhaus, Anna; Lynch, Nancy; Mallmann-Trenn, Frederik; Pajak, Dominik; Radeva, Tsvetomira (Association for Computing Machinery (ACM), 2020)
      © 2020 ACM. We study the problem of distributed task allocation by workers in an ant colony in a setting of limited capabilities and noisy environment feedback. We assume that each task has a demand that should be satisfied ...
    • Simulating fixed virtual nodes for adapting wireline protocols to MANET 

      Wu, Jiang; Griffeth, Nancy; Droms, Ralph; Lynch, Nancy Ann; Newport, Calvin Charles (Institute of Electrical and Electronics Engineers, 2009-08)
      The virtual node layer (VNLayer) is a programming abstraction for mobile ad hoc networks (MANETs). It defines simple virtual servers at fixed locations in a network, addressing a central problem for MANETs, which is the ...