Centrum Wiskunde & Informatica

Stepsize conditions for boundedness in numerical initial value problems Article

SIAM Journal on Numerical Analysis, 3797-3819.

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

January 2009
Analysis of a multirate theta-method for stiff ODEs Article

Applied Numerical Mathematics, 693-706.

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2009
SAT-based Verification for Timed Component Connectors In Proceedings

S. Kemper (Stephanie)

January 2009
Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

January 2009
An efficient multilevel splitting scheme In Proceedings

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

January 2009
Simulation-based computation of the workload correlation function in a Levy-driven queue In Proceedings

P. Glynn and M.R.H. Mandjes (Michel)

January 2009
Resource dimensioning through buffer sampling Article

IEEE/ACM Transactions on Networking, 1631-1644.

M.R.H. Mandjes (Michel) and R. van de Meent

January 2009
Structural properties of reflected Lévy processes Article

Queueing Systems, 301-322.

L.N. Andersen and M.R.H. Mandjes (Michel)

January 2009

Previous

Next