Accueil > Recherche > Étudiants/Post-docs > Hanan Kanso

Hanan Kanso

Implementing critical systems on many-core architectures : Towards solutions preserving determinism

mardi 5 août 2014

Années: 2014 (M2R)
Co-encadrant: Florence Maraninchi
Sujet: Implementing critical systems on many-core architectures : Towards solutions preserving determinism
Résumé:

Shifting to many-core architectures is becoming compulsory for real-time applications demanding intensive computing capabilities. Nonetheless, the gain in performance of many-core architectures does not come for free. In particular, it comes at the cost of predictability and determinism issues. Logical determinism is the property of programs that for the same sequence of inputs always give the same sequence of outputs. This property is essential for critical systems which are systems whose failures can result in people deaths or injuries, in severe damage to equipments or to the environment. Although many-core architectures do not all respect criticality constraints, some designers have taken into account this problem as for example the Kalray MPPA-256 processor. These architectures appear as good candidates for implementing critical systems. Based on that, we develop a solution that will be able to enforce logical determinism by construction.


2017

Conference papers

ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Améliorer les méthodes de décomposition pour le dénombrement exact de solutions. Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France. ⟨hal-01785197⟩
Accès au texte intégral et bibtex
https://amu.hal.science/hal-01785197/file/JFPC-2017-Jegou-1.pdf BibTex
ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Vers une exploitation dynamique de la décomposition pour les CSPs pondérés. Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France. ⟨hal-01785202⟩
Accès au texte intégral et bibtex
https://amu.hal.science/hal-01785202/file/JFPC-2017-Jegou-2.pdf BibTex

2016

Conference papers

ref_biblio
Philippe Jegou, Hanan Kanso, Cyril Terrioux. Improving Exact Solution Counting for Decomposition Methods. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. pp.327-334, ⟨10.1109/ICTAI.2016.0057⟩. ⟨hal-03520604⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Vers une décomposition dynamique des réseaux de contraintes. Journées Francophones de Programmation par Contraintes (JFPC 2016), 2016, Montpellier, France. pp.123-132. ⟨hal-01490088⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, 2016, Toulouse, France. pp.298-315. ⟨hal-01490136⟩
Accès au bibtex
BibTex

Documents joints


Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License