Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Throughput analysis of a flow-controlled communication network with buffer space limitations Tech Report

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1987
Solving reflexive domain equations in a category of complete metric spaces Tech Report

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1987
A proof rule for process-creation Tech Report

F.S. de Boer (Frank)

January 1987
Random truncation models and Markov processes Tech Report

N. Keiding and R.D. Gill (Richard)

January 1987
Enkele resultaten met de schema's van Roe en Steger & Warming bij transsone stromingen in een MG/eindige-volume methode [Some results of the Roe andSteger & Warming schemes for transonic flows in a MG finite volume method] Tech Report

J.J. Rusch

January 1987
Explicit-implicit methods for time-dependent partial differential equations Tech Report

E.D. de Goede (Erik) and F.W. Wubs (Fred)

January 1987
A note on the partitioning shortest path algorithm Tech Report

M. Desrochers

January 1987
A state space approach to the problem of adaptive pole assignment Tech Report

J.W. Polderman

January 1987
Adaptive exponential stabilization of a first order continuous-time system Tech Report

J.W. Polderman

January 1987
Functionele beschrijving van CAR, een interactief systeem voor 'computer aided routing' [Functional description of CAR, an interactive system for 'computer aided design'] Tech Report

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1987
Using design axioms and topology to model database semantics Tech Report

A.P.J.M. Siebes (Arno) and M.L. Kersten (Martin)

January 1987
A parser generator for finitely ambiguous context-free grammars Tech Report

J. G. Rekers (Jan)

January 1987
Diagonally implicit Runge-Kutta-Nyström methods for oscillatory problems Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1987
Analysis of smoothing matrices for the preconditioning of elliptic difference equations Tech Report

P.J. van der Houwen (Piet), C. Boon and F.W. Wubs (Fred)

January 1987
A note on a diagonally implicit Runge-Kutta-Nyström method Tech Report

B.P. Sommeijer (Ben)

January 1987
Improving the stability of predictor-corrector methods by residue smoothing Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1987
Modelling and filtering of freeway traffic flow Tech Report

S.A. Smulders

January 1987
Waiting times in discrete-time cyclic-service systems Tech Report

O.J. Boxma (Onno) and W.P. Groenendijk

January 1987
The biennial life strategy in a random environment Tech Report

J.B.T.M. Roerdink (Jos)

January 1987
Process management in a distributed operating system Tech Report

S.J. Mullender (Sape)

January 1987
Implementation of elementary functions in ADA Tech Report

M. Bergman

January 1987
Design and implementation of elementary functions in ADA Tech Report

J. Kok (Jan)

January 1987
On proving register atomicity Tech Report

B. Awerbuch (Baruch), L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1987
Atomic multireader register Tech Report

L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1987
An Amoeba replicated service organisation Tech Report

I. Shizgal

January 1987
A fully abstract semantics for data flow nets Tech Report

J.N. Kok (Joost)

January 1987
$ACP_\tau$: a universal axiom system for process specification Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1987
Steps into a geometer's workbench Tech Report

V. Akman (Varol)

January 1987
Geometry and graphics applied to robotics Tech Report

V. Akman (Varol)

January 1987
Term rewriting systems: a tutorial Tech Report

J.W. Klop (Jan Willem)

January 1987
Admissibility in fair Bayes prediction problems Tech Report

M.L. Eaton

January 1987
Controlling error rates using prior information and marginal totals to select tumor sites Tech Report

T.A. Louis and J.K. Bailey

January 1987
Efficient monotone sequential design Tech Report

T.A. Louis

January 1987
Concentration inequalities for Gauss-Markov estimators Tech Report

M.L. Eaton

January 1987
Stochastic and chaotic relaxation oscillations Tech Report

J. Grasman (Johan) and J.B.T.M. Roerdink (Jos)

January 1987
Some stability results for the hopscotch difference method when applied to convection-diffusion equations Tech Report

J.G. Verwer (Jan)

January 1987
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations, update #1 Tech Report

W. Hoffmann (Walter)

January 1987
A numerical study of a 1D stationary semiconductor model Tech Report

B.P. Sommeijer (Ben), W. Hundsdorfer (Willem), C.T.H. Everaars (Kees), P.J. van der Houwen (Piet) and J.G. Verwer (Jan)

January 1987
BEELDEN: een studie naar de mathematische morfologie van Serra [Images: a study to the mathematical morphology of Serra] Tech Report

M. van Herwijnen

January 1987
Low-order spectral models of the atmospheric circulation: a survey Tech Report

H.E. de Swart (Huibert)

January 1987
An abstracto reader prepared for IFIP WG 2.1 Tech Report

L.G.L.T. Meertens (Lambert)

January 1987
Representing knowledge in two distinct descriptions: extensional vs. intensional Tech Report

T. Tomiyama and P.J.W. ten Hagen (Paul)

January 1987
Verification of an algorithm for log-time sorting by square comparison Tech Report

J.C. Mulder and W.P. Weijland

January 1987
Strongly sequential rewriting systems Tech Report

J.W. Klop (Jan Willem) and A. Middeldorp

January 1987
A convergence theorem in process algebra Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1987
Consistency of rule-based expert systems Tech Report

M.A. Bezem

January 1987
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations Tech Report

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1987
Stabilization of explicit difference schemes by smoothing techniques Tech Report

P.J. van der Houwen (Piet)

January 1987
Perspectives on parallel computing Tech Report

G.A.P. Kindervater (Gerard), J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1987
Sojourn times in feedback queues Tech Report

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1987
Local search for constrained routing problems Tech Report

M.W.P. Savelsbergh

January 1987
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials Tech Report

T.H. Koornwinder

January 1987
Action-angle maps and scattering theory for some finite-dimensional integrable systems : the pure solution case Tech Report

S.N.M. Ruijsenaars (Simon)

January 1987
String theory and algebraic geometry of moduli spaces Tech Report

D.J. Smit

January 1987
Verification of a systolic algorithm for string comparison Tech Report

L. Kossen and W.P. Weijland

January 1987
Two normal form theorems for CSP programs Tech Report

K.R. Apt (Krzysztof), L. Bougé and P. Clermont

January 1987
Product-integrals and counting processes Tech Report

R.D. Gill (Richard) and S. Johansen

January 1987
On the Edgeworth expansion and the bootstrap approximation for a studentized U-statistic Tech Report

R. Helmers (Roelof)

January 1987
Non- and semi-parametric maximum likelihood estimators and the Von Mises method Tech Report

R.D. Gill (Richard)

January 1987
An experimental-computational investigation of transonic shock wave-turbulent boundary layer interaction in a curved test section Tech Report

C. Nebbeling and B. Koren (Barry)

January 1987
Optimization of the real level 2 BLAS on the CYBER 205 Tech Report

W.M. Lioen (Walter), M. Nool (Margreet) and H.J.J. te Riele (Herman)

January 1987
Two queues with alternating service and switching times Tech Report

O.J. Boxma (Onno) and W.P. Groenendijk

January 1987
Performance analysis and optimal control of an M/M/1/k queueing system with impatient customers Tech Report

P.R. de Waal

January 1987
Knowledge engineering in design Tech Report

V. Akman (Varol), P.J.W. ten Hagen (Paul), J.L.H. Rogier (Jan) and P. J. Veerkamp (Paul)

January 1987
Mathematical morphology: an algebraic approach Tech Report

H.J.A.M. Heijmans (Henk)

January 1987
Type-checking mini-ML: an algebraic specification with user-defined syntax Tech Report

P.R.H. Hendriks

January 1987
Semantics for PROLOG via term rewrite systems Tech Report

J.C.M. Baeten (Jos) and W.P. Weijland

January 1987
Semantics for logic programs without occur check Tech Report

W.P. Weijland

January 1987
Introduction to logic programming Tech Report

K.R. Apt (Krzysztof)

January 1987
Intelligent systems interconnection: what should come after open systems interconnection? Tech Report

P. Bernus and Z. Létray

January 1987
Locality, communication, and interconnect length in multicomputers Tech Report

P.M.B. Vitányi (Paul)

January 1987
Design as a formal, knowledge engineered activity Tech Report

V. Akman (Varol), P.J.W. ten Hagen (Paul) and T. Tomiyama

January 1987
On a consistent estimate of the index of an extreme value distribution Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

January 1987
Large quantile estimation under extreme-value conditions Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

January 1987
Convergence of Runge-Kutta methods on classes of stiff initial value problems Tech Report

W. Hundsdorfer (Willem)

January 1987
Approximation algorithms for scheduling unrelated parallel machines Tech Report

J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos

January 1987
Vehicle routing with time windows: optimization and approximation Tech Report

M. Desrochers, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and F. Soumis

January 1987
Functional description of CAR, an interactive system for computer aided routing Tech Report

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1987
Jacobi polynomials as generalized Faber polynomials Tech Report

A.I. Zayed (Ahmed)

January 1987
Resource management in DICE Tech Report

R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1987
Correctness proofs for systolic algorithms: a palindrome recognizer Tech Report

W.P. Weijland

January 1987
Readies and failures in the algebra of communicating processes Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1987
A queueing network model for analyzing a class of branch and bound algorithms on a master-slave architecture Tech Report

O.J. Boxma (Onno) and G.A.P. Kindervater (Gerard)

January 1987
Distributed match-making Tech Report

S.J. Mullender (Sape) and P.M.B. Vitányi (Paul)

January 1987
Proposal for standard mathematical packages in ADA Tech Report

J. Kok (Jan)

January 1987
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations : routine: SVDTJP and LSQMNS Tech Report

P.P.M. de Rijk

January 1987
Vectorization of the odd-even Hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burger's equations Tech Report

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

January 1987
Decomposition of graphs on surfaces and a homotopic circulation theorem Tech Report

A. Schrijver (Lex)

January 1987
Introduction to nilpotent approximation filtering Tech Report

M. Hazewinkel (Michiel)

January 1987
Principles of lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1987
A very simple construction for atomic multiwriter register Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1987
Tape versus queue and stacks: the lower bounds Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1987
C-GKS: a C implementation of GKS, the graphical kernel system Tech Report

M.M. de Ruiter

January 1987
Fixpoint representations of characteristic sets of linear-time temporal formulas Tech Report

E. Kranakis (Evangelos) and K.N. Oikonomou (Kostas)

January 1987
Edge-disjoint homotopic paths in straight-line planar graphs Tech Report

A. Schrijver (Lex)

January 1987
Residual smoothing for accelerating the ADI iteration method for elliptic difference equations Tech Report

J.H.M. ten Thije Boonkkamp

January 1987
Graphs related to Held's simple group Tech Report

J.T.M. van Bon (John), A.M. Cohen (Arjeh) and H. Cuypers

January 1987
Parallel computing in combinatorial optimization Tech Report

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

January 1987
An innovation approach to goodness of fit tests in $R m$ Tech Report

E.V. Khmaladze

January 1987
A central limit theorem for M-estimators by the Von Mises method Tech Report

C.C. Heesterman

January 1987

Previous

Next

Available Years