Browse by Title

Showing 1-20 of 1807

The 007 Benchmark

Carey, Michael J; Dewitt, David J; Naughton, Jeffrey F (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
A 2-Layered SIMD/MIMD Parallelal Pyramid "Array/Net"

Thompson, Murray; Lackey, Joseph; Uhr, Leonard (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
3600 Drum Scope System Routines for the DD212 Terminal

Venezky, Richard (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
3-D Multiview Object Representations for Model-Based Object Recognition

Korn, Matthew R; Dyer, Charles R (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Abe-A Query Language for Constructing Aggregates-by-Example

Klug, Anthony C (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Absolute Value Equations

Meyer, Robert; Mangasarian, Olvi (2005)
Absolute Value Equation Solution via Dual Complementarity

Mangasarian, Olvi (2011)
An Abstract Domain for Bit-Vector Inequalities

Reps, Thomas; Thakur, Aditya; Sharma, Tushar (Apr 16, 2013)
Abstract Domains of Affine Relations

Reps, Thomas; Andersen, Tycho; Sharma, Tushar; Lim, Junghee; Elder, Matt (May 13, 2013)
Abstract Domains of Affine Relations

Elder, Matt; Lim, Junghee; Sharma, Tushar; Andersen, Tycho; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Abstract Error Projection

Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Abstract Execution: A Technique for Efficiently Tracing Programs

Larus, James R (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Abstraction Refinement for 3-Valued Logic Analysis

Loginov, Alexey; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Abstract: Magic Templates: A Spellbinding Approach to Logic Programs

Ramakrishnan, Raghu (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Accessing Realistic Mixed Complementarity Problems within MATLAB

Rutherford, Thomas F.; Ferris, Michael C. (1995)
Access Paths in the Abe Statistical Query Facility

Klug, Anthony C (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Access Problems with Computer-Based Services

Desautels, Edward J (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
The Accuracy of the Fractional Stop Method

Strikwerda, John; Lee, Young S. (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Accuracy vs. Performance in Parallel Simulation of Interconnection Networks

Burger, Douglas C; Wood, David A (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
An Accurate and Efficient Performance Analysis Technique for Multiprocessor Snooping Cache-Consistency Protocols

Vernon, Mary K; Lazowsky, Edward D; Zahorjan, John (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

Showing 1-20 of 1807