|
|
Discrete Mathematics: Graph Algorithms, Algebraic Structures, Coding Theory, and Cryptography
Sridharan Sriraman
,
R. Balakrishnan
CRC PRESS, pp.340, 2019, 9780429942631
Books
hal-03544785v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Quadratic Zonotopes
Assalé Adjé
,
Pierre-Loïc Garoche
,
Alexis Werey
Book sections
hal-01369969v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods
Nasrine Damouche
Theses
tel-01455727v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Intra-procedural Optimization of the Numerical Accuracy of Programs
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01164340v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Hierarchical approach for deriving a reproducible unblocked LU factorization
Roman Iakymchuk
,
Stef Graillat
,
David Defour
,
Enrique S Quintana-Ortí
Journal articles
hal-01419813v4
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
Assalé Adjé
,
Pierre-Loïc Garoche
Journal articles
hal-01369946v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic Source-to-Source Error Compensation of Floating-Point Programs
Laurent Thévenoux
,
Philippe Langlois
,
Matthieu Martel
Conference papers
hal-01158399v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
Assalé Adjé
,
Pierre-Loïc Garoche
,
Victor Magron
Book sections
hal-01369974v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01133695v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics
Mikaël Barboteu
,
Nacera Djehaf
,
Matthieu Martel
Journal articles
hal-02008076v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides
Marc Daumas
,
Erik Martin-Dorel
,
Annick Truffert
2008
Preprints, Working Papers, ...
hal-00333895v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Data-Types Optimization for Floating-Point Formats by Program Transformation
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01290292v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Preface
Sergiy Bogomolov
,
Matthieu Martel
Journal articles
hal-01255984v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stokes eigenmodes in cubic domain: their symmetry properties
G. Labrosse
,
E. Leriche
,
P. Lallemand
Journal articles
hal-01411274v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis
Yohan Chatelain
,
Pablo de Oliveira Castro
,
Eric Petit
,
David Defour
,
Jordan Bieder
,
et al.
Conference papers
hal-01989607v1
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multiple stable solutions in the 2D symmetrical two-sided square lid-driven cavity
T. Lemée
,
G. Kasperski
,
G. Labrosse
,
R. Narayanan
Journal articles
hal-01346209v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Book sections
hal-01272514v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stokes Eigenmodes on two-dimensional regular polygons
Pierre Lallemand
,
Lizhen Chen
,
Gérard Labrosse
,
Li–shi Luo
Journal articles
hal-03544542v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Optimisation de la précision numérique des codes parallèles
Farah Benmouhoub
Theses
tel-03783734v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-03550641v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|