Centrum Wiskunde & Informatica

Origin tracking Tech Report

A. van Deursen (Arie), P. Klint (Paul) and F. Tip (Frank)

January 1992
An architecture for interactive raster graphics Tech Report

A.A.M. Kuijk (Fons), E.H. Blake (Edwin) and P.J.W. ten Hagen (Paul)

January 1992
Faster Phong shading Tech Report

E.H. Blake (Edwin), V.C.J. Disselkoen and A.A.M. Kuijk (Fons)

January 1992
A predicate transformer to unification Tech Report

L. Colussi (Livio) and E. Marchiori

January 1992
Turning SOS rules into equations Tech Report

L. Aceto (Luca), B. Bloom and F.W. Vaandrager (Frits)

January 1992
Computable processes and bisimulation equivalence Tech Report

A. Ponse (Alban)

January 1992
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent and H.J.J. te Riele (Herman)

January 1992
Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited Tech Report

S.M. Eker

January 1992

Previous

Next