Centrum Wiskunde & Informatica

An approximation algorithm for square packing Tech Report

R. van Stee (Rob)

January 2004
Generalizing DPLL and satisfiability for equalities Tech Report

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)

January 2004
Compositional construction of web services using Reo Tech Report

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

January 2004
Simplifying Itai-Rodeh leaderelection for anonymous rings Tech Report

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2004
Exact Metropolis-Hastings sampling for marked point processes using a C++ library Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2004
Symphony: view-driven software architecture reconstruction Tech Report

A. van Deursen (Arie), C. Hofmeister, R. Koschke, L.M.F. Moonen (Leon) and C. Riva

January 2004
Modal abstractions in $ \mu $ CRL Tech Report

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2004
How mobility impacts the flow-level performance of wireless data networks Tech Report

T. Bonald, S.C. Borst (Sem) and A. Proutière

January 2004

Previous

Next