Browsing CS Technical Reports by Title
Now showing items 1015-1034 of 1770
-
NP-Completeness of Linearly-Connected Multiprocessor Scheduling
(University of Wisconsin-Madison Department of Computer Sciences, 1987) -
Nuclear Feature Extraction for Breast Tumor Diagnosis
(University of Wisconsin-Madison Department of Computer Sciences, 1992) -
Number Theoretic Algorithms
(University of Wisconsin-Madison Department of Computer Sciences, 1989) -
Numeric Analysis of Array Operations
(University of Wisconsin-Madison 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 Wisconsin-Madison 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 out-of-bounds array accesses and integer overflows, which ... -
A Numerical Approach to Wind-Driven Ocean Circulation
(University of Wisconsin-Madison Department of Computer Sciences, 1972)A numerical method is developed for a widely studied, wind-driven 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 Wisconsin-Madison Department of Computer Sciences, 1970)Two new discrete methods, one based on discrete mechanics, the other based on high-order 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 Wisconsin-Madison Department of Computer Sciences, 1968) -
The Numerical Solution of Boundary Value Problems for Second Order Functional Differential Equations by Finite Differences
(University of Wisconsin-Madison Department of Computer Sciences, 1971) -
Numerical Solution of Discrete Nondegenerate N-Body Problems with an Application to Free Surface Fluid Flow
(University of Wisconsin-Madison Department of Computer Sciences, 1970) -
The Numerical Solution of Volterra Functional Differential Equations by Euler's Method
(University of Wisconsin-Madison Department of Computer Sciences, 1969) -
Numerical Studies of Discrete Vibrating Strings
(University of Wisconsin-Madison Department of Computer Sciences, 1972) -
Numerical Studies of Flow Between Rotating Coaxial Disks
(University of Wisconsin-Madison 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 Wisconsin-Madison Department of Computer Sciences, 1968) -
Numerical Studies of Steady, Viscous, Incompressible Flow Between Two Rotating Spheres
(University of Wisconsin-Madison 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 Navier-Stokes 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 Wisconsin-Madison Department of Computer Sciences, 1968) -
Numerical Studies of the 3-Body Problem
(University of Wisconsin-Madison Department of Computer Sciences, 1969) -
Numerical Studies of Two Dimensional, Steady State Navier-Stokes Equations for Arbitrary Reynolds Number
(University of Wisconsin-Madison Department of Computer Sciences, 1967) -
Numerical Studies of Viscous, Incompressible Flow for Arbitrary Reynolds Number
(University of Wisconsin-Madison Department of Computer Sciences, 1968) -
Numerical Studies of Viscous, Incompressible Flow Through an Orifice for Arbitrary Reynolds Number
(University of Wisconsin-Madison Department of Computer Sciences, 1968)