Browsing CS Technical Reports by Title
Now showing items 766-785 of 1770
-
Interprocedural Analysis of Concurrent Programs Under a Context Bound
(University of Wisconsin-Madison Department of Computer Sciences, 2007)Analysis of recursive programs in the presence of concurrency and shared memory is undecidable. A common approach is to remove the recursive nature of the program while dealing with concurrency. A different approach is ... -
Interprocedural Path Profiling
(University of Wisconsin-Madison Department of Computer Sciences, 1998) -
Interprocedural Path Profiling and the Interprocedural Express-Lane Transformation
(University of Wisconsin-Madison Department of Computer Sciences, 2002) -
Interprocedural Slicing Using Dependence Graphs
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Interprocess Communication in Charlotte
(University of Wisconsin-Madison Department of Computer Sciences, 1986) -
Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness
(University of Wisconsin-Madison Department of Computer Sciences, 1968)Four Algol procedures for interval add, subtract, multiply and divide are presented. Also included are proofs that each is correct according to theory developed in the first part of the paper. -
Intrinsic Compatibility in Process Virtual Machines
(University of Wisconsin-Madison Department of Computer Sciences, 2006)A Process Virtual Machine (VM) provides an execution environment for a guest user application program on a host platform that may differ from the guest's native platform. Informally, virtualization is compatible if there ... -
An Introduction to Modular Programming for Pascal Users
(University of Wisconsin-Madison Department of Computer Sciences, 1979) -
An Introduction to Prime Number Sieves
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
An Introduction to Release 1 of Editor Allan Poe
(University of Wisconsin-Madison Department of Computer Sciences, 1981) -
The Invention of Computationally Plausible Knowledge Systems in the Upper Paleolithic
(University of Wisconsin-Madison Department of Computer Sciences, 1985)The problem of computing human behavior by rules can become intractable with large scale knowledge systems if the human brain, like a computer, is a finlte state automaton. The problem of making such computations at a pace ... -
IPS-2: The Second Generation of a Parallel Program Measurement System
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Issues in Multiprogrammed Multiprocessor Scheduling
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
Iterative Linear Programming for Linear Complementarity and Related Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1983) -
Iterative Linear Programming Solution of Convex Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Iterative Methods for Discrete Elliptic Equations
(University of Wisconsin-Madison Department of Computer Sciences, 1983) -
Iterative Methods for Elliptic Problems and the Discovery of q
(University of Wisconsin-Madison Department of Computer Sciences, 1984) -
Iterative Methods of Solution for Complementarity Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1985) -
Iterative Solution of Linear Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1978)By perturbing a linear program to a quadratic program it is possible to solve the latter in its dual variable space by iterative techniques such as successive over-relaxation (SOR) methods. This provides a solution to the ... -
Iterative Solution of the Neumann Problem on a Rectangle by Successive Line Over-Relaxation
(University of Wisconsin-Madison Department of Computer Sciences, 1968)