Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Soulat, Romain"'
Publikováno v:
Proceedings of ACM SAC 2023
Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this approach is however less efficient for conditions, decisions, advanced c
Externí odkaz:
http://arxiv.org/abs/2211.14592
The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed an industrial election algorithm with an arbitrary number of processes
Externí odkaz:
http://arxiv.org/abs/1812.08949
Autor:
Soulat, Romain
Dans cette thèse, nous nous intéressons au calcul d'ordonnanceurs pour les systèmes hybrides. En fait, nous considérons deux sous-classes des systèmes hybrides, les systèmes temps-réels où des tâches doivent se partager l'accès à une resso
Externí odkaz:
http://www.theses.fr/2014DENS0009/document
Publikováno v:
EPTCS 156, 2014, pp. 5-16
High-power converters based on elementary switching cells are more and more used in the industry of power electronics owing to various advantages such as lower voltage stress and reduced power loss. However, the complexity of controlling such convert
Externí odkaz:
http://arxiv.org/abs/1407.3890
Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable variable. In this
Externí odkaz:
http://arxiv.org/abs/1302.1306
Publikováno v:
EPTCS 73, 2011, pp. 35-48
We consider here systems with piecewise linear dynamics that are periodically sampled with a given period {\tau} . At each sampling time, the mode of the system, i.e., the parameters of the linear dynamics, can be switched, according to a switching r
Externí odkaz:
http://arxiv.org/abs/1111.3108
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.
Autor:
Soulat, Romain
Publikováno v:
Other [cs.OH]. École normale supérieure de Cachan-ENS Cachan, 2014. English. ⟨NNT : 2014DENS0009⟩
In this thesis, we are interested in designing schedulers for hybrid systems. We consider two specific subclasses of hybrid systems, real-time systems where tasks are competing for the access to common resources, and sampled switched systems where a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::7d6c81032ed8f76e63560d44ff4a8fa5
https://tel.archives-ouvertes.fr/tel-01062337/file/Soulat2014.pdf
https://tel.archives-ouvertes.fr/tel-01062337/file/Soulat2014.pdf