Centrum Wiskunde & Informatica

Verifying a sliding window protocol in mCRL Tech Report

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2003
A language development environment for Eclipse Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and A.T. Kooiker (Taeke)

January 2003
Parallel, distributed-memory implementation of a sparse-grid method for time-dependent advection-diffusion problems Tech Report

C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)

January 2003
Difference schemes for the class of singularly perturbed boundary value problems Tech Report

I. Rafatov (Ismail) and S.N. Sklyar

January 2003
Modeling of non-equilibrium spherical microwave discharge Tech Report

V.M. Lelevkin and I. Rafatov (Ismail)

January 2003
SampLe: towards a framework for system-supported multimedia authoring Tech Report

K. Falkovych (Kateryna), F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Rutledge (Lloyd)

January 2003
Towards a multimedia formatting vocabulary Tech Report

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), J.P.T.M. Geurts (Joost) and L. Rutledge (Lloyd)

January 2003
Monotonicity for time discretizations Tech Report

W. Hundsdorfer (Willem) and S.J. Ruuth

January 2003

Previous

Next