Distributed Operating Systems

TL;DR: The goal of memory consistency is to ensure certain declarative properties which can be intuitively understood by a programmer, and hence allow him or her to write a correct program.

TL;DR: This paper presents a reliable, transparent, and portable mobile ad hoc space for collaboration (MASC) based on a short range wireless communication platform to address limitations in order to provide more consistent and efficient collaboration among first responders.

TL;DR: The proposed asynchronous wake-up protocol has short discovery time which scales with the density of the network; it can accommodate various traffic characteristics and loads to achieve an energy savings that can be as high as 70 percent, while the packet delivery ratio is comparable to that without power management.

TL;DR: A systematic and quantitative approach for using software-implemented fault injection to guide the design and implementation of a fault-tolerant system to improve robustness in the presence of operating system errors is presented.