A longstanding vision in distributed systems is to build reliable systems from unreliable components. An enticing formulation of this vision is Byzantine fault-tolerant...Ramakrishna Kotla, Allen Clement, Edmund Wong, Lorenzo Alvisi, Mike Dahlin From Communications of the ACM | November 2008
"Graph partitioning" refers to a family of computational problems in which the vertices of a graph have to be partitioned...Sanjeev Arora, Satish Rao, Umesh Vazirani From Communications of the ACM | October 2008
Arora, Rao, and Vazirani discuss the most important developments in approximation algorithms over the last two decades.Éva Tardos From Communications of the ACM | October 2008
The long tradition of building ever-faster processors is ending, with the computer industry instead putting more...Mark Moir From Communications of the ACM | September 2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux...Christopher J. Rossbach, Hany E. Ramadan, Owen S. Hofmann, Donald E. Porter, Aditya Bhandari, Emmett Witchel From Communications of the ACM | September 2008
Computer science has long had a solid foundation for evaluating the performance of algorithms. The asymptotic...William Pugh From Communications of the ACM | August 2008
In computer science, when we say "time is money," we typically refer to two types of time that determine the costs and benefits...Nir Shavit From Communications of the ACM | August 2008
In this paper we present a concurrency model based on transactional memory. All the usualblocking and choice...Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy From Communications of the ACM | August 2008
Evaluation methodology underpins all innovation in experimental computer science. It requires relevant workloads, appropriate experimental design, and rigorous...Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovik, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann From Communications of the ACM | August 2008
Wireless sensor networks represent a new computing platform that blends computation, sensing, and communication...Feng Zhao From Communications of the ACM | July 2008