Centrum Wiskunde & Informatica

Vectorization and parallelization of a numerical scheme for 3D global atmospheric transport-chemistry problems Tech Report

E.J. Spee (Edwin), P.M. de Zeeuw (Paul), J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1996
Parallel iterative linear solvers for multistep Runge-Kutta methods Tech Report

E. Messina, J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1996
Reordering strategies and LU-decomposition of block tridiagonal matrices for parallel processing Tech Report

A. van der Ploeg (Auke)

January 1996
Search and imperative programming Tech Report

K.R. Apt (Krzysztof) and A. Schaerf

January 1996
Proving deadlock freedom of logic programs with dynamic scheduling Tech Report

E. Marchiori and F. J. M. Teusink (Frank)

January 1996
A basic mathematical and numerical model for gas injection Tech Report

J. Molenaar (Gijs)

January 1996
Algebraic verification of a distributed summation algorithm Tech Report

J.F. Groote (Jan Friso) and J.G. Springintveld

January 1996
Complexity of transformation-based optimizers and duplicate-free generation of alternatives Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1996

Previous

Next