Filtrer vos résultats
- 89
- 37
- 88
- 24
- 8
- 3
- 1
- 1
- 1
- 1
- 108
- 28
- 6
- 4
- 2
- 2
- 1
- 2
- 6
- 2
- 3
- 14
- 8
- 26
- 15
- 22
- 11
- 4
- 1
- 7
- 2
- 1
- 2
- 117
- 9
- 126
- 54
- 33
- 15
- 13
- 12
- 11
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 27
- 22
- 16
- 16
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Improving Model Checking with Context ModellingAdvances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue
hal-00738735v1
|
||
Mise en œuvre des probabilités et des statistiquesEllipses, 552 p., 2019, 9782340032965
Ouvrages
hal-02303379v1
|
|||
|
Modulation Recognition for MIMO CommunicationsIEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286
Communication dans un congrès
hal-00485432v1
|
||
|
Overlay Architectures For FPGA Resource VirtualizationGDR SOC SIP, Jun 2016, Nantes, France
Communication dans un congrès
hal-01405912v1
|
||
Formalisation d’une Approche Compositionnelle de Patrons de PropriétésAFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès
hal-01326333v1
|
|||
|
Model Checking of SCADE Designed Systems8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01289454v1
|
||
|
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product LinesMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914377v1
|
||
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actorsESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Communication dans un congrès
hal-00913335v1
|
|||
Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGAConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
Communication dans un congrès
hal-01153568v1
|
|||
A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès
hal-01156518v1
|
|||
|
Phadeo : un environnement pour FPGA virtuel2015
Pré-publication, Document de travail
hal-01179474v1
|
||
CDFG Platform in MORPHEUSAETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
Communication dans un congrès
hal-00487063v1
|
|||
|
Hierarchical Space-Time Block Code Recognition Using correlation matricesIEEE Transactions on Wireless Communications, 2008, 7 (9), pp.3526-3534. ⟨10.1109/TWC.2008.070364⟩
Article dans une revue
hal-00395163v1
|
||
|
From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGAIWST 14, Aug 2014, Cambridge, United Kingdom
Communication dans un congrès
hal-01326520v1
|
||
Fast Template-based Heterogeneous MPSoC Synthesis on FPGA9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
Communication dans un congrès
hal-00780378v1
|
|||
Flexible Model-Based Simulation as a System’sComplex System Design & Management, Nov 2014, Paris, France
Communication dans un congrès
hal-01090376v1
|
|||
Role Framework for Systems of SystemsForum Académie Entreprise de l'Association Française d'Ingénierie Système 2014, Dec 2014, Cergy, France
Poster de conférence
hal-01090429v1
|
|||
|
FPGAs virtuels : enjeux et usagesCOMPAS 2014, Apr 2014, Neuchâtel, Switzerland
Communication dans un congrès
hal-00989984v1
|
||
|
Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like DebuggingScience of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue
hal-00998533v1
|
||
Role Framework to Support Collaborative Virtual Prototyping of System of SystemsWETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
Communication dans un congrès
hal-01192720v1
|
|||
Framework for Integrating ESL ToolsPMDE 2011, Jun 2011, United Kingdom
Communication dans un congrès
hal-00678272v1
|
|||
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604v1
|
||
|
Distributed algorithm under cooperative or competitive priority users in cognitive networksEURASIP Journal on Wireless Communications and Networking, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
Article dans une revue
hal-02924010v1
|
||
A tracking algorithm for GNSS reflected signals on sea surfaceIGARSS 2010 : IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, Hawaii, United States. pp.3821 - 3824
Communication dans un congrès
hal-00540877v1
|
|||
|
Mine classification using a hybrid set of descriptorsIEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
Communication dans un congrès
hal-00504822v1
|
||
|
Denotational Semantics of A User-Oriented, Domain-Specific LanguageElectronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Article dans une revue
hal-00865381v1
|
||
|
Les observatoires du trait de côte en France métropolitaine et dans les DOMEchoGéo, 2012, 19, ⟨10.4000/echogeo.12942⟩
Article dans une revue
hal-00657607v1
|
||
Relationships in Variability Modeling Approaches: A Survey and Classification5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
Communication dans un congrès
hal-00771748v1
|
|||
Domain Specific Modeling Language for Object Localization in Marine ObservatoriesSENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
Communication dans un congrès
hal-01118931v1
|
|||
Formal Validation with Model-Checking TechniquesICNTC'2012, Dec 2012, Chlef, Algérie
Communication dans un congrès
hal-01206527v1
|