Notes on the use of parallelism in ultrahigh speed computer designs /

"December 12, 1955"

Designing computer circuits with a computer /

"This work has been supported by Contract N6ori-71 Task XXIV United States Navy ONR NR 048 094"

Functional device models and computer aided circuit design

Thesis (M.S.)--University of Illinois.

A general method for evaluation of functions and computations in a digital computer /

Vita.

Illiac III computer system manual: arithmetic units

"C00-1018-1194."

NUCLEOL as a formal system.

Thesis (M.S.)--University of Illinois.

PILOT/360 reference manual /

Includes index.

TRANQUIL : a language for an array processing computer /

"April 1, 1969."

Well-founded orderings for proving termination of systems of rewrite rules /

Bibliography: p. 34.

Illiac III computer system manual : taxicrinic processor, volume 2 /

"This work was supported by Contract AT(11-1)-1018 with the U.S. Atomic Energy Commission through September 30, 1970. Current support is under Contract AV(11-1)-2118 with the above agency."

Recurse : a Plato lesson on recursion /

Bibliography: p. 62.

A study of arithmetic recoding with applications in multiplication and division.

Vita.

Computer security and the data encryption standard : proceedings of the Conference on Computer Security and the Data Encryption Standard held at the National Bureau of Standards in Gaithersburg, Maryland, on February 15, 1977 /

Mode of access: Internet.

Common command language for file manipulation and network job execution : an example /

Includes bibliographical references (p. 27).

SimuMap: a computational system for spatial modelling

The paper presents a computational system based upon formal principles to run spatial models for environmental processes. The simulator is named SimuMap because it is typically used to simulate spatial processes over a mapped representation of terrain. A model is formally represented in SimuMap as a set of coupled sub-models. The paper considers the situation where spatial processes operate at different time levels, but are still integrated. An example of such a situation commonly occurs in watershed hydrology where overland flow and stream channel flow have very different flow rates but are highly related as they are subject to the same terrain runoff processes. SimuMap is able to run a network of sub-models that express different time-space derivatives for water flow processes. Sub-models may be coded generically with a map algebra programming language that uses a surface data model. To address the problem of differing time levels in simulation, the paper: (i) reviews general approaches for numerical solvers, (ii) considers the constraints that need to be enforced to use more adaptive time steps in discrete time specified simulations, and (iii) scaling transfer rates in equations that use different time bases for time-space derivatives. A multistep scheme is proposed for SimuMap. This is presented along with a description of its visual programming interface, its modelling formalisms and future plans. (C) 2003 Elsevier Ltd. All rights reserved.