المؤلفون: Sixdenier, Pierre-Louis, Wildermann, Stefan, Teich, Jurgen

المصدر: 2024 13th Mediterranean Conference on Embedded Computing (MECO) Embedded Computing (MECO), 2024 13th Mediterranean Conference on. :1-5 Jun, 2024

Relation: 2024 13th Mediterranean Conference on Embedded Computing (MECO)

المؤلفون: Sixdenier, Pierre-Louis, Wildermann, Stefan, Ottens, Martin, Teich, Jurgen

المصدر: 2023 IEEE International Conference on Edge Computing and Communications (EDGE) EDGE Edge Computing and Communications (EDGE), 2023 IEEE International Conference on. :133-139 Jul, 2023

Relation: 2023 IEEE International Conference on Edge Computing and Communications (EDGE)

المؤلفون: Sixdenier, Pierre-Louis

المصدر: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) ACSOS-C Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2021 IEEE International Conference on. :313-315 Sep, 2021

Relation: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)

المؤلفون: Sixdenier, Pierre-Louis^Aff10, Wildermann, Stefan^Aff10, Ziegler, Daniel^Aff10, Teich, Jürgen^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Orailoglu, Alex, editor^Aff7, Reichenbach, Marc, editor^Aff8, Jung, Matthias, editor^Aff9

المصدر: Embedded Computer Systems: Architectures, Modeling, and Simulation : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings. 13511:329-345

المؤلفون: Esper, Khalil, Spieck, Jan, Sixdenier, Pierre-Louis, Wildermann, Stefan, Teich, Jürgen

مصطلحات موضوعية: Computer systems organization → Multicore architectures, Theory of computation → Linear logic, Theory of computation → Verification by model checking, Verification, Hardware → Finite state machines, Theory of computation → Modal and temporal logics, Computing methodologies → Reinforcement learning, Mathematics of computing → Probabilistic representations, Reinforcement Learning, Computer systems organization → Self-organizing autonomic computing, Runtime Requirement Enforcement

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::029c7de60a7c7e2efa6a38000b55c94d