The coder : a program module for code generation in high-level language compilers /

Originally presented as the author's thesis (M.S.), University of Illinois at Urbana-Champaign.

The evolution of programs : program abstraction and instantiation /

"NSF-MCS-79-04897."

VIPTRAN2 : an improved programming language and its compiler for process control equations /

Mode of access: Internet.

Radiation preservation of selected fruits and vegetables : an analysis of R & D programming and market factors /

Stanford Research Institute conducted this study to provide information to assist the Atomic Energy Commission in preparing a research and development program leading to the commercial application of radiation pasteurization for selected fruits and vegetables. Under the Quartermaster Corps' extensive program of research on irradiated foods, the five fruits and vegetables (strawberries, peaches, citrus fruits, grapes and tomatoes) of interest to the AEC have been irradiated experimentally. Results are inconclusive, but there are indications of both shelf-life extension and unfavorable radiation effects observed at dose levels below 500,000 rads.

A Fortran program for analysis of ellipsometer measurements. /

Errata notice inserted in the book.

Planning, programming, budgeting, evaluating systems /

WI docs. no.: Ed.3/2:I 5/1979/7/4

Machine-independent computer programming.

Mode of access: Internet.

An Illinois pavement feedback system : feasibility and system requirements /

"Project IHR-517, Illinois Cooperative Highway Research Program."

Planning, programming, budgeting : hearings ... Ninetieth Congress, first session.

Hearings held Aug. 23, 1967-July 4, 1968.

An introduction to ALGOL programming

Bibliography: p. 121.

Influence apart from Adoption: How Interaction between Programming and Scientific Practices Shapes Modes of Inquiry in Four Oceanography Teams

Thesis (Ph.D.)--University of Washington, 2016-06

Negotiating, Communicating, Collaborating: A Sociocultural View of Online Program Development

Thesis (Ph.D.)--University of Washington, 2016-05

Reflective practice at the intersection of the arts, science, and engineering: Ethnographic beginnings of a youth program in transition

Thesis (Master's)--University of Washington, 2016-06

Optimal unravellings for feedback control in linear quantum systems

For quantum systems with linear dynamics in phase space much of classical feedback control theory applies. However, there are some questions that are sensible only for the quantum case: Given a fixed interaction between the system and the environment what is the optimal measurement on the environment for a particular control problem? We show that for a broad class of optimal (state- based) control problems ( the stationary linear-quadratic-Gaussian class), this question is a semidefinite program. Moreover, the answer also applies to Markovian (current-based) feedback.

Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.