Centrum Wiskunde & Informatica

A multigrid approach for the solution of the 2D semiconductor equations Tech Report

J. Molenaar (Gijs) and P.W. Hemker (Piet)

January 1990
The linearly implicit Euler method for quasi-linear parabolic differential equations Tech Report

K. Strehmel, W. Hundsdorfer (Willem), R. Weiner (Rüdiger) and A. Arnold

January 1990
Iterated Runge-Kutta methods on parallel computers Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1990
Performance evaluation of Rosser's method Tech Report

W. Couzy

January 1990
Amoeba: a distributed operating system for the 1990s Tech Report

S.J. Mullender (Sape), G. van Rossum (Guido), A.S. Tanenbaum (Andrew), R. van Renesse (Robbert) and J.M. van Staveren

January 1990
Unique normal forms for disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

January 1990
Grey-level morphology Tech Report

H.J.A.M. Heijmans (Henk)

January 1990
The refinement theorem for ST-bisimulation semantics Tech Report

R.J. van Glabbeek (Rob)

January 1990

Previous

Next