Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Resource dimensioning through buffer sampling Tech Report

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

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
Linking analysis and transformation tools with source-based mappings Tech Report

M. Bruntink (Magiel)

January 2006
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
Runge-Kutta multigrid analysis for space-time discontinuous Galerkin discretization of an advection-diffusion equation Tech Report

M.H. van Raalte (Marc) and C.M. Klaij (Christiaan)

January 2006
Algorithm 850: Real parabolic cylinder functions U(a,x), V(a,x) Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Numerically satisfactory solutions of hypergeometric recursions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2006
Asymptotics of a 3F2 polynomial associated with the Catalan-Larcombe-French sequence Tech Report

N.M. Temme (Nico)

January 2006

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close