Zobrazeno 1 - 10 of 119 pro vyhledávání: '"Voeten, J.P.M."'
1
Compositional specification of functionality and timing of manufacturing systems
Autor: van der Sanden, L.J., Nogueira Bastos, J.P., Voeten, J.P.M., Geilen, M.C.W., Reniers, M.A., Basten, T., Jacobs, J., Schiffelers, R.R.H.
Publikováno v: Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016
In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specifie
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::03a7360a1c3f9acdf9c4cabe9a166e74
https://research.tue.nl/nl/publications/c92cf391-ccde-4790-8e11-7d0774b392f0
Zobrazit plný text záznamu
2
xCPS : a tool to eXplore cyber physical systems
Autor: Adyanthaya, S., Alizadeh Ara, H., Bastos, J.P., Baghbanbehrouzian, A., Medina Sanchez, R.A., Pinxten, van, J.H.H., Sanden, van der, L.J., Waqas, U., Basten, A.A., Corporaal, H., Frijns, R.M.W., Geilen, M.C.W., Goswami, D., Stuijk, S., Reniers, M.A., Voeten, J.P.M., Grimheden, M.E.
Publikováno v: Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands, 1-8
STARTPAGE=1;ENDPAGE=8;TITLE=Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands
WESE
Grimheden M.E, 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015-Proceedings
Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is a challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hand
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2102a08069d41d5eca44cdf434ae6c6e
https://research.tue.nl/nl/publications/2f2a611c-8bdc-42c5-acb0-2f86d8a4be97
Zobrazit plný text záznamu
3
Robustness analysis of multiprocessor schedules
Autor: Adyanthaya, S., Zhang, Z., Geilen, M.C.W., Voeten, J.P.M., Basten, T., Schiffelers, R.R.H., Galuzzi, C., Veidenbaum, A.
Publikováno v: Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece, 9-17
STARTPAGE=9;ENDPAGE=17;TITLE=Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece
Veidenbaum A.V.Galuzzi C., 14th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2014, 14 July 2014 through 17 July 2014, 9-17
ICSAMOS
Tasks executing on general purpose multiprocessor platforms exhibit variations in their execution times. As such, there is a need to explicitly consider robustness, i.e., tolerance to these fluctuations. This work aims to quantify the robustness of s
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79b95c161d56cef7a5bbb6c038c67e22
http://resolver.tudelft.nl/uuid:63d82666-513b-4676-9087-c676df125af6
Zobrazit plný text záznamu
4
Calibration error bound estimation in performance modeling
Autor: Parappurath, V., Voeten, J.P.M., Kotterink, C., Matos, J.S., Leporati, F.
Publikováno v: DSD
Proceedings 16th Euromicro conference on digital system design (DSD 2013), 4-6 September 2013, Santander, Spain, 97-102
STARTPAGE=97;ENDPAGE=102;TITLE=Proceedings 16th Euromicro conference on digital system design (DSD 2013), 4-6 September 2013, Santander, Spain
Performance modeling of embedded systems is used to explore the system-level design-space and compare a wide range of possible solutions with respect to their performance gain. Calibration and validation of the developed performance models help ensur
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbb0c2753c007b8e669fb9e5a7622baf
https://doi.org/10.1109/dsd.2013.18
Zobrazit plný text záznamu
5
Dataflow-based multi-ASIP platform approach for digital control applications
Autor: Frijns, R.M.W., Kamp, A.L.J., Stuijk, S., Voeten, J.P.M., Bontekoe, M., Gemei, K.J.A., Corporaal, H., Silva Matos, J., Leporati, F.
Publikováno v: 16th Euromicro Conference on Digital System Design, DSD 2013, 4 September 2013 through 6 September 2013, Santander, 811-814
DSD
Proceedings 16th Euromicro Conference on Digital Systems Design (DSD 2013), 4-6 September 2013, Santandor, Spain, 811-814
STARTPAGE=811;ENDPAGE=814;TITLE=Proceedings 16th Euromicro Conference on Digital Systems Design (DSD 2013), 4-6 September 2013, Santandor, Spain
To provide a good balance between the performance and flexibility of future digital control platforms, we propose an FPGA-based heterogeneous multiprocessor approach, in which the platform is composed of processing elements from a set of parameteriza
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::358df370f6e727aadb21d6e241a90093
https://research.tue.nl/en/publications/71870501-7fa1-4f72-b003-b60bcfa2a4c5
Zobrazit plný text záznamu
6
Modelgebaseerd ontwerp van regelaars in lithoscanners
Autor: Schiffelers, R.R.H., Alberts, W., Voeten, J.P.M.
Publikováno v: Bits & Chips : Nieuwsmagazine voor de Hightechindustrie, 4, 34-37
Samen met het Esi en de TUE heeft ASML een multidisciplinaire modelgebaseerde ontwikkelomgeving op poten gezet. In dit artikel beschrijven zij hoe de omgeving helpt om de toenemende complexiteit van de Veldhovense lithografiesystemen het hoofd te bie
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::db6d7eef6c80ff407cfc36d2ca84179f
https://research.tue.nl/nl/publications/6e668b7f-1f1e-4487-b793-97d079d100fc
Zobrazit plný text záznamu
7
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
9
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
10
UPPAAL in Practice: Quantitative Verication of a RapidIO Network
Autor: Xing, Jiansheng, Theelen, Bart D., Langerak, Rom, van de Pol, Jaco, Tretmans, Jan, Voeten, J.P.M., Margaria, Tiziana, Steffen, Bernhard
Publikováno v: Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, 160-174
STARTPAGE=160;ENDPAGE=174;TITLE=Leveraging Applications of Formal Methods, Verification, and Validation
Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece, 160-174
STARTPAGE=160;ENDPAGE=174;TITLE=Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece
Packet switched networks are widely used for interconnecting distributed computing platforms. RapidIO (Rapid Input/Output) is an industry standard for packet switched networks to interconnect multiple processor boards. Key performance metrics for the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6db2c63788532390b46ca8e44f90460
https://research.utwente.nl/en/publications/ace02c8e-676b-45a8-a408-0b3049965d0b
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