Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par 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

		Dealing with arithmetic overflows in the polyhedral model Bruno Cuervo Parrino , Julien Narboux , Eric Violard , Nicolas Magaud IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France Communication dans un congrès hal-00655485v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations Nicolas Magaud CoqPL 2017: The Third International Workshop on Coq for Programming Languages, Jan 2017, Paris, France Communication dans un congrès hal-01518660v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats