CSAIL Technical Reports (July 1, 2003 - present): Recent submissions
Now showing items 145-147 of 776
-
Coded Emulation of Shared Atomic Memory for Message Passing Architectures
(2013-07-17)This paper considers the communication and storage costs of emulating atomic (linearizable) read/write shared memory in distributed message-passing systems. We analyze the costs of previously-proposed algorithms by Attiya, ... -
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems
(2013-07-08)We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds. In addition, an automaton ... -
Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
(2013-06-19)Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is ...
