Centrum Wiskunde & Informatica

Synthesis of Mealy machines using derivatives Tech Report

H.H. Hansen (Helle), D.F. de Oliveira Costa (David) and J.J.M.M. Rutten (Jan)

January 2006
Tail behavior of conditional sojourn times in Processor-Sharing queues Tech Report

R.R. Egorova (Regina Robertovna) and A.P. Zwart (Bert)

January 2006
Linking analysis and transformation tools with source-based mappings Tech Report

M. Bruntink (Magiel)

January 2006
Solving scheduling problems by untimed model checking Tech Report

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

January 2006
Maximum likelihood estimation for random sequential adsorption Article

Advances in Applied Probability, 889-898.

M.N.M. van Lieshout (Marie-Colette)

January 2006
Heavy-traffic approximations for linear networks operating under $alpha$-fair bandwidth-sharing policies Tech Report

P.M.D. Lieshout (Pascal), S.C. Borst (Sem) and M.R.H. Mandjes (Michel)

January 2006
Nuovo DRM Paradiso: formal specification and verification of a DRM Tech Report

H.L. Jonker (Hugo), S.K. Nair and M.T. Dashti (Mohammad)

January 2006
Algebraically decaying pulses in a Ginzburg-Landau system with a neutrally stable mode Tech Report

A. Doelman (Arjen), G. Hek (Geertje) and N. Valkhoff

January 2006

Previous

Next