Browsing CS Technical Reports by Title
Now showing items 630649 of 1769

The Gamma Database Machine Project
(University of WisconsinMadison Department of Computer Sciences, 1990) 
GAMMAA High Performance Dataflow Database Machine
(University of WisconsinMadison Department of Computer Sciences, 1986) 
A GaussNewton Method for Convex Composite Optimization
(University of WisconsinMadison Department of Computer Sciences, 1993) 
General Convergence Conditions in Nonlinear Programming and a KuhnTucker Algorithm
(University of WisconsinMadison Department of Computer Sciences, 1971)This paper presents a general definition of algorithmic convergence in mathematical programming and lists conditions which are sufficient for convergence in the sense of the definition. These conditions are also shown to ... 
A Generalization of Lovasz's Sandwich Theorem
(University of WisconsinMadison Department of Computer Sciences, 1988) 
A Generalization of Staalmarck's Method
(University of WisconsinMadison Department of Computer Sciences, 201112)This paper gives an account of Staalmarck's method for validity checking of propositionallogic formulas, and explains each of the key components in terms of concepts from the field of abstract interpretation. We then ... 
Generalized Antithetic Transformations for Monte Carlo Sampling
(University of WisconsinMadison Department of Computer Sciences, 1980) 
Generalized Bounded Query Hierarchies
(University of WisconsinMadison Department of Computer Sciences, 1990) 
Generalized Containment of Conjunctive Queries
(University of WisconsinMadison Department of Computer Sciences, 1992) 
Generalized Equations
(University of WisconsinMadison Department of Computer Sciences, 1982) 
Generalized Linear Complementarity Problems as Linear Programs
(University of WisconsinMadison Department of Computer Sciences, 1978)A generalized linear complementarity problem which is equivalent to finding a root of a piecewiselinear system of equations is shown to be solvable if and only if a related linear programming problem is solvable. ... 
Generalized Networks: Parallel Algorithms and an Empirical Analysis
(University of WisconsinMadison Department of Computer Sciences, 1989)The objective of this research was to develop and empirically test simplex ?based parallel algorithms for the generalized network optimization problem. Several parallel algorithms were developed that utilize the multitasking ... 
Generalized Search Trees for Database Systems
(University of WisconsinMadison Department of Computer Sciences, 1995) 
Generalized Tableaux for Chasing Expression Constants
(University of WisconsinMadison Department of Computer Sciences, 1980) 
A Generalized Timed Petri Net Model for Performance Analysis
(University of WisconsinMadison Department of Computer Sciences, 1985) 
Generating Execution Facilities for Integrated Programming Environments
(University of WisconsinMadison Department of Computer Sciences, 1986) 
Generating Sparse Spanners for Weighted Graphs
(University of WisconsinMadison Department of Computer Sciences, 1989) 
A Generating System for CAI Teaching of Simple Algebra Problems
(University of WisconsinMadison Department of Computer Sciences, 1968) 
A Generative Cai Program That Teaches Algebra
(University of WisconsinMadison Department of Computer Sciences, 1970) 
Generic Design Patterns for Tunable and HighPerformance SSDbased Indexes
(University of WisconsinMadison Department of Computer Sciences, 20121206)A number of dataintensive systems require using random hashbased indexes of various forms, e.g., hashtables, Bloom filters, and locality sensitive hash tables. In this paper, we present general SSD optimization ...