|
-
CS Department
Location, phone, fax
-
Search CS Website
-
Join Us!
-
CS People
- Key Contacts
- Undergraduate Students
- Graduate Students
-
Faculty
-
Staff
-
Events/Seminars
-
Awards & Honors
-
In The News
-
Research
-
Undergraduate &
Graduate Programs
-
Computing Facilities
-
Alumni & Industry
-
Useful Resources
-
Invest in CS
Tech Reports for 2011WALi: Nested-Word Automata Amanda Burton, Aditya Thakur, Evan Driscoll, Thomas Reps View report information || Download this report (PDF) OpenSPLySER: The Integrated OpenSPARC and DySER Design Jesse Benson, Ryan Cofell, Chris Frericks, Chen-Han Ho, Karthikeyan Sankaralingam View report information || Download this report (PDF) EPIC: Platform-as-a-Service Model for Cloud Networking Theophilus A Benson, Aditya Akella, Sambit Sahu, Anees Shaikh View report information || Download this report (PDF) Defective Error/Pointer Interactions in the Linux Kernel Cindy Rubio-González and Ben Liblit View report information || Download this report (PDF) Real-time GPU-Based Voxelization and Applications Hsu-Huai Chang and Yu-Chi Lai View report information || Download this report (PDF) Computing the Singular Value Decomposition of 3x3 matrices with minimal branching and elementary floating point operations Aleka McAdams, Andrew Selle, Rasmus Tamstorf, Joseph Teran and Eftychios Sifakis View report information || Download this report (PDF) Abstract Domains of Affine Relations Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen,Thomas Reps View report information || Download this report (PDF) A Bayesian model for image sense ambiguity in pictorial communication systems Jake Rosin, Andrew B. Goldberg, Xiaojin Zhu, Charles Dyer View report information || Download this report (PDF) Porting CMP Benchmarks to GPUs Matthew D. Sinclair, Henry Duwe, Karthikeyan Sankaralingam View report information || Download this report (PDF) Secure Programming as a Parity Game William R. Harris, Benjamin Farley, Somesh Jha, Thomas Reps View report information || Download this report (PDF) Verifying File System Properties with Type Inference Haryadi S. Gunawi, Shweta Krishnan View report information || Download this report (PDF) Strong Branching Inequalities for Convex Mixed Integer Nonlinear Programs M. Kilinc, J. Linderoth, J. Luedtke, A. Miller View report information || Download this report (PDF) Broadening the Applicability of Relational Learning Trevor Walker View report information || Download this report (PDF) Compiler Construction of Idempotent Regions Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha View report information || Download this report (PDF) Verifying Concurrent Programs via Bounded Context-Switching and Induction Prathmesh Prabhu, Akash Lal, NIcholas Kidd, Thomas Reps View report information || Download this report (PDF) Techniques for Improved Probabilistic Inference In Protein-Structure Determination via X-Ray Crystallography Ameet Soni View report information || Download this report (PDF) Regression, Regularization, and Redundancy: Humans‘ Response to Redundant Inputs in a Linear System Rachael A. McCormick View report information || Download this report (PDF) |