Publications from 2013
-
January 1994
-
January 1994
-
January 1994
-
January 1994
-
VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part I: Algorithmic aspects and applications Tech Report
January 1994 -
January 1994
-
Polling systems with multiple coupled servers Tech Report
January 1994 -
Self-dual morphological operators and filters Tech Report
January 1994 -
January 1994
-
January 1994
-
Declarative interpretations reconsidered Tech Report
January 1994 -
Two heads are better than two tapes Tech Report
January 1994 -
January 1994
-
Proof-checking a data link protocol Tech Report
January 1994 -
Self-stabilizing wait-free clock synchronization Tech Report
January 1994 -
Randomized wait-free naming Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
Antialiasing and shading, an implementation Tech Report
January 1994 -
An approximate Riemann solver for magnetohydrodynamics (that works in more than one dimension) Tech Report
January 1994 -
Parallel predictor-corrector methods Tech Report
January 1994 -
January 1994
-
Supervisory control for nondeterministic systems Tech Report
January 1994 -
Modelling dependence between interaarival and service times with Markovian arrival processes Tech Report
January 1994 -
Impatient customers in the MAP/G/I queue Tech Report
January 1994 -
Computable processes Tech Report
January 1994 -
Architectural support for data mining Tech Report
January 1994 -
January 1994
-
Spatial audio in graphical applications Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
Image segmentation by connectivity preserving relinking in hierarchical graph structures Tech Report
January 1994 -
On orthonormal polynomials and kernel polynomials associated with a matrix spectral distribution function Tech Report
January 1994 -
Morphological operators for image sequences Tech Report
January 1994 -
January 1994
-
Polling models with and without switchover times Tech Report
January 1994 -
January 1994
-
Privacy from partial broadcast Tech Report
January 1994 -
Multigrid and advection Tech Report
January 1994 -
Numerical smog prediction Tech Report
January 1994 -
January 1994
-
January 1994
-
Matching Tech Report
January 1994 -
January 1994
-
January 1994
-
Homogeneous discoveries contain no surprises: inferring risk-profiles from large databases Tech Report
January 1994 -
January 1994
-
January 1994
-
A bottom-up semantics for constructive negation Tech Report
January 1994 -
GEL, a graph exchange language Tech Report
January 1994 -
January 1994
-
January 1994
-
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Tech Report
January 1994 -
A preconditioned Jacobi-Davidson method for solving large generalized eigenvalue problems Tech Report
January 1994 -
January 1994
-
January 1994
-
A survey of program slicing techniques Tech Report
January 1994 -
Indefeasible semantics and defeasible pragmatics Tech Report
January 1994 -
The integration project for the JACK environment Tech Report
January 1994 -
January 1994
-
Verification of an audio control protocol Tech Report
January 1994 -
A logic for variable aliasing in logic programs Tech Report
January 1994 -
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report
January 1994 -
An environment for computational steering Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
On the determination of the stationary distribution of a symmetric clocked buffered switch Tech Report
January 1994 -
January 1994
-
Branching bisimulation as a strong bisimulation Tech Report
January 1994 -
Efficient parallel predictor-corrector methods Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
January 1994
-
January 1994
-
More (on) unification-free Prolog programs Tech Report
January 1994 -
Off-line cash transfer by smart cards Tech Report
January 1994 -
A Lindström theorem for modal logic Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
Action transducers and timed automata Tech Report
January 1994 -
Lazy rewriting on eager machinery Tech Report
January 1994 -
Zooming in, zooming out Tech Report
January 1994 -
January 1994
-
Remarks on sparse-grid finite-volume multigrid Tech Report
January 1994 -
Stability analysis of an odd-even-line hopscotch method for three-dimensional advection-diffusion problems Tech Report
January 1994 -
January 1994
-
January 1994
-
Delaunay transformations of a Delaunay polytope Tech Report
January 1994 -
Impulsive-smooth behavior in multimode systems Tech Report
January 1994 -
Equilibrium and transient system effectiveness of a production unit with an output buffer Tech Report
January 1994 -
January 1994
-
Load sharing in models with communication delays Tech Report
January 1994