Nasrine Damouche

15 papers C 5Journal 2Unranked 7

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Mind Maps Upstream SysML v2 Diagrams. SysCon Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto
2022	—	`conf`	Specification of Incremental Requirements Upstream of System Design. ICSRS Nasrine Damouche
2018	—	`conf`	Mixed Precision Tuning with Salsa. PECCS Nasrine Damouche, Matthieu Martel
2018	J	`jnl`	Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2018	C	`conf`	On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT Nasrine Damouche, Matthieu Martel
2017	J	`jnl`	Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	C	`conf`	Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	—	`conf`	Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM Nasrine Damouche, Matthieu Martel
2016	C	`conf`	Data-types optimization for floating-point formats by program transformation. CoDIT Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2016	—	`—`	Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. (Amélioration de la précision numérique de programmes basés sur l'arithmétique flottante par les méthodes de transformation automatique). Nasrine Damouche
2016	—	`conf`	Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
2015	C	`conf`	Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	C	`conf`	Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Transformation of a PID Controller for Numerical Accuracy. NSV Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot