Search
Results
-
SCSM - synchronous composition of sequential machines
(1994)TIK ReportThe SCSM formalism allows to define event driven synchronous systems by means of expressions formed by sum, product and restriction operators applied to non-deterministic sequential machines. Deterministic expressions are obtained through global product restrictions, which correlate transitions of non-deterministic components with states of other components. SCSM is usefull as denotation domain for synchronous system description languages, ...Report -
Protocol extension
(1994)ETH, Eidgenössische Technische Hochschule Zürich, Departement InformatikReport -
Hyperbolic Conservation Laws with Source Terms: Errors of the Shock Location
(1994)SAM Research ReportWe investigate the error of the shock location which occurs in numerical solutions of hyperbolic conservation laws with source terms. For our theoretical analysis we consider a scalar Riemann problem. We compute its solution using a splitting method. This means that in each time step the homogeneous conservation law and an ODE (modeling the source term) are solved separately. We show that the local error of the shock location can be ...Report -
A numerical method for unsteady flows
(1994)SAM Research ReportA high resolution finite volume method for the computation of unsteady solutions of the Euler equations in two space dimensions is presented and validated. The scheme is of Godunov-type. The first order part of the flux function uses the approximate Riemann problem solver of Pandolfi and here a new derivation of this solver is presented. This construction paves the way to understand the conditions under which the scheme satisfies an entropy ...Report -
An approach to recognition of printed music
(1994)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Theoretische InformatikReport -
Pre-Wavelets on Scattered Knots and from Radial Function Spaces: A Review
(1994)SAM Research ReportWe review recent work on univariate prewavelets that are either spline prewavelets on non-equally spaced knots or prewavelets from spaces spanned by translates of radial basis functions with non-equally spaced centres. Some of the results on radial basis functions we present apply to more than one dimension as well, so long as the centres are again confined to a grid.Report -
Führung von Informatikprojekten durch Studentengruppen
(1994)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
The COCOON object model
(1994)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Archiv für Zeitgeschichte Jahresbericht 1993
(1994)Archiv für Zeitgeschichte JahresberichtReport