Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Universite D'orleans Content Provider : BASE فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Dissertation/ Thesis

Parameterised extension of certified compiler for parallel programming ; Extension paramétrée de compilateur certifié pour la programmation parallèle

Authors : Dailler, Sylvain;

Subjects: Compilation; Verification; Parallelism

Source: https://theses.hal.science/tel-01371936 ; Algorithme et structure de données [cs.DS]. Université d'Orléans, 2015. Français. ⟨NNT : 2015ORLE2071⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Nested atomic sections with thread escape : semantics and compilation ; Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation

Authors : Pinsard, Thomas;

Subjects: Formal semantics; Parallelism; Thread

Source: https://theses.hal.science/tel-01362118 ; Algorithme et structure de données [cs.DS]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2075⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Environment for the systematic development and proof of correction of functional parallel programs ; Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels

Authors : Tesson, Julien;

Subjects: Verification; Algorithmic skeletons; Proof assistant

Source: https://theses.hal.science/tel-00660554 ; Autre [cs.OH]. Université d'Orléans, 2011. Français. ⟨NNT : 2011ORLE2041⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي