Browsing CS Technical Reports by Title
Now showing items 10151034 of 1770

NPCompleteness of LinearlyConnected Multiprocessor Scheduling
(University of WisconsinMadison Department of Computer Sciences, 1987) 
Nuclear Feature Extraction for Breast Tumor Diagnosis
(University of WisconsinMadison Department of Computer Sciences, 1992) 
Number Theoretic Algorithms
(University of WisconsinMadison Department of Computer Sciences, 1989) 
Numeric Analysis of Array Operations
(University of WisconsinMadison Department of Computer Sciences, 2004)We present a numeric analysis that is capable of reasoning about array operations. In particular, the analysis is able to establish that all elements of an array have been initialized ("an array kill"), as well as to ... 
Numeric Program Analysis Techniques with Applications to Array Analysis and Library Summarization
(University of WisconsinMadison Department of Computer Sciences, 2007)Numeric program analysis is of great importance for the areas of software engineering, software verification, and security: to identify many program errors, such as outofbounds array accesses and integer overflows, which ... 
A Numerical Approach to WindDriven Ocean Circulation
(University of WisconsinMadison Department of Computer Sciences, 1972)A numerical method is developed for a widely studied, winddriven ocean circulation model. Examples of flow patterns of the northern Pacific, which include large nonlinear effects, are given. 
Numerical Approximation of Periodic Solutions of van der Pol's Equation
(University of WisconsinMadison Department of Computer Sciences, 1970)Two new discrete methods, one based on discrete mechanics, the other based on highorder Taylor series, are developed and applied to approximate periodic solutions of van der Pol's equation. Typical numerical results are ... 
Numerical Solution of a Class of Nonsteady Cavity Flow Problems
(University of WisconsinMadison Department of Computer Sciences, 1968) 
The Numerical Solution of Boundary Value Problems for Second Order Functional Differential Equations by Finite Differences
(University of WisconsinMadison Department of Computer Sciences, 1971) 
Numerical Solution of Discrete Nondegenerate NBody Problems with an Application to Free Surface Fluid Flow
(University of WisconsinMadison Department of Computer Sciences, 1970) 
The Numerical Solution of Volterra Functional Differential Equations by Euler's Method
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Numerical Studies of Discrete Vibrating Strings
(University of WisconsinMadison Department of Computer Sciences, 1972) 
Numerical Studies of Flow Between Rotating Coaxial Disks
(University of WisconsinMadison Department of Computer Sciences, 1971)A new algorithm, which is exceptionally fast for certain choices of numerical parameters, is described for the study of nonlinear, incompressible flow between two rotating disks. Typical examples for Reynolds number R in ... 
Numerical Studies of Prototype Cavity Flow Problems
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of Steady, Viscous, Incompressible Flow Between Two Rotating Spheres
(University of WisconsinMadison Department of Computer Sciences, 1971)A new numerical method is developed for the solution of steady state, viscous, incompressible flow between two rotating spheres. The NavierStokes equations are approximated by a triple sequence of linear problems, each ... 
Numerical Studies of Steady, Viscous, Incompressible Flow in a Channel with a Step
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of the 3Body Problem
(University of WisconsinMadison Department of Computer Sciences, 1969) 
Numerical Studies of Two Dimensional, Steady State NavierStokes Equations for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1967) 
Numerical Studies of Viscous, Incompressible Flow for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1968) 
Numerical Studies of Viscous, Incompressible Flow Through an Orifice for Arbitrary Reynolds Number
(University of WisconsinMadison Department of Computer Sciences, 1968)