Skip to Main content Skip to Navigation


hal-01373666v1  Journal articles
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0435-0⟩
...
hal-01056216v1  Conference papers
Sahar AbbaspourAlexander JordanFlorian Brandner. Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92
hal-01246348v1  Conference papers
Sahar AbbaspourFlorian BrandnerAmine NajiMathieu Jan. Efficient Context Switching for the Stack Cache
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
...
hal-01164340v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Intra-procedural Optimization of the Numerical Accuracy of Programs
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
hal-01272514v1  Book sections
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
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⟩
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4