Abstract--In this paper, we investigate the problem of optimizing the lifetime of a mobile ad hoc network at a given degree k of connectivity by minimizing power consumption. Our p...
We consider the problem of fault-tolerance in nanoscale algorithmic self-assembly. We employ t of Winfree's abstract Tile Assembly Model (aTAM), the two-handed aTAM, in which...
David Doty, Matthew J. Patitz, Dustin Reishus, Rob...
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...