Accueil > Recherche > Étudiants/Post-docs > Pierre-Yves Delahaye

Pierre-Yves Delahaye

Extraction de contrats 42 à partir de programmes SystemC

vendredi 20 août 2010

Années: 2010 (IRL Ensimag)
Co-encadrant: Kevin Marquet
Sujet: Extraction de contrats 42 à partir de programmes SystemC
Résumé:

Une implémentation de l’extraction de contrats (dans le formalisme « 42 ») qui avait été définie théoriquement par Tayeb Bouhadiba a été réalisée, en se basant sur le front-end SystemC PinaVM. L’outil est incomplet, mais entièrement automatique.


2016

Journal articles

ref_biblio
J. Adam, H. Borel, V.J.G. Feuillard, B. Hippolyte, C. Kuhn, et al.. Multi-strange baryon production in p-Pb collisions at $\sqrt{s_\mathbf{NN}}=5.02$. Physics Letters B, Elsevier, 2016, 758, pp.389-401. ⟨10.1016/j.physletb.2016.05.027⟩. ⟨in2p3-01249887⟩
Accès au bibtex
https://arxiv.org/pdf/1512.07227 BibTex

2014

Conference papers

ref_biblio
Mirsad Buljubasic, Michel Vasquez, Haris Gavranovi ́. Two-phase heuristic for SNCF rolling stock problem. IFORS 2014 : 20th Conference of the International Federation of Operational Research Societies,, Jul 2014, Barcelona, Spain. ⟨hal-01951610⟩
Accès au bibtex
BibTex

Voir en ligne : Plus d’informations

Documents joints

  • Slides

    20 août 2010
    info document : PDF
    1.1 Mo
  • Final report

    20 août 2010
    info document : PDF
    1 Mo

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