Search - Archive ouverte HAL Access content directly

Filter your results

13 Results
Structure: Internal structure identifier : 233

A Statistical Inference Model for the Dynamic Range of LTI Systems

Alexandre Chapoutot , Laurent-Stéphane Didier , Fanny Villers
15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
Conference papers hal-00851282v1

Typer la désérialisation sans sérialiser les types

Grégoire Henry , Michel Mauny , Emmanuel Chailloux
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090
Journal articles hal-00275358v1
Image document

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Steven Varoumas , Benoît Vaugon , Emmanuel Chailloux
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720
Conference papers hal-01292266v1

Range estimation of floating-point variables in Simulink models

Alexandre Chapoutot , Laurent-Stéphane Didier , Fanny Villers
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Conference papers hal-00816115v1

Interval-based Robustness of Linear Parametrized Filters

Alexandre Chapoutot , Thibault Hilaire , Philippe Chevrel
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. CDROM
Conference papers hal-00706772v1
Image document

High performance motion detection: some trends toward new embedded architectures for vision systems

Lionel Lacassagne , Antoine Manzanera , Julien Denoulet , Alain Mérigot
Journal of Real-Time Image Processing, 2009, 4 (2), pp.127-146. ⟨10.1007/s11554-008-0096-7⟩
Journal articles hal-01131002v1

Cryptanalysis of MinRank

Jean-Charles Faugère , Françoise Levy-Dit-Vehel , Ludovic Perret
CRYPTO 2008 - 28th Annual International Cryptology Conference, Aug 2008, Santa Barbara, CA, United States. pp.280-296, ⟨10.1007/978-3-540-85174-5_16⟩
Conference papers hal-00976374v1

A Survey on Polly Cracker Systems

Françoise Levy-Dit-Vehel , Maria-Grazia Marinari , Ludovic Perret , Carlo Traverso
Gröbner Bases, Coding, and Cryptography, Springer, pp.285-305, 2009, 978-3-540-93805-7. ⟨10.1007/978-3-540-93806-4_16⟩
Book sections istex hal-01298878v1

Security Analysis of Word Problem-Based Cryptosystems

Françoise Levy-Dit-Vehel , Ludovic Perret
Designs, Codes and Cryptography, 2010, 54 (1), pp.29-41. ⟨10.1007/s10623-009-9307-x⟩
Journal articles istex hal-00974889v1
Image document

2D Simultaneous Localization And Mapping for Micro Air Vehicles

Adrien Angeli , David Filliat , Stéphane Doncieux , Jean-Arcady Meyer
European Micro Aerial Vehicles (EMAV 2006), Jul 2006, Braunschweig, Germany
Conference papers hal-00655111v1
Image document

ML Dependency Analysis for Assessors

François Pessaux , Vincent Benayoun , Catherine Dubois , Philippe Ayrault
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
Conference papers hal-01203505v1
Image document

Development of a Generic Voter under FoCal

Philippe Ayrault , Thérèse Hardin , François Pessaux
TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
Conference papers hal-01241361v1
Image document

Trusted Software within Focal

Philippe Ayrault , Matthieu Carlier , David Delahaye , Catherine Dubois , Damien Doligez et al.
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Conference papers hal-01125667v2