My UW
|
UW Search
Computer Science Home Page
|
|
|
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
|
|
|