Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01373317v1  Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-02515359v1  Chapitre d'ouvrage
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-01406625v1  Communication dans un congrès
Naima. Amrouche, Ali Khenchaf, Daoud. Berkania. A Particle Filter for Multi-Target Tracking in Track Before Detect context
SPIE Remote sensing, Sep 2016, Warsaw, Poland
hal-00517478v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard. Editeurs des actes de l'école d'été MDA for Embedded System developpement
France. Non renseigne, pp.Non renseigne, 2002
hal-01298623v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
...
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-01405890v1  Communication dans un congrès
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures for Heterogeneous FPGA Cluster Management.
DASIP 2016, Oct 2016, Rennes, France
hal-01391337v1  Communication dans un congrès
Pierre Bosser, Olivier Bock. Screening of GPS ZTD estimates
3th COST 1206 GNSS4SWEC Workshop, 2016, Reykjavik, Iceland
...
hal-01254856v1  Article dans une revue
Sébastien Bourguignon, Jordan Ninin, Hervé Carfantan, Marcel Mongeau. Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩
hal-01327910v1  Article dans une revue
Dorian Cazau, Julien Bonnel, Yves Le Bras, Christophe Guinet. Soundscape analysis in the Southern Ocean using elephant seals as acoustic glider of opportunity
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (4), pp.2226-2226. ⟨10.1121/1.4950686⟩
...
hal-01379429v1  Article dans une revue
Dorian Cazau, Olivier Adam, Thierry Aubin, Jeffrey T. Laitman, Joy S. Reidenberg. A study of vocal nonlinearities in humpback whale songs: from production mechanisms to acoustic analysis
Scientific Reports, Nature Publishing Group, 2016, 6, pp.31660. ⟨10.1038/srep31660⟩
hal-01340686v1  Communication dans un congrès
Benoit Clement. Optimization based control for Robots, solutions for the implementation issue
Conference on Software and Hardware Architectures for Robots Control, Jun 2016, Brest, France
...
hal-01368466v1  Communication dans un congrès
Benoit Clement, Yang Rui, Ali Mansour, Li Ming. A Modeling and Control approach for a cubic AUV
10th IFAC Conference on Control Applications in Marine Systems, Sep 2016, Tronheim, Norway. pp.279 - 284, ⟨10.1016/j.ifacol.2016.10.355⟩
...
hal-01611021v1  Article dans une revue
Ewen Conan, Julien Bonnel, Thierry Chonavel, Barbara Nicolas. Source depth discrimination with a vertical line array
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 140 (5), pp.EL434 - EL440. ⟨10.1121/1.4967506⟩
...
hal-01172103v1  Article dans une revue
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loïc Lagadec. TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (1), pp.9
...
hal-01326380v1  Communication dans un congrès
Orian Couderc, Jean-Christophe Cexus, Fabrice Comblet, Abdelmalek Toumi, Ali Khenchaf. ISAR imaging Based on the Empirical Mode Decomposition Time-Frequency Representation
International Radar Symposium 2016 (IRS2016), May 2016, Cracovie, Poland
hal-01331654v1  Communication dans un congrès
Frédéric Dambreville. Map-reduce implementation of belief combination rules
DATA 2016, Jun 2016, Lisbonne, Portugal
...
hal-01312568v1  Communication dans un congrès
Nathalie Debese, Jean José Jacq, Koen Degrendele, Marc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom