Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Erwin M. Thurner"'
Publikováno v:
Informatik-Spektrum. 21:318-327
Die Akzeptanz von technischen Systemen wird wesentlich davon beeeinflust, das sie ihre spezifizierte Funktion verlaslich – d.h. sicher und zuverlassig – ausfuhren. Insbesondere bei komplexen Systemen sind daher eine strukturierte Vorgehensweise u
Autor:
Erwin M. Thurner
Publikováno v:
Performance Evaluation of Computer and Communication Systems ISBN: 354057297X
Performance/SIGMETRICS Tutorials
Performance/SIGMETRICS Tutorials
System monitors record inner states of computing systems. They are required for the debugging of computer systems as well as for the measurement of performance and they are used for the verification of system models, too. This paper first discusses t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5331ffd66eddb0455856a6a450e7497
https://doi.org/10.1007/bfb0013867
https://doi.org/10.1007/bfb0013867
Autor:
H. Kufner, Erwin M. Thurner, Andrea Bobbio, Eric Verhulst, A. Klein, Susanna Donatelli, Rudy Lauwereins, F. Cassinari, Geert Deconinck, V. De Florio, O. Botti
Publikováno v:
PDP
Available solutions for fault tolerance in embedded automation are often based on strong customisation, have impacts on the whole life-cycle, and require highly specialised design teams, thus making dependable embedded systems costly and difficult to
Autor:
Geert Deconinck, Andrea Bobbio, A. Klein, H. Kufner, Rudy Lauwereins, Erwin M. Thurner, Susanna Donatelli, O. Botti, Eric Verhulst, Vincenzo De Florio, Flavio Cassinari
Publikováno v:
Euro-Par’99 Parallel Processing ISBN: 9783540664437
Euro-Par
Euro-Par
Available solutions for fault tolerance in embedded automation are often based on strong customisation, have impacts on the whole life-cycle, and require highly specialised design teams, thus making dependable embedded systems costly and difficult to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbb5daf7470abf20bc6a45946fcecb62
https://doi.org/10.1007/3-540-48311-x_164
https://doi.org/10.1007/3-540-48311-x_164
Autor:
Erwin M. Thurner
Publikováno v:
Computer Aided Systems Theory — EUROCAST '95 ISBN: 9783540607489
EUROCAST
EUROCAST
The formal description of hardware protocols allows system engineers to check these protocols for some important properties, such as completeness and consistency. In this paper, a methodology called trigger graph is introduced. It uses a notation tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5a07aa374b9b599a7476779da593c33
https://doi.org/10.1007/bfb0034752
https://doi.org/10.1007/bfb0034752
Autor:
Erwin M. Thurner
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540576013
EUROCAST
EUROCAST
While constructing a bus interface, mainly two problems arise: On the one hand, the protocols of both sides of the interface have to be described, on the other hand, the transformation between these protocols has to be done. To cope with the first pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c02dddd7c65eb0e39e4b43fda21a30e2
https://doi.org/10.1007/3-540-57601-0_50
https://doi.org/10.1007/3-540-57601-0_50