Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Rihani, Hamza"'
Autor:
Rihani, Hamza
La prédictibilité est un aspect important des systèmes temps-réel critiques. Garantir la fonctionnalité de ces systèmespasse par la prise en compte des contraintes temporelles. Les architectures mono-cœurs traditionnelles ne sont plussuffisant
Externí odkaz:
http://www.theses.fr/2017GREAM074/document
Priority queues with parallel access are an attractive data structure for applications like prioritized online scheduling, discrete event simulation, or branch-and-bound. However, a classical priority queue constitutes a severe bottleneck in this con
Externí odkaz:
http://arxiv.org/abs/1411.1209
Autor:
MAIZA, CLAIRE1 claire.maiza@univ-grenoble-alpes.fr, RIHANI, HAMZA1 joel.goossens@ulb.ac.be, RIVAS, JUAN M.2 joel.goossens@ulb.ac.be, GOOSSENS, JOËL2, ALTMEYER, SEBASTIAN3 altmeyer@uva.nl, DAVIS, ROBERT I.4 rob.davis@cs.york.ac.uk
Publikováno v:
ACM Computing Surveys. May2020, Vol. 52 Issue 3, p1-38. 38p. 1 Graph.
Autor:
Maiza, Claire, Rihani, Hamza, Rivas Concepcion, Juan Maria, Goossens, Joël, Altmeyer, Sebastian, Robert, Davis
This survey provides an overview of the scientific literature on timing verificationtechniques for multi-core real-time systems. It reviews the key results in the fieldfrom its origins around 2006 to the latest research published up to the end of Jul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2101::1e698cb2e851a3847af0d87b7bbc1f11
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/278793
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/278793
Publikováno v:
9th European Congress on Embedded real time Software and Systems (ERTS 2018)
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
International audience; Verifying the temporal properties of critical systems embedded in vehicles, like planes or cars, is crucial to avoid catastrophic issues. A key component of this verification is the Worst Case Execution Time (WCET) of the prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::243b9768ba5098d10f825e9d57795c04
https://hal.science/hal-02441594
https://hal.science/hal-02441594
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:
RTSOPS
RTSOPS, Jul 2016, Toulouse, France
RTSOPS, Jul 2016, Toulouse, France
International audience; The increasing performance requirements of safety-critical real-time embedded systems made traditional single-corearchitectures obsolete. Moving to more complex many-core systems requires new techniques and tools for the certi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::418d95e932099704402e8d303ef8d9c0
https://hal.archives-ouvertes.fr/hal-01406057
https://hal.archives-ouvertes.fr/hal-01406057
Publikováno v:
ACM International Conference Proceeding Series; 10/19/2016, p67-76, 10p