Publications from 2012
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
Block Runge-Kutta methods on parallel computers Tech Report
January 1989 -
January 1989
-
January 1989
-
Designing concurrency semantics Tech Report
January 1989 -
January 1989
-
Process expressions and Hoare's logic Tech Report
January 1989 -
Placing mirrors in grids Tech Report
January 1989 -
An algebra for process creation Tech Report
January 1989 -
Lists and associative functions in algebraic specifications : semantics and implementation Tech Report
January 1989 -
Faster Phong shading via angular interpolation Tech Report
January 1989 -
A dataflow graphics workstation Tech Report
January 1989 -
January 1989
-
January 1989
-
On the safe termination of PROLOG programs Tech Report
January 1989 -
Constructing a calculus of programs Tech Report
January 1989 -
Inductive reasoning and Kolmogorov complexity Tech Report
January 1989 -
On downward closure ordinals of logic programs Tech Report
January 1989 -
January 1989
-
January 1989
-
Random Markov processes and uniform martingales Tech Report
January 1989 -
2.5 Dimensional graphics systems Tech Report
January 1989 -
Refinement in branching time semantics Tech Report
January 1989 -
January 1989
-
January 1989
-
Testing of elementary functions in ADA Tech Report
January 1989 -
January 1989
-
A parallel expert system shell Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
Scheduling around a small common due date Tech Report
January 1989 -
Sojourn times in queueing networks Tech Report
January 1989 -
January 1989
-
Belief networks in plausible reasoning Tech Report
January 1989 -
January 1989
-
January 1989
-
Block Runge-Kutta methods Tech Report
January 1989 -
January 1989
-
Affine polar spaces Tech Report
January 1989 -
January 1989
-
Morphological sampling Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: OEHPC Tech Report
January 1989 -
Stabilization of a time integrator for the 3D shallow water equations by smoothing techniques Tech Report
January 1989 -
A-stable parallel block methods Tech Report
January 1989 -
On the zeros of the error term for the mean square of $ \vert \zeta ({1 \over 2} + it) \vert $ Tech Report
January 1989 -
January 1989
-
Modular parser generation Tech Report
January 1989 -
January 1989
-
January 1989
-
A survey of concurrent readers and writers Tech Report
January 1989 -
January 1989
-
How to construct an atomic variable Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989
-
Perturbation theory for dual semigroups and its applications to age-dependent population dynamics Tech Report
January 1989 -
January 1989
-
January 1989
-
The M/G/1 queue with permanent customers Tech Report
January 1989 -
Stochastic realization problems Tech Report
January 1989 -
Relativistic Toda systems Tech Report
January 1989 -
January 1989
-
Short proofs on multicommodity flows and cuts Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989
-
Amoeba: high-performance distributed computing Tech Report
January 1989 -
The syntax of Slavic aspect : extended abstract Tech Report
January 1989 -
January 1989
-
January 1989
-
Addition chain heuristics Tech Report
January 1989 -
An approach to hierarchical input devices Tech Report
January 1989 -
Components, frameworks and GKS input Tech Report
January 1989 -
January 1989
-
January 1989
-
Supercongruences Tech Report
January 1989 -
January 1989
-
Exact finite dimensional representations of models for physiologically structured populations Tech Report
January 1989 -
January 1989
-
On the uniqueness of kernels Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989