Zobrazeno 1 - 10
of 119
pro vyhledávání: '"Multi-coeurs"'
Autor:
Faverge, Mathieu, Furmento, Nathalie, Guermouche, Abdou, Lucas, Gwenolé, Namyst, Raymond, Thibault, Samuel, Wacrenier, Pierre-André
Publikováno v:
Concurrency and Computation: Practice and Experience
Concurrency and Computation: Practice and Experience, inPress
HeteroPar 2022-twentieth international workshop
HeteroPar 2022-twentieth international workshop, Aug 2022, Glasgow, United Kingdom. pp.12
[Research Report] RR-9466, Inria Bordeaux Sud-Ouest. 2022, pp.21
Euro-Par 2022: Parallel Processing Workshops ISBN: 9783031312083
Concurrency and Computation: Practice and Experience, inPress
HeteroPar 2022-twentieth international workshop
HeteroPar 2022-twentieth international workshop, Aug 2022, Glasgow, United Kingdom. pp.12
[Research Report] RR-9466, Inria Bordeaux Sud-Ouest. 2022, pp.21
Euro-Par 2022: Parallel Processing Workshops ISBN: 9783031312083
Task-based systems have gained popularity because of their promise of exploiting the computational power of complex heterogeneous systems. A common programming model is the so-called Sequential Task Flow (STF) model, which, unfortunately, has the int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb7f46e2e13c5e1cfc53f0b9a2a4c7dd
https://hal.science/hal-04088833v2/document
https://hal.science/hal-04088833v2/document
Autor:
El Moussawi, Fatima
Publikováno v:
Optics [physics.optics]. Université de Lille, 2022. English. ⟨NNT : 2022ULILR065⟩
The lens-less endoscope is a promising ultra-miniaturized imaging tool with the potential to enable minimally invasive and cellular-level resolution in-vivo imaging deep inside biological tissue. The main idea of the lens-less endoscope is a device c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::4d42af800be55aca67ea85700caaf176
https://theses.hal.science/tel-04095468/document
https://theses.hal.science/tel-04095468/document
Autor:
Haur, Imane
Publikováno v:
Automatic. École centrale de Nantes, 2022. English. ⟨NNT : 2022ECDN0057⟩
Formal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::72669f42cd2b43ac51436282b1205f7d
https://theses.hal.science/tel-04025811/document
https://theses.hal.science/tel-04025811/document
Autor:
Sawadogo, Bewindin Alfred
Publikováno v:
Micro et nanotechnologies/Microélectronique. Université de Lille, 2022. Français. ⟨NNT : 2022ULILN023⟩
CISCO forecasts indicate that the demand for transmission capacity is more and more growing. In addition to current applications, there is the emergence of new applications such as augmented reality, holograms, vehicle-to-vehicle communications which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::19477cc70551d70e256ebe6f358163b1
https://theses.hal.science/tel-03979346/document
https://theses.hal.science/tel-03979346/document
Autor:
Fort, Frédéric
Publikováno v:
Programming Languages [cs.PL]. University of Lille, 2022. English. ⟨NNT : ⟩
A real-time system is a system whose correctness depends not only on the correctness of the values it produces, but also on the time when it produces those values. The rate at which it must produce values is defined by the environment it operates in.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::e443a4c67667767a038be5599eead325
https://hal.science/tel-03948472/document
https://hal.science/tel-03948472/document
Autor:
Sensfelder, Nathanaël
L'objectif de cette thèse est d'offrir des outils d'aide à la certification aéronautique de processeurs COTS multi-cœurs. Ces architectures sont par nature parallèles et peuvent de ce fait largement améliorer les performances de calcul. Cependa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=artemis___fr::a5f97342d29b1f488bc3d3a1f5fcd40b
http://depozit.isae.fr/theses/2021/2021_Sensfelder_Nathanael_D.pdf
http://depozit.isae.fr/theses/2021/2021_Sensfelder_Nathanael_D.pdf
Autor:
Ben-Amor, Slim
Publikováno v:
Embedded Systems. Sorbonne Universite, 2020. English
The continuous integration of new functionality increases the complexity of embedded systems, while each functionality might impose precedence constraints between the programs fulfilling it. In addition, the prevalence of several processors may creat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::8a2005e492314bd9c08a939b77482504
https://hal.inria.fr/tel-03119187v1/document
https://hal.inria.fr/tel-03119187v1/document
Autor:
Courtaud, Cédric
Publikováno v:
Systèmes embarqués. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS288⟩
Interference on the memory system can cause significant slowdowns to applications running in parallel on COTS multi-core processors. They are caused by concurrent accesses to shared hardware resources in the memory system. The magnitude of the delays
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3390959f0cb2293f06a9f2f59720a9e6
https://tel.archives-ouvertes.fr/tel-03429679
https://tel.archives-ouvertes.fr/tel-03429679
Autor:
Ben Amor, Slim
Publikováno v:
Hardware Architecture [cs.AR]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS188⟩
Embedded Systems. Sorbonne Universite, 2020. English
Embedded Systems. Sorbonne Universite, 2020. English
The continuous integration of new functionality increases the complexity of embedded systems, while each functionality might impose precedence constraints between the programs fulfilling it. In addition, the prevalence of several processors may creat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37a6a2133445470c4ecb69af729251c1
https://theses.hal.science/tel-03404155v3
https://theses.hal.science/tel-03404155v3
Autor:
Yann Barsamian
Publikováno v:
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2018. English. ⟨NNT : 2018STRAD039⟩
Yann Barsamian
Computer Science [cs]. Université de Strasbourg, 2018. English
Yann Barsamian
Computer Science [cs]. Université de Strasbourg, 2018. English
In this thesis, we are interested in solving the Vlasov–Poisson system of equations (useful in the domain of plasma physics, for example within the ITER project), thanks to classical Particle-in-Cell (PIC) and semi-Lagrangian methods. The main cont
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0aba158fc8c2fd7a46c435d423d279d7
https://tel.archives-ouvertes.fr/tel-02168151/file/Barsamian_Yann_2018_ED269.pdf
https://tel.archives-ouvertes.fr/tel-02168151/file/Barsamian_Yann_2018_ED269.pdf