Zobrazeno 1 - 4
of 4
pro vyhledávání: '"CR-B.2.2"'
Publikováno v:
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 290-298
STARTPAGE=290;ENDPAGE=298;TITLE=International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)
ICSAMOS
STARTPAGE=290;ENDPAGE=298;TITLE=International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)
ICSAMOS
Medical image processing systems are typically implemented with a number of independent subsystems that have time-triggered interfaces. A critical design parameter for these systems is the latency between the instant that an image is captured and the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00b9549253843d678f363d5d62e9fd17
https://research.utwente.nl/en/publications/08d7c643-3161-413f-8885-b15effcd0259
https://research.utwente.nl/en/publications/08d7c643-3161-413f-8885-b15effcd0259
Autor:
Anne Remke, Marco Gribaudo
Publikováno v:
12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 84-93
STARTPAGE=84;ENDPAGE=93;TITLE=12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010
HASE
STARTPAGE=84;ENDPAGE=93;TITLE=12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010
HASE
A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastructures is introduced, allowing for timed, generally distributed and fluid transitions. Such models are analyzed with Parametric Reachability Analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffa4d5bc59e901b02e7da2646b9d65e4
https://doi.org/10.1109/hase.2010.27
https://doi.org/10.1109/hase.2010.27
Autor:
Xing, Jiansheng, Theelen, B.D., Langerak, Rom, van de Pol, Jaco, Tretmans, Jan, Voeten, J.P.M., Gomes, L., Khomenko, V., Fernandes, J.M.
Publikováno v:
STARTPAGE=47;ENDPAGE=56;TITLE=10 International Conference on Application of Concurrency to System Design
ACSD
Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal, 47-56
STARTPAGE=47;ENDPAGE=56;TITLE=Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal
ACSD
Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal, 47-56
STARTPAGE=47;ENDPAGE=56;TITLE=Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control systems, POOSL has been used to construct models for performance analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e01c4f1a4f37f0d5129d6b2c19c4c85
https://research.tue.nl/en/publications/c415579d-e7f1-4b01-a6fd-4fe7c19d1551
https://research.tue.nl/en/publications/c415579d-e7f1-4b01-a6fd-4fe7c19d1551
Publikováno v:
ISCC
16th IEEE Symposium on Computers and Communications (ISCC 2011), 21-28
STARTPAGE=21;ENDPAGE=28;TITLE=16th IEEE Symposium on Computers and Communications (ISCC 2011)
16th IEEE Symposium on Computers and Communications (ISCC 2011), 21-28
STARTPAGE=21;ENDPAGE=28;TITLE=16th IEEE Symposium on Computers and Communications (ISCC 2011)
The wide deployment of IP technologies has driven the development of IP-based solutions for wireless networks, like the IP-based Radio Access Networks (RAN). Such wireless networks have different characteristics than traditional IP networks, imposing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48728193b22c521e9559e8396347a93e
https://doi.org/10.1109/iscc.2002.1021653
https://doi.org/10.1109/iscc.2002.1021653
