External Links

    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
    runs on