Accéder directement au contenu Accéder directement à la navigation


hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian 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-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy 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-01121845v1  Article dans une revue
Charbel Geryes AounIyas AlloushYvon KermarrecJoël ChampeauOussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
...
hal-00697027v1  Article dans une revue
François-Xavier SocheleauMilica StojanovicChristophe LaotJean-Michel Passerieux. Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels
Journal of Electrical and Computer Engineering, Hindawi Publishing Corp., 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
...
hal-00395163v1  Article dans une revue
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Hierarchical Space-Time Block Code Recognition Using correlation matrices
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2008, 7 (9), pp.3526-3534. ⟨10.1109/TWC.2008.070364⟩
hal-01072079v1  Article dans une revue
M. Sanchez-SorianoYves QuéréVincent Le SauxC. QuendoS. Cadiou. Average power handling capability of microstrip passive circuits considering metal housing and environment conditions
IEEE Transactions on Components, Packaging and Manufacturing Technology, Institute of Electrical and Electronics Engineers, 2014, 4, pp.1624-1633. ⟨10.1109/TCPMT.2014.2345100⟩
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-03002104v1  Article dans une revue
M. AlmasriAli MansourChristophe MoyA. AssoumDenis Le Jeune et al.  Dynamic decision-making process in the opportunistic spectrum access
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
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-00690412v1  Article dans une revue
Cedric GervaiseBazile G. KindaJulien BonnelYann StephanSimon Vallez. Passive geoacoustic inversion with a single hydrophone using broadband ship noise
Journal of the Acoustical Society of America, Acoustical Society of America, 2012, 131 (3), pp.1999-2010. ⟨10.1121/1.3672688⟩