Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Traulsen, Claus"'
Publikováno v:
In Electronic Notes in Theoretical Computer Science 5 June 2008 203(4):65-79
Autor:
Traulsen, Claus
Many embedded systems belong to the class of reactive systems. These are systems that have to react continuously to the environment at a rate that is determined by the environment. Reactive systems have two specific characteristics : their control fl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0aba762a715a96721ce81bcdaa4c3bc8
http://macau.uni-kiel.de/receive/dissertation_diss_00005108
http://macau.uni-kiel.de/receive/dissertation_diss_00005108
Publikováno v:
[Research Report] RR-6922, INRIA. 2009, pp.38
Precision Timed Architectures (PRET) are a recent proposal for designing processors for real-time embedded systems. These processors must guarantee precise worst case reaction time (WCRT) of applications without sacrificing throughput, and must allo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::980edae80a78dae57193061b974322b0
https://inria.hal.science/inria-00391621/file/rr.pdf
https://inria.hal.science/inria-00391621/file/rr.pdf
SystemC has become a de-facto standard for the modeling of systems-on-a-chip, at various levels of abstraction, including the so-called transaction level (TL). Verifying properties of a TL model requires that SystemC be translated into some formally
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d8256934a8e63cc9f7ffaac0374b0f3
https://hal.archives-ouvertes.fr/hal-00294143
https://hal.archives-ouvertes.fr/hal-00294143
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 2010 ACM Symposium: Applied Computing; 3/22/2010, p483-490, 8p
Publikováno v:
Proceedings of the 2009 International Conference: Compilers, Architecture & Synthesis for Embedded Systems; 10/11/2009, p205-214, 10p
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 4/20/2009, p93-98, 6p
Publikováno v:
2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign & System Synthesis (CODES+ISSS); Sep2007, p99-104, 6p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Traulsen, Claus, Cornet, Jérôme, Moy, Matthieu
Publikováno v:
Model Checking Software (9783540733690); 2007, p204-222, 19p