Zobrazeno 1 - 10
of 157
pro vyhledávání: '"Haverkort, Boudewijn R."'
Autor:
Muctadir, Hossain Muhammad, Negrin, David A. Manrique, Gunasekaran, Raghavendran, Cleophas, Loek, Brand, Mark van den, Haverkort, Boudewijn R.
Digital twins (DT) are often defined as a pairing of a physical entity and a corresponding virtual entity (VE), mimicking certain aspects of the former depending on the use-case. In recent years, this concept has facilitated numerous use-cases rangin
Externí odkaz:
http://arxiv.org/abs/2306.10085
Autor:
Muctadir, Hossain Muhammad, Manrique Negrin, David A., Gunasekaran, Raghavendran, Cleophas, Loek, van den Brand, Mark, Haverkort, Boudewijn R.
Publikováno v:
Software & Systems Modeling; Oct2024, Vol. 23 Issue 5, p1275-1305, 31p
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:
EPTCS 227, 2016, pp. 98-117
Nowadays, more and more increasingly hard computations are performed in challenging fields like weather forecasting, oil and gas exploration, and cryptanalysis. Many of such computations can be implemented using a computer cluster with a large number
Externí odkaz:
http://arxiv.org/abs/1610.08172
Autor:
Haverkort, Boudewijn R.
Publikováno v:
EPTCS 133, 2013, pp. 40-46
Over the last decade we have witnessed an increasing use of data processing in embedded systems. Where in the past the data processing was limited (if present at all) to the handling of a small number of "on-off control signals", more recently much m
Externí odkaz:
http://arxiv.org/abs/1311.3630
Publikováno v:
In Electronic Notes in Theoretical Computer Science 9 May 2018 337:173-191
Publikováno v:
In Performance Evaluation March 2016 97:36-56
Autor:
Avritzer, Alberto, Carnevali, Laura, Ghasemieh, Hamed, Happe, Lucia, Haverkort, Boudewijn R., Koziolek, Anne, Menasche, Daniel, Remke, Anne, Sarvestani, Sahra Sedigh, Vicario, Enrico
Publikováno v:
In Electronic Notes in Theoretical Computer Science 5 January 2015 310:5-25
Publikováno v:
Measurement, Modelling and Evaluation of Computing Systems-20th International GI/ITG Conference, MMB 2020, Proceedings, 242-258
STARTPAGE=242;ENDPAGE=258;TITLE=Measurement, Modelling and Evaluation of Computing Systems-20th International GI/ITG Conference, MMB 2020, Proceedings
Lecture Notes in Computer Science ISBN: 9783030430238
MMB
STARTPAGE=242;ENDPAGE=258;TITLE=Measurement, Modelling and Evaluation of Computing Systems-20th International GI/ITG Conference, MMB 2020, Proceedings
Lecture Notes in Computer Science ISBN: 9783030430238
MMB
One of the key challenges in the design of a Safety-Critical Cyber-Physical Systems is Requirements Analysis. Current Requirements Analysis approaches range from informal, human-centered ones that are hard to automate, to formal approaches that often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::950130bfd97d323f1c25039c18bad46a
https://doi.org/10.1007/978-3-030-43024-5_15
https://doi.org/10.1007/978-3-030-43024-5_15
Publikováno v:
In Performance Evaluation 2011 68(2):157-179