Search
Now showing items 1-10 of 10
Time-Shifted Modules: Exploiting Code Modularity for Fine Grain Parallelization
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects,
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Squarefree Integers Without Large Prime Factors in Short Intervals
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Better Slicing of Programs with Jumps and Switches
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Environment Map Morphing
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Model Checking of Unrestricted Hierarchical State Machines (Extended Abstract),
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Inferring Regulatory Pathways in E. Coli using Dynamic Bayesian Networks
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
Building Intelligent Agents That Learn to Retrieve and Extract Information
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
SafetyNet: Improving the Available of Shared Memory Multiprocessors with Global Checkpoint/Recovery
(University of Wisconsin-Madison Department of Computer Sciences, 2001)
A Customized MVA Model for Shared-Memory Systems with Heterogeneous Applications
(University of Wisconsin-Madison Department of Computer Sciences, 2001)