Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mikael Briday"'
Publikováno v:
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩
International audience; Intermittent computing is an emerging paradigm for systems without batteries and powered by intermittent energy sources. This paradigm promises a more energy-efficient design of computing systems. It seems particularly well su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7912a70203620ca210a579abcba2662a
https://hal.science/hal-03952467/document
https://hal.science/hal-03952467/document
Publikováno v:
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩
AHS
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩
AHS
International audience; Runtime verification provides a theoretical provedframework to synthesize monitors from formal specifications.At runtime, these monitors can be used to check that theexecution of the system does not violate a security policy o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81091536802c0d4e18a1670d00b10690
https://hal.archives-ouvertes.fr/hal-01804096
https://hal.archives-ouvertes.fr/hal-01804096