Search - LAboratoire de Modélisation Pluridisciplinaire et Simulations Access content directly

Filter your results

56 Results
Domains : info

Discrete Mathematics: Graph Algorithms, Algebraic Structures, Coding Theory, and Cryptography

Sridharan Sriraman , R. Balakrishnan
CRC PRESS, pp.340, 2019, 9780429942631
Books hal-03544785v1

Quadratic Zonotopes

Assalé Adjé , Pierre-Loïc Garoche , Alexis Werey
Feng Xinyu; Park Sungwoo. Programming Languages and Systems, 9458, Springer International Publishing, pp.127-145, 2015, ⟨10.1007/978-3-319-26529-2_8⟩
Book sections hal-01369969v1

Proving properties on PWA Systems using Copositive and Semidefinite Programming

Assalé Adjé
Numerical Software Verification (NSV 2016), Jul 2016, Toronto, Canada
Conference papers hal-01371480v1
Image document

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

Nasrine Damouche
Computer Arithmetic. Université de Perpignan, 2016. English. ⟨NNT : 2016PERP0032⟩
Theses tel-01455727v1
Image document

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
Image document

Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues

David Defour
15th IEEE International Symposium on EMbedded Multicore/Many-core Systems-on-Chip (MCSoC-2022), Dec 2022, Penang, Malaysia
Conference papers hal-03832904v1
Image document

Hierarchical approach for deriving a reproducible unblocked LU factorization

Roman Iakymchuk , Stef Graillat , David Defour , Enrique S Quintana-Ortí
International Journal of High Performance Computing Applications, 2019, pp.#1094342019832968. ⟨10.1177/1094342019832968⟩
Journal articles hal-01419813v4
Image document

On the Functional Properties of Automatically Generated Fixed-Point Controllers

Dorra Ben Khalifa , Matthieu Martel
9th International Conference on Control, Decision and Information Technologies, Jul 2023, Rome, Italy
Conference papers hal-04129229v1

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

Assalé Adjé , Pierre-Loïc Garoche
Computer Languages, Systems and Structures, 2015, ⟨10.1016/⟩
Journal articles hal-01369946v1

Policy iteration in finite templates domain

Assalé Adjé
Numerical Software Verification 2014 (NSV 2014), Jul 2014, Vienne, Austria. pp.3-18
Conference papers hal-01371520v1
Image document

Automatic Source-to-Source Error Compensation of Floating-Point Programs

Laurent Thévenoux , Philippe Langlois , Matthieu Martel
Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
Conference papers hal-01158399v1
Image document

Fixed-Point Code Synthesis Based on Constraint Generation

Sofiane Bessaï , Dorra Ben Khalifa , Hanane Benmaghnia , Matthieu Martel
Workshop on Design and Architectures for Signal and Image Processing, Jun 2022, Budapest, Hungary
Conference papers hal-03701116v1

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron
Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩
Book sections hal-01369974v1

On The Strong Path Partition Conjecture of Berge: Some New Results

Sridharan Sriraman
International Conference On Graph Theory And its Applications, Jul 2015, Pondicherry, India
Conference papers hal-01192817v1
Image document

Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators

Alexis Werey , David Delmas , Matthieu Martel
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers hal-01292294v1

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
Image document

Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics

Mikaël Barboteu , Nacera Djehaf , Matthieu Martel
Computers & Mathematics with Applications, 2018, ⟨10.1016/j.camwa.2018.08.021⟩
Journal articles hal-02008076v1
Image document

Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides

Marc Daumas , Erik Martin-Dorel , Annick Truffert
Preprints, Working Papers, ... hal-00333895v1

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
Image document

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

Laurent Thévenoux , Philippe Langlois , Matthieu Martel
Concurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Journal articles hal-01236919v2


Sergiy Bogomolov , Matthieu Martel
Electronic Notes in Theoretical Computer Science, 2015, 317, pp.1-2. ⟨10.1016/j.entcs.2015.10.001⟩
Journal articles hal-01255984v1

Stokes eigenmodes in cubic domain: their symmetry properties

G. Labrosse , E. Leriche , P. Lallemand
Theoretical and Computational Fluid Dynamics, 2014, 28 (3), pp.335 - 356. ⟨10.1007/s00162-014-0318-5⟩
Journal articles hal-01411274v1

VeriTracer: Context-enriched tracer for floating-point arithmetic analysis

Yohan Chatelain , Pablo de Oliveira Castro , Eric Petit , David Defour , Jordan Bieder , et al.
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Jun 2018, Amherst, United States. pp.61-68, ⟨10.1109/ARITH.2018.8464687⟩
Conference papers hal-01989607v1

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

Multiple stable solutions in the 2D symmetrical two-sided square lid-driven cavity

T. Lemée , G. Kasperski , G. Labrosse , R. Narayanan
Computers and Fluids, 2015, 119, pp.204-212. ⟨10.1016/j.compfluid.2015.05.022⟩
Journal articles hal-01346209v1

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

Foundations of Discrete Mathematics with Algorithms and Programming

R. Balakrishnan , Sridharan Sriraman
CRC PRESS, pp.534 PAGES, 2018, 978-0-8153-7848-8
Books hal-03544779v1

Stokes Eigenmodes on two-dimensional regular polygons

Pierre Lallemand , Lizhen Chen , Gérard Labrosse , Li–shi Luo
Computers and Fluids, 2021, 228, pp.105069. ⟨10.1016/j.compfluid.2021.105069⟩
Journal articles hal-03544542v1
Image document

Optimisation de la précision numérique des codes parallèles

Farah Benmouhoub
Arithmétique des ordinateurs. Université de Perpignan, 2022. Français. ⟨NNT : 2022PERP0009⟩
Theses tel-03783734v1

A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes

Emeric Brun , David Defour , Pablo de Oliveira Castro , Matei Istoan , Davide Mancusi , et al.
IEEE Transactions on Emerging Topics in Computing, 2021, 9 (3), pp.1467-1478. ⟨10.1109/TETC.2021.3070422⟩
Journal articles hal-03550641v1