Centrum Wiskunde & Informatica

Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1993
Approximable sets Tech Report

R. Beigel, M. Kummer and F. Stephan

January 1993
A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

January 1993
Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

January 1993
Transforming acyclic programs Tech Report

A. Bossi and S. Etalle (Sandro)

January 1993
A comparison of additivity axioms in timed transition systems Tech Report

A.S.A. Jeffrey, S.A. Schneider (Steve) and F.W. Vaandrager (Frits)

January 1993
A hierarchical highway recognition from satellite images Tech Report

M. Haindl, A. Gagalowicz and B. Jedynak

January 1993
Stochastic realization of a Gaussian stochastic control system Tech Report

J.H. van Schuppen (Jan)

January 1993

Previous

Next