CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2003
-
January 2003
-
Effective modeling of software architectural assemblies using constraint automata Tech Report
N.R. Mehta (Nikunj), M. Sirjani (Marjan) and F. Arbab (Farhad)
January 2003
-
An unstructured parallel least-squares spectral element solver for incompressible flow problems Tech Report
January 2003
-
January 2003
-
Mixture formula for shot noise weighted point processes Tech Report
P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu
January 2003
-
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