Journal: ACM Trans. Comput. Syst.

Volume 24, Issue 4

333 -- 360Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy. Recovering device drivers
361 -- 392Edmund B. Nightingale, Peter M. Chen, Jason Flinn. Speculative execution in a distributed file system
393 -- 423Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi. Using model checking to find serious file system errors

Volume 24, Issue 3

211 -- 249Manish Vachharajani, Neil Vachharajani, David A. Penry, Jason A. Blome, Sharad Malik, David I. August. The Liberty Simulation Environment: A deliberate approach to high-level system modeling
250 -- 291Kenneth C. Barr, Krste Asanovic. Energy-aware lossless data compression
292 -- 331Wanghong Yuan, Klara Nahrstedt. Energy-efficient CPU scheduling for multimedia applications

Volume 24, Issue 2

115 -- 139David Moore, Colleen Shannon, Douglas J. Brown, Geoffrey M. Voelker, Stefan Savage. Inferring Internet denial-of-service activity
140 -- 174Philip Holman, James H. Anderson. Locking under Pfair scheduling
175 -- 209Albert M. Lai, Jason Nieh. On the performance of wide-area thin-client computing

Volume 24, Issue 1

1 -- 38Angelos D. Keromytis, Jason L. Wright, Theo de Raadt, Matthew Burnside. Cryptography as an operating system service: A case study
39 -- 69Cristian Coarfa, Peter Druschel, Dan S. Wallach. Performance analysis of TLS Web servers
70 -- 113Haifeng Yu, Amin Vahdat. The costs and limits of availability for replicated services