53 résultats  enregistrer la recherche


  • 1
  • 2
hal-01961429v1  Communication dans un congrès
Tobias Van BaarselPhilippe RouxBarbara NicolasJerome MarsJulien Bonnel et al.  Dynamic imaging of a gravity wave caused by laser-induced breakdown in a fluid waveguide using acoustic waves
Acoustics '17 173rd Meeting of the Acoustical Society of America and the 8th Forum Acusticum, Jun 2017, Boston, United States. pp.3589-3589
hal-00639333v1  Communication dans un congrès
Sarab TayFrederic MaussangArnaud CoatanhayThierry ChonavelRené Garello. Near Sea Surface Target Tracking by Extended Kalman Filtering of the GPS Reflected Signals
OCEANS'2011, Jun 2011, Santander, Spain. pp.978-1-61284-4577-0088-0/11/ ©2011 IEEE
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
...
hal-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyCiprian Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-00486627v1  Communication dans un congrès
Gael AbgrallFrederic Le RoyJean-Philippe DelahayeJean-Philippe DiguetGogniat Guy. Predictibility of inter-components latency in a Software Communications Architecture Open Environment
24th IEEE International Parallel and Distributed Processing Symposium, Apr 2010, Atlanta, United States
hal-00485825v1  Communication dans un congrès
Emanuel RadoiFelix TotirAndré QuinquisLucian Anton. Superresolution Imagery Based SVM Classification of Radar Targets
EUSAR 2006, May 2006, Dresde, Germany. pp.1-4
hal-00487063v1  Communication dans un congrès
Jalil BoukhobzaLoïc LagadecAlain PlantecJean-Christophe Le Lann. CDFG Platform in MORPHEUS
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
...
hal-00504822v1  Communication dans un congrès
Isabelle QuiduJean-Philippe MalkasseGilles BurelPierre Vilbé. Mine classification using a hybrid set of descriptors
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
hal-00684402v1  Article dans une revue
Dominique PastorFrançois-Xavier Socheleau. Robust Estimation of Noise Standard Deviation in Presence of Signals with Unknown Distributions and Occurrences
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2012, 60 (4), pp.1545-1555. ⟨10.1109/TSP.2012.2184534⟩
hal-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278 ⟩
hal-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jezequel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
...
hal-00489085v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
...
hal-00489086v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Recognition of Linear Space Time Block Codes
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2833-2836
  • 1
  • 2