Computer Sciences Dept.

Tech Reports for 2010

  • Tech Report ID: TR1668
    BCE: Extracting Botnet Commands from Bot Executables
    Junghee Lim and Thomas Reps
    View report information || Download this report (PDF)

  • Tech Report ID: TR1669
    Directed Proof Generation for Machine Code
    A. Thakur, J. Lim, A. Lal, A. Burton, E. Driscoll, M. Elder, T. Andersen, and T. Reps
    View report information || Download this report (PDF)

  • Tech Report ID: TR1670
    On Energy Management, Load Balancing and Replication
    Willis Lang, Jignesh M. Patel, Jeffrey F. Naughton
    View report information || Download this report (PDF)

  • Tech Report ID: TR1671
    Revisiting Database Storage Optimizations on Flash
    Mohit Saxena and Michael M. Swift
    View report information || Download this report (PDF)

  • Tech Report ID: TR1672
    The Design, Modeling, and Evaluation of the Relax Architectural Framework
    Marc de Kruijf, Shuou Nomura, Karthikeyan Sankaralingam
    View report information || Download this report (PDF)

  • Tech Report ID: TR1673
    DIFC Programs by Automatic Instrumentation
    William Harris, Somesh Jha, Thomas Reps
    View report information || Download this report (PDF)

  • Tech Report ID: TR1676
    SIP: Speculative Insertion Policy for High Performance Caching
    Hongil Yoon, Tan Zhang, Mikko H.Lipasti
    View report information || Download this report (PDF)

  • Tech Report ID: TR1677
    InfoNames: An Information-Based Naming Scheme for Multimedia Content
    Arun Kumar, Athula Balachandran, Vyas Sekar, Aditya Akella, and Srinivasan Seshan
    View report information || Download this report (PDF)

  • Tech Report ID: TR1678
    Some Results on the Strength of Relaxations of Multilinear Functions\
    James Luedtke, Mahdi Namazifar, Jeff Linderoth
    View report information || Download this report (PDF)

  • Tech Report ID: TR1679
    Handheld vs. Non-Handheld Traffic: Implications for Campus WiFi Networks
    Aaron Gember, Ashok Anand, Aditya Akella
    View report information || Download this report (PDF)

  • Tech Report ID: TR1680
    Karma: Scalable Deterministic Record-Replay
    Arkaprava Basu, Jayaram Bobba, Mark D. Hill
    View report information || Download this report (PDF)

  • Tech Report ID: TR1681
    Effective Separation of Disjunctive Cuts for Convex Mixed Integer Nonlinear Programs
    Mustafa Kilinc, Jeff Linderoth, James Luedtke
    View report information || Download this report (PDF)

  • Tech Report ID: TR1682
    Valid Inequalities for the Pooling Problem with Binary Variables
    Claudio D'Ambrosio, Jeff Linderoth, James Luedtke
    View report information || Download this report (PDF)

  • Tech Report ID: TR1683
    Design and Evaluation of Dynamically Specialized Datapaths with the DySER Architecture
    Venkatraman Govindaraju, Chen-Han Ho, Karthikeyan Sankaralingam
    View report information || Download this report (PDF)

  • Tech Report ID: TR1684
    CPU Futures: Scheduler support for application management of CPU contention
    Joe T. Meehean, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Miron Livny
    View report information || Download this report (PDF)

    Return to tech report index

  •  
    Computer Science | UW Home