Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00624833v1 Communication dans un congrès Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui. First steps towards the certification of an ARM simulator using Compcert First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. 7086, 2011, LNCS. <10.1007/978-3-642-25379-9_25>
	inria-00546228v1 Communication dans un congrès Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi. Designing a CPU model: from a pseudo-formal document to fast code 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Heraklion, Greece. 2010
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM