Centrum Wiskunde & Informatica

Verification of temporal properties of processes in a setting with data Tech Report

J.F. Groote (Jan Friso) and R. Mateescu

January 1998
Metrics for classifying heterogeneous objects Tech Report

M.A. Bezem, K. Blok and M. Keijzer

January 1998
Restarting parallel Jacobi-Davidson with both standard and harmonic Ritz values Tech Report

M. Nool (Margreet) and A. van der Ploeg (Auke)

January 1998
Horizontal one-dimensional redistribution of oil and water with hysteresis due to oil entrapment Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

January 1998
Analysis of operator splitting for advection-diffusion-reaction problems from air pollution modelling Tech Report

D. Lanser (Debby) and J.G. Verwer (Jan)

January 1998
A two phase algorithm for solving a class of hard satissfiability problems Tech Report

J.P. Warners (Joost) and H. van Maaren

January 1998
Sojourn time asymptotics in the M/G/1 processor sharing queue Tech Report

A.P. Zwart (Bert) and O.J. Boxma (Onno)

January 1998
On the order of a graph and its deficiency in chordality Tech Report

M. Laurent (Monique)

January 1998

Previous

Next