Browsing Department of Electrical Engineering and Computer Sciences by Title
Now showing items 50-69 of 108
-
GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks
(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. ... -
How to Color a French Flag: Biologically Inspired Algorithms for Scale-Invariant Patterning
(Springer International Publishing, 2020)© 2020, Springer Nature Switzerland AG. In the French flag problem, initially uncolored cells on a grid must differentiate to become blue, white or red. The goal is for the cells to color the grid as a French flag, i.e., ... -
Impossibility of boosting distributed service resilience
(2005-02-25)We prove two theorems saying that no distributed system in whichprocesses coordinate using reliable registers and f-resilient servicescan solve the consensus problem in the presence of f+1 undetectableprocess stopping ... -
Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation
(Association for Computing Machinery (ACM), 2016-07)© 2016 ACM. The focus of this paper is to understand storage costs of em- ulating an atomic shared memory over an asynchronous, dis- tributed message passing system. Previous literature has de- veloped several shared memory ... -
A Layered Architecture for Erasure-Coded Consistent Distributed Storage
(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
(2011-10-12)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 ... -
Leader election using loneliness detection
(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
(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
(2010-08-02)Most medium access control mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions are ... -
MAC Design for Analog Network Coding
(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 ... -
Microelectronic Devices and Circuits - 2006 Electronic Edition
(2006-10-01)Combining semiconductor device physics and modeling with electronic circuit analysis and practice in a single sophomore/junior level microelectronics course, this textbook offers an integrated approach so students can truly ... -
Modeling Computational Security in Long-Lived Systems, Version 2
(2008-11-22)For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressively over the lifetime of a protocol. However, some ... -
Modeling Radio Networks
(2009-06-04)We describe a modeling framework and collection of foundational composition results for the study of probabilistic distributed algorithms in synchronous radio networks. Existing results in this setting rely on informal ... -
Modeling radio networks
(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 ... -
Motion Coordination Using Virtual Nodes
(2005-04-06)We describe how a virtual node abstraction layer can be used to coordinate the motion of real mobile nodes in a region of 2-space. In particular, we consider how nodes in a mobile ad hoc network can arrange themselves along ... -
Multi-message broadcast with abstract MAC layers and unreliable links
(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 ... -
MultiChord: A Resilient Namespace Management Protocol
(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 ... -
Neighbor discovery in mobile ad hoc networks using an abstract MAC layer
(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
(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
(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 ...