• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 15 matches

• 2022
• 
  Nasrine Damouche:
  Specification of Incremental Requirements Upstream of System Design. ICSRS 2022: 212-216
• 
  Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto:
  Mind Maps Upstream SysML v2 Diagrams. SysCon 2022: 1-8
• 2018
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics 6(1/2): 115-145 (2018)
• 
  Nasrine Damouche, Matthieu Martel:
  On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT 2018: 333-340
• 
  Nasrine Damouche, Matthieu Martel:
  Mixed Precision Tuning with Salsa. PECCS 2018: 185-194
• 2017
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19(4): 427-448 (2017)
• 
  Nasrine Damouche, Matthieu Martel:
  Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM 2017: 63-76
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES 2017: 1-10
• 2016
• 
  Nasrine Damouche:
  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). University of Perpignan, France, 2016
• 
  Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock:
  Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV 2016: 63-77
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Data-types optimization for floating-point formats by program transformation. CoDIT 2016: 576-581
• 2015
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers 2015: 40:1-40:2
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS 2015: 31-46
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR 2015: 143-160
• 
  Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
  Transformation of a PID Controller for Numerical Accuracy. NSV 2015: 47-54