Search - Archive ouverte HAL

Documentation
French (FR)

English (EN)

8 Results

hal_authIdPerson_i : 843157

	For these 8 documents Send to ORCID RSS ATOM Export BibTeX TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩ Book sections hal-01272514v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩ Conference papers hal-01598851v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Data-Types Optimization for Floating-Point Formats by Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩ Conference papers hal-01290292v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩ Conference papers hal-01133695v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Intra-procedural Optimization of the Numerical Accuracy of Programs Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩ Conference papers hal-01164340v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Transformation of a PID Controller for Numerical Accuracy Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩ Journal articles hal-01255942v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Improving the numerical accuracy of programs by automatic transformation Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot International Journal on Software Tools for Technology Transfer, 2016, ⟨10.1007/s10009-016-0435-0⟩ Journal articles hal-01373666v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Numerical program optimisation by automatic improvement of the accuracy of computations Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩ Journal articles hal-01744855v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More