Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Jahier, Erwan"'
Autor:
Raymond, Pascal, Maiza, Claire, Parent-Vigouroux, Catherine, Jahier, Erwan, Halbwachs, Nicolas, Carrier, Fabienne, Asavoae, Mihail, Boutonnet, Rémy
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 6, Iss 1, Pp 02:1-02:28 (2019)
The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical
Externí odkaz:
https://doaj.org/article/46d3188282c14e0c806ad4972898d6af
Autor:
Jahier, Erwan
Nous étudions les performances et limites de cellules à césium ensaphir pour une expérience de physique atomique visant à une mesure précised'un effet de violation de parité (PV) associé à l'échange du boson Zodans l'atome de césium. Une t
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00000883
http://tel.archives-ouvertes.fr/docs/00/04/47/32/PDF/tel-00000883.pdf
http://tel.archives-ouvertes.fr/docs/00/04/47/32/PDF/tel-00000883.pdf
Autor:
Jahier, Erwan, Ducass'e, Mireille
Publikováno v:
E. Jahier and M. Ducass'e "Generic Program Monitoring by Trace Analysis" in the Theory and Practice of Logic Programming journal, Volume 2 part 4&5, pp 613-645, September 2002, Special Issue Program Development, Cambridge University Press
Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is very useful to maintain programs. However, application developers face the following dilemma: eithe
Externí odkaz:
http://arxiv.org/abs/cs/0311016
Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform to another is very difficult. We have shown in previous work that, fro
Externí odkaz:
http://arxiv.org/abs/cs/0111043
Autor:
Jahier, Erwan
A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which lets users implement their own monitors. "Collect" is built on top of t
Externí odkaz:
http://arxiv.org/abs/cs/0010038
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:
Jahier, Erwan, Halbwachs, Nicolas, Maiza, Claire, Raymond, Pascal, Sun, Wei-Tsun, Cassé, Hugues
Publikováno v:
[Research Report] TR-2018-2, Verimag, Université Grenoble Alpes. 2018
The estimation of the worst case execution time (WCET) of a reactive system on agiven architecture is an important goal for time-critical systems. However, it cannotbe achieved exactly, because of the complexity of modern architectures, the undecidab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c4520847fc75157d29ea13afd6877985
https://hal-cnrs.archives-ouvertes.fr/hal-02531058
https://hal-cnrs.archives-ouvertes.fr/hal-02531058
Publikováno v:
Applications of Evolutionary Computation-19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I
Applications of Evolutionary Computation-19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I, 2016, Leipzig, Germany. pp.819--830
Applications of Evolutionary Computation-19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I, 2016, Leipzig, Germany. pp.819--830
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aa42081ca9a2c27961a3143a15e146ad
https://hal.archives-ouvertes.fr/hal-02279413
https://hal.archives-ouvertes.fr/hal-02279413
Autor:
Ducassé, Mireille, Jahier, Erwan
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2001 55(2):118-133
Autor:
Maiza, Claire, Raymond, Pascal, Parent-Vigouroux, Catherine, Bonenfant, Armelle, Carrier, Fabienne, Cassé, Hugues, Cuenot, Philippe, Claraz, Denis, Halbwachs, Nicolas, Jahier, Erwan, Li, Hanbing, de Michiel, Marianne, Mussot, Vincent, Puaut, Isabelle, Rochange, Christine, Rohou, Erven, Ruiz, Jordy, Sotin, Pascal, Sun, Wei-Tsun
Publikováno v:
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
International audience; Critical embedded systems are generally composed of repetitive tasks that must meet hard timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at desi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92202cd6c524150d9e985aec66c8a7f1
https://hal.sorbonne-universite.fr/hal-01590442/file/WCET_2017_WSEPT.pdf
https://hal.sorbonne-universite.fr/hal-01590442/file/WCET_2017_WSEPT.pdf