Search
Now showing items 11-20 of 24
A Comparison of Discrete Event Simulation Courses Based on a Small Sample Survey
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76010-R
No abstract available.
A Markov Model of Certain Structured Programs
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76004-R
The paper is concerned with modeling the run time behavior of a certain class of programs. Each program, represented by its flowgraph, is built up from one-in/one-out constructs (after the manner of Dijkstra). The programs ...
Program Testing and Conditional Correctness
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76007-R
It is shown that some beliefs about program testing are incorrect. A new notion of correctness, conditional correctness, is defined. It is then shown that conditional correctness, which can in principle be achieved by ...
Finiteness and Bounds of Complete Test Point Sets for Program Verification
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76003-R
It is proven that there exists a finite set of test points that suffices to establish the equivalence of two programs s and t if some finite set S of programs can be identified that contains both s and t. It is also proven ...
Considerations for Future Programming Language Standards Activities
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76014-R
This paper reviews the current state of programming language standards activities with respect to the anomalies which exist between the various published and proposed standards for FORTRAN, COBOL, PL/I and BASIC. Proposals ...
The Uses of Finite Fields
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76001-R
The paper is tutorial in nature, although some of the results are new. It reviews some of the elementary facts about the structure and construction of finite fields and hypothesizes a computer whose fundamental instruction ...
Fault Location in a Semiconductor Random-access Memory Unit
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1976), CS76009-R
A semiconductor random-accessor memory unit (RAM unit) is a connection of RAM chips, Data Cable, Chip Select Cable, and Address Cable so that each storage element can be selected for writing or reading independent of ...
Closed 1st-Order And 2nd-Order Moment Equations For Stochastic Nonlinear Problems with Applications To Model Hydrodynamic And Vlasov-Plasma Turbulence
(AIP Publishing, 1976-09-01)
Working along the lines of a procedure outlined by Keller, a technique is developed for deriving closed first_ and second_order moment equations for a general class of stochastic nonlinear equations by performing a ...
stochastic wave-kinetic theory in Liouville approximation
(AIP Publishing, 1976-05-01)
The behavior of scalar wave propagation in a wide class of asymptotically conservative, dispersive, weakly inhomogeneous and weakly nonstationary, anisotropic,random media is investigated on the basis of a stochastic, ...
Critical angle for reflection at a liquid-solid interface in single crystals
(Acoustical Society of America, 1976)
Recent investigations have utilized the measurement of the critical angle for reflection from a liquid-solid interface for determination of the elastic constants of the solid. For anisotropic media, this technique is ...