|
-
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 2001A Customized MVA Model for Shared-Memory Systems with Heterogeneous Applications Daniel Sorin, Jonathan Lemon, Derek Eager, Mary Vernon View report information || Download this report (PDF) Environment Map Morphing Russell Manning and Charles Dyer View report information || Download this report (PDF) LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects, Eran Yahav, Thomas Reps and Mooly Sagiv View report information || Download this report (PDF) Model Checking of Unrestricted Hierarchical State Machines (Extended Abstract), Michael Benedikt, Patrice Godefroid and Thomas Reps View report information || Download this report (PDF) Inferring Regulatory Pathways in E. Coli using Dynamic Bayesian Networks Irene Ong and David Page View report information || Download this report (PDF) Better Slicing of Programs with Jumps and Switches Sumit Kumar and Susan Horwitz View report information || Download this report (PDF) Time-Shifted Modules: Exploiting Code Modularity for Fine Grain Parallelization Craig Zilles and Guri Sohi View report information || Download this report (PDF) Building Intelligent Agents That Learn to Retrieve and Extract Information Tina Eliassi-Rad View report information || Download this report (PDF) Squarefree Integers Without Large Prime Factors in Short Intervals Denis Xavier Charles View report information || Download this report (PDF) SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery Daniel Sorin, Milo Martin, Mark Hill and David Wood View report information || Download this report (PDF) |