Zobrazeno 1 - 10 of 61 pro vyhledávání: '"Theelen, B.D."'
1
Akademický článek
A scalable single-chip multi-processor architecture with on-chip RTOS kernel
Autor: Theelen, B.D., Verschueren, A.C., Reyes Suárez, V.V., Stevens, M.P.J., Nuñez, A.
Publikováno v: In Journal of Systems Architecture 2003 49(12):619-639
Zobrazit plný text záznamu
2
Performance Model Checking Scenario-Aware Dataflow
Autor: Theelen, B.D., Geilen, M.C.W., Voeten, J.P.M., U. Fahrenberg, S. Tripakis
Publikováno v: Lecture Notes in Computer Science ISBN: 9783642243097
FORMATS
Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark, 43-59
STARTPAGE=43;ENDPAGE=59;TITLE=Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark
Dataflow formalisms are useful for specifying signal processing and streaming applications. To adequately capture the dynamic aspects of modern applications, the formalism of Scenario-Aware Dataflow (SADF) was recently introduced, which allows analys
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::259b6346cc0930eba5105b5b23c3cd13
https://doi.org/10.1007/978-3-642-24310-3_5
Zobrazit plný text záznamu
4
Predicting timing performance of advanced mechatronics control systems
Autor: Voeten, J.P.M., Hendriks, T., Theelen, B.D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C., Huet, van, J., Eichler, G., Kuepper, A., Schau, V., Fouchal, H., Unger, H.
Publikováno v: COMPSAC Workshops
Proceedings of the Computer Software and Applications Conference Workshops (COMPSACW 2011), 18-22 July 2011, Munich, Germany, 206-210
STARTPAGE=206;ENDPAGE=210;TITLE=Proceedings of the Computer Software and Applications Conference Workshops (COMPSACW 2011), 18-22 July 2011, Munich, Germany
Embedded control is a key product technology differentiator for many high-tech industries, including ASML. The strong increase in complexity of embedded control systems, combined with the occurrence of late changes in control requirements, results in
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55ed952b9e7baed0595aceb1322e747d
https://doi.org/10.1109/compsacw.2011.44
Zobrazit plný text záznamu
5
From POOSL to UPPAAL : transformation and quantitative analysis
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
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
Zobrazit plný text záznamu
6
Y-chart based system design: a discussion on approaches
Autor: Lapalme, J., Theelen, B.D., Stoimenov, N., Voeten, J.P.M., Thiele, L., Aboulhamid, E.M.
Publikováno v: Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu'es, 23-56
STARTPAGE=23;ENDPAGE=56;TITLE=Nouvelles approches pour la conception d'outils CAO pour le domaine des systems embarqu'es
Embedded systems are a source of technology that facilitates our modern lifestyle. In order to do so, they tend to increase in complexity as well as integrate in are day-to-day activities. To meet the market's expectations on technological improvemen
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::2e42b754b838bbc62adbdd387537e919
https://research.tue.nl/nl/publications/1afb6f77-61ff-4e7b-b991-b4fed3f01c6f
Zobrazit plný text záznamu
7
Performance Model Generation for MPSoC Design-Sapce Exploration
Autor: Theelen, B.D.
Publikováno v: Quantitative Evaluation of Systems,proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, St. Malo (Fr.) 14-17 Sept. 2008, 39-40
STARTPAGE=39;ENDPAGE=40;TITLE=Quantitative Evaluation of Systems,proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, St. Malo (Fr.) 14-17 Sept. 2008
Multi-processor system-on-chip (MPSoC) design is profiting considerably from the trend towards model-driven design. Design choices in this area cover considerations on alternative parallellisations of application software, alternative architectures f
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::c2a91271c380d1765cf8a3912665310e
https://research.tue.nl/nl/publications/3689904b-3d1e-4b9b-a4c4-ca9a4f4babfe
Zobrazit plný text záznamu
8
Parallel object-oriented specification language
Autor: Florescu, O., Voeten, J.P.M., Theelen, B.D., Geilen, M.C.W., Corporaal, H., Burns, Alan
Publikováno v: ARTIST Survey of Programming Languages
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::68cc565e1f00318a658085a999db476c
https://research.tue.nl/nl/publications/4c6188c8-0ba0-4f22-a8cc-371e249f366c
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje