Browsing Journal Articles and Proceedings by Title
Now showing items 65-67 of 67
-
Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems
(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 ... -
Trade-offs between selection complexity and performance when searching the plane without communication
(Association for Computing Machinery (ACM), 2014-07)We argue that in the context of biology-inspired problems in computer science, in addition to studying the time complexity of solutions it is also important to study the selection complexity, a measure of how likely a given ... -
A (Truly) Local Broadcast Layer for Unreliable Radio Networks
(Association for Computing Machinery (ACM), 2015-07)In this paper, we implement an efficient local broadcast service for the dual graph model, which describes communication in a radio network with both reliable and unreliable links. Our local broadcast service offers ...