Browsing Journal Articles and Proceedings by Title
Now showing items 1-20 of 67
-
The abstract MAC layer
(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 ... -
The abstract MAC layer
(Springer Nature America, Inc, 2011)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 ... -
Ant-inspired density estimation via random walks
(National Academy of Sciences (U.S.), 2017-10)Many ant species use distributed population density estimation in applications ranging from quorum sensing, to task allocation, to appraisal of enemy colony strength. It has been shown that ants estimate local population ... -
Ant-Inspired Dynamic Task Allocation via Gossiping
(Springer Nature, 2017)© Springer International Publishing AG 2017. We study the distributed task allocation problem in multi-agent systems, where each agent selects a task in such a way that, collectively, they achieve a proper global task ... -
Ant-Inspired Dynamic Task Allocation via Gossiping
(Springer Nature, 2017)© Springer International Publishing AG 2017. We study the distributed task allocation problem in multi-agent systems, where each agent selects a task in such a way that, collectively, they achieve a proper global task ... -
ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage
(Institute of Electrical and Electronics Engineers (IEEE), 2019-10)© 2019 IEEE. Emulating a shared atomic, read/write storage system is a fundamental problem in distributed computing. Replicating atomic objects among a set of data hosts was the norm for traditional implementations (e.g., ... -
ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage
(Institute of Electrical and Electronics Engineers (IEEE), 2019)© 2019 IEEE. Emulating a shared atomic, read/write storage system is a fundamental problem in distributed computing. Replicating atomic objects among a set of data hosts was the norm for traditional implementations (e.g., ... -
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
(Institute of Electrical and Electronics Engineers (IEEE), 2010-11)In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using Timeout Order Abstraction (TO-Abstraction), a technique to abstract a given ... -
Bounded-Contention Coding for Wireless Networks in the High SNR Regime
(Springer-Verlag, 2012)Efficient communication in wireless networks is typically challenged by the possibility of interference among several transmitting nodes. Much important research has been invested in decreasing the number of collisions in ... -
Bounded-Contention Coding for wireless networks in the high SNR regime
(2015-04)Efficient communication in wireless networks is typically challenged by the possibility of interference among several transmitting nodes. Much important research has been invested in decreasing the number of collisions in ... -
Bounds on Contention Management in Radio Networks
(Springer-Verlag, 2012)The local broadcast problem assumes that processes in a wireless network are provided messages, one by one, that must be delivered to their neighbors. In this paper, we prove tight bounds for this problem in two well-studied ... -
Brief announcement: Hardness of broadcasting in wireless networks with unreliable communication
(Association for Computing Machinery, 2009)We prove two broadcast lower bounds for a wireless network model that includes unreliable links. For deterministic algorithms, we show n − 1 rounds are required, where n is the number of processes. For randomized algorithms, ... -
Brief announcement: Integrating temporal information to spatial information in a neural circuit
(2019)© Nancy Lynch and Mien Brabeeba Wang. In this paper, we consider networks of deterministic spiking neurons, firing synchronously at discrete times. We consider the problem of translating temporal information into spatial ... -
Brief announcement: Integrating temporal information to spatial information in a neural circuit
(2019)© Nancy Lynch and Mien Brabeeba Wang. In this paper, we consider networks of deterministic spiking neurons, firing synchronously at discrete times. We consider the problem of translating temporal information into spatial ... -
Brief announcement: Minimum spanning trees and cone-based topology control
(Association for Computing Machinery, 2009)Consider a setting where nodes can vary their transmission power thereby changing the network topology, the goal of topology control is to reduce the transmission power while ensuring the communication graph remains ... -
Brief announcement: On simple back-off in unreliable radio networks
(2018)© Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak. In this paper, we study local broadcast in the dual graph model, which describes communication in a radio network with both reliable and unreliable links. ... -
Brief announcement: On simple back-off in unreliable radio networks
(2018)© Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak. In this paper, we study local broadcast in the dual graph model, which describes communication in a radio network with both reliable and unreliable links. ... -
Brief Announcement: Partial Reversal Acyclicity
(Association for Computing Machinery (ACM), 2011)Partial Reversal (PR) is a link reversal algorithm which ensures that an initially directed acyclic graph (DAG) is eventually a destination-oriented DAG. While proofs exist to establish the acyclicity property of PR, they ... -
Broadcasting in unreliable radio networks
(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 ... -
Coded Emulation of Shared Atomic Memory for Message Passing Architectures
(Institute of Electrical and Electronics Engineers (IEEE), 2014-08)This paper considers the communication and storage costs of emulating atomic (linearizable) multi-writer multi-reader shared memory in distributed message-passing systems. The paper contains two main contributions: (1) ...
