Centrum Wiskunde & Informatica

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 (Andrea)

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

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

January 1996
Waveform relaxation methods for implicit differential equations Tech Report

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1996
A linear-time transformation of linear inequalities into conjunctive normal form Tech Report

J.P. Warners (Joost)

January 1996
Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers Tech Report

D. Naidich and T.B. Dinesh

January 1996
Fluid queues and regular variation Tech Report

O.J. Boxma (Onno)

January 1996
Algebraic verification of a distributed summation algorithm Tech Report

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

January 1996

Previous

Next