Centrum Wiskunde & Informatica

PSF : a process specification formalism Dissertation

S. Mauw (Sjouke)

December 1991
A package for long integer arithmetic on the Cray Y-MP Tech Report

D.T. Winter (Dik)

January 1992
Numerical multigrid software: MGD5M, a parallel multigrid code with a twisted ILLU-relaxation Tech Report

M. Nool (Margreet)

January 1992
Animators and error reporters for generated programming environments Tech Report

T.B. Dinesh and F. Tip (Frank)

January 1992
Graphics in the Views system Tech Report

L.G. Barfield (Lon)

January 1992
The ergonomics of software porting : automatically configuring software to runtime environment, or, everything you wanted to know about your C compiler, but didn't know who to ask Tech Report

S. Pemberton (Steven)

January 1992
Design and implementation of a DBMS performance assessment tool Tech Report

M.L. Kersten (Martin) and F. Kwakkel

January 1992
Semantics of Manifold: specification in ASF+SDF and extension Tech Report

E.P.B.M. Rutten and S. Thiébaux

January 1992

Previous

Next