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 2005
-
Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Tech Report
R. Bekker (Rene), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)
January 2005
-
January 2005
-
January 2005
-
An industrial application of context-sensitive formatting. Tech Report
M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), N.P. Veerman and J.J. Vinju (Jurgen)
January 2005
-
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report
January 2005
-
History of the software industry: the challenge Tech Report
G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart
January 2005
-
January 2005