Publications from 2068

Metric pomset semantics for a concurrent language with recursion In Proceedings

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

Multimedia : a round table discussion about the state of the art, Amsterdam, CWI, 11-12.04.1990 Book

Analysis of the exit problem for randomly perturbed dynamical systems in applications Dissertation

H.N.M. Roozen

9-th Benelux meeting on systems and control : Veldhoven, 14-16.03.1990 : book of abstracts Book

9-th Benelux meeting on systems and control : Veldhoven, 14-16.03.1990 : final program Booklet

9-th Benelux meeting on systems and control : Veldhoven, 14-16.03.1990 : preliminary program Booklet

On complex objects Dissertation

A.P.J.M. Siebes (Arno)

Performance analysis of polling systems Article

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

Models of multiswitch energy Article

G. Kissin

Representations of the infinite matrix algebra Article

A.P.E. ten Kroode and J. van de Leur

Index theorems and anomalies: a common playground for mathematicians and physicists Article

S.N.M. Ruijsenaars (Simon)

Nonlinear multigrid applied to a 1D steady transistor problem In Proceedings

P.M. de Zeeuw (Paul)

Algebraic techniques for concurrency and their application Dissertation

F.W. Vaandrager (Frits)

Conservation laws in polling systems = Behoudswetten in polling systemen Dissertation

W.P. Groenendijk

Fifteenth conference on the mathematics of operations research : Lunteren, 15-17.01.1990 : program Booklet

Fifteenth conference on the mathematics of operations research : Lunteren, 15-17.01.1990 : program and abstracts Booklet

Entropy errors in the numerical approximation of the Euler flow along a kinked wall In Proceedings

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

Euler flow solutions for a transonic wind tunnel section In Proceedings

B. Koren (Barry)

A computational tool for analizing strong viscous-inviscid interactions in gasdynamics In Proceedings

B. Koren (Barry)

Multigrid and defect correction for the steady Navier-Stokes equations Article

B. Koren (Barry)

Uniform asymptotic approximation of Fermi-Dirac integrals Tech Report

N.M. Temme (Nico) and A.B. Olde Daalhuis

Grey-level morphology Tech Report

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

Minimizing maximum earliness and maximum lateness on a single machine Tech Report

J.A. Hoogeveen

Minimality of descriptor representations under external equivalence Tech Report

M. Kuijper and J.M. Schumacher (Hans)

On a local limit theorem for lattice distribution Tech Report

N.G. Gamkrelidze

An efficient algorithm for branching bisimulation and stuttering equivalence Tech Report

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

The refinement theorem for ST-bisimulation semantics Tech Report

R.J. van Glabbeek (Rob)

Unique normal forms for disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

Amoeba: a distributed operating system for the 1990s Tech Report

S.J. Mullender (Sape), G. van Rossum (Guido), A.S. Tanenbaum (Andrew), R. van Renesse (Robbert) and J.M. van Staveren

Paramorphisms Tech Report

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

Algorithms from theorems Tech Report

J. Jeuring (Johan)

Finding all minimal covers of a set using implicit enumeration Tech Report

J.W. Spee

Performance evaluation of Rosser's method Tech Report

W. Couzy

Iterated Runge-Kutta methods on parallel computers Tech Report

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

The linearly implicit Euler method for quasi-linear parabolic differential equations Tech Report

K. Strehmel, W. Hundsdorfer (Willem), R. Weiner (Rüdiger) and A. Arnold

A multigrid approach for the solution of the 2D semiconductor equations Tech Report

J. Molenaar (Gijs) and P.W. Hemker (Piet)

Finite-dimensional soliton systems Tech Report

S.N.M. Ruijsenaars (Simon)

Patterns in the effects of infectious diseases on population growth Tech Report

O. Diekmann (Odo) and M. Kretzschmar

Modeling clip: some more results Tech Report

J. Hübl and I. Herman (Ivan)

An exponential fitting method in two dimensions Tech Report

R.R.P. van Nooyen (Ronald)

An evaluation of the gradient-weighted moving-finite-element method in one space dimension Tech Report

P.A. Zegeling (Paul) and J.G. Blom (Joke)

Analysis of Christofides' heuristic: some paths are more difficult than cycles Tech Report

J.A. Hoogeveen

The M/G/1 queue with processor sharing and its relation to a feedback queue Tech Report

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

Time to failure, time to repair and availability of a two-unit standby system with Markovian degrading units Tech Report

F.A. van der Duyn Schouten and P. Wartenhorst

Polynomial-time algorithms for single-machine multicriteria scheduling Tech Report

J.A. Hoogeveen and S.L. van de Velde

Introduction to aspects of object oriented graphics Tech Report

E.H. Blake

Analysis of the convergence of iterative implicit and defect-correction algorithms for hyperbolic problems Tech Report

J.-A. Désidéri and P.W. Hemker (Piet)

The center manifold for delay equations in the light of suns and stars Tech Report

O. Diekmann (Odo) and S.A. van Gils (Stephan)

Systematic computations on Gauss' lattice point problem : in commemoration of Johannes Gualtherus van der Corput, 1890-1975 Tech Report

J. van de Lune (Jan) and E. Wattel (Evert)

Defect correction and nonlinear multigrid for steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

Parallel ODE solvers Tech Report

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

Spurious entropy generation in a non-smooth geometry Tech Report

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

Acyclic programs : extended abstract Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Tech Report

J.W. Klop (Jan Willem)

Specification and verification of real time systems in ACP Tech Report

J.F. Groote (Jan Friso)

Proving termination of parallel programs Tech Report

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

More computations on Gauss' lattice point problem Tech Report

J.T. Tromp (John)

Comparative semantics for a parallel contextual programming language Tech Report

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

From binary to grey-level morphology Tech Report

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

On the topology induced by the adjoint of a semigroup of operators Tech Report

J.M.A.M. van Neerven (Jan)

Duality-based algorithms for scheduling unrelated parallel machines Tech Report

S.L. van de Velde

Asymptotic properties of statistical models in software reliability Tech Report

M.C. J. van Pul (Mark)

Associative storage modification machines Tech Report

J.T. Tromp (John) and P. van Emde Boas (Peter)

Some algorithms on addition chains and their complexity Tech Report

M.J. Coster

Fully abstract denotational models for nonuniform concurrent languages Tech Report

E. Horita, J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

Parallel processing in number-theoretical problems Tech Report

H.J.J. te Riele (Herman)

Generalizing completeness results for loop checks Tech Report

R.N. Bol

Towards more efficient loop checks Tech Report

R.N. Bol

Unconditional convergence of some Crank-Nicolson LOD methods for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem)

Rekenen aan de Riemann hypothese [Computing the Riemann hypothesis] Tech Report

H.J.J. te Riele (Herman)

Disjoint paths in a planar graph : a general theorem Tech Report

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

Disjoint cycles in directed graphs on the torus and the Klein bottle Tech Report

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

Edge-disjoint circuits in graphs on the torus Tech Report

A. Frank and A. Schrijver (Lex)

A simpler proof and a generalization of the zero-trees theorem Tech Report

A. Schrijver (Lex) and P.D. Seymour (Paul)

On the attained waiting time Tech Report

J.W. Cohen

Efficient visit orders for polling systems Tech Report

O.J. Boxma (Onno), H. Levy and J.A. Weststrate

Multiprocessor scheduling with communication delays Tech Report

B. Veltman, B.J. Lageweg and J.K. Lenstra (Jan Karel)

Asymptotic theory of M-estimators in general statistical models. Part I: On asymptotic behaviour of estimators under model disturbance Tech Report

R.J. Chitashvili, N.L. Lazrieva and T.A. Toronjadze

Three logics for branching bisimulation Tech Report

R. De Nicola (Rocco) and F.W. Vaandrager (Frits)

Reactive, generative, and stratified models of probabilistic processes Tech Report

R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts

Back and forth bisimulations Tech Report

R. De Nicola (Rocco), U. Montanari and F.W. Vaandrager (Frits)

Resolution and logical consequences Tech Report

L. Kossen

Process algebra with zero object Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

On the role of delegation and inheritance in object-oriented database systems Tech Report

D.B.M. Otten (Daan) and P.J.W. ten Hagen (Paul)

Metric pomset semantics for a concurrent language with recursion Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

The $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

Upper and lower bounds on switching energy in VLSI Tech Report

G. Kissin

Studies in pure PROLOG : termination Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

Analysis of the implicit Euler local uniform grid refinement method Tech Report

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

Uniform Airy type expansions of integrals Tech Report

A.B. Olde Daalhuis and N.M. Temme (Nico)

Mathematical morphology on the sphere Tech Report

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

Askey-Wilson polynomials as zonal spherical functions on the SU(2) quantum group Tech Report

T.H. Koornwinder

Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature Tech Report

E. Badertscher and T.H. Koornwinder

Morphological filtering and iteration Tech Report

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

Modelling infectious diseases in structured populations Tech Report

O. Diekmann (Odo)

Dual decomposition of single-machine scheduling problems Tech Report

S.L. van de Velde

Bootstrapping U-quantiles Tech Report

R. Helmers (Roelof), P. Janssen and N. Veraverbeke

On the random walk with zero drifts in the first quadrant of $R_ 2$ Tech Report

J.W. Cohen