1. Recherche
53 résultats  enregistrer la recherche


  • 1
  • 2
hal-01961429v1  Communication dans un congrès
Tobias Van Baarsel, Philippe Roux, Barbara Nicolas, Jerome Mars, Julien 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 Tay, Frederic Maussang, Arnaud Coatanhay, Thierry Chonavel, René 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 Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
...
hal-01405912v1  Communication dans un congrès
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures For FPGA Resource Virtualization
GDR SOC SIP, Jun 2016, Nantes, France
...
hal-01289454v1  Communication dans un congrès
S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, Ciprian 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 Abgrall, Frederic Le Roy, Jean-Philippe Delahaye, Jean-Philippe Diguet, Gogniat 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 Radoi, Felix Totir, André Quinquis, Lucian 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 Boukhobza, Loïc Lagadec, Alain Plantec, Jean-Christophe Le Lann. CDFG Platform in MORPHEUS
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
...
hal-00504817v1  Communication dans un congrès
Isabelle Quidu, Jean-Philippe Malkasse, Gilles Burel, Pierre Vilbé. Mine Classification based on raw sonar data: an approach combining Fourier Descriptors, Statistical Models and Genetic Algorithms
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
...
hal-00504822v1  Communication dans un congrès
Isabelle Quidu, Jean-Philippe Malkasse, Gilles Burel, Pierre 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 Pastor, Franç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 Hammouda, Philippe Coussy, Loï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 Creff, Joël Champeau, Jean-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 Boniol, Philippe Dhaussy, Luka Le Roux, Jean-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 Tran, Christian 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-00488397v1  Communication dans un congrès
Vincent Choqueuse, Ludovic Collin, Koffi Clément Yao, Gilles Burel. Reconnaissance aveugle de codages OSTBC basée sur les propriétés matricielles des statistiques d'ordre 2.
21° Colloque GRETSI 2007, Sep 2007, troyes, France. pp.249-252
...
hal-00489085v1  Communication dans un congrès
Vincent Choqueuse, Koffi Clément Yao, Ludovic Collin, Gilles 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 Choqueuse, Koffi Clément Yao, Ludovic Collin, Gilles 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

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD