Filtrer vos résultats
- 17
- 10
- 18
- 5
- 2
- 1
- 1
- 24
- 3
- 2
- 1
- 4
- 3
- 1
- 2
- 8
- 2
- 2
- 1
- 1
- 2
- 22
- 5
- 27
- 14
- 5
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 14
- 8
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 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
|
|
triés par
|
|
Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based MethodInternational Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
Communication dans un congrès
hal-01829227v1
|
||
Asserting causal properties in High Level Synthesis2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès
hal-01623030v1
|
|||
|
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
|
|||
|
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
|
||
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604v1
|
||
Integrating Design and Runtime Variability Support into a System ADL7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
Communication dans un congrès
istex
hal-00670414v1
|
|||
|
Preface to the special issue on advances in Smalltalk based systems96 (1), pp.1-3, 2014, Science of Computer Programming, Science direct, ⟨10.1016/j.scico.2014.07.004⟩
Ouvrages
hal-01089392v1
|
||
A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware AcceleratorGLSVLSI 2014, May 2014, Houston, United States
Communication dans un congrès
hal-01009551v1
|
|||
|
KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès
hal-01203649v1
|
||
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès
hal-01119571v1
|
||
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès
hal-01933792v1
|
||
|
When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
Communication dans un congrès
hal-01841830v1
|
||
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Ouvrages
istex
hal-00782810v1
|
|||
|
6 leçons de robotique pour les sciencesDIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France
Communication dans un congrès
hal-02482472v1
|
||
Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware AcceleratorsICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
Communication dans un congrès
hal-01009572v1
|
|||
Proceedings of the 2012 International Workshop on Smalltalk TechnologiesACM digital library, pp.68, 2012, 978-1-4503-1897-6
Ouvrages
hal-00822656v1
|
|||
HLS-based Fast Design Space Exploration of ad hoc hardware accelerators: a key tool for MPSoC Synthesis on FPGAInternational Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2012, Germany
Communication dans un congrès
hal-00747713v1
|
|||
Editeurs des actes de l'école d'été MDA for Embedded System developpementNon renseigne, pp.Non renseigne, 2002
Ouvrages
hal-00517478v1
|
|||
A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware AcceleratorsISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
Communication dans un congrès
hal-00944548v1
|
|||
Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matérielsCOMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Communication dans un congrès
hal-00989918v1
|
|||
Actes de l'école d'été MDA for Embedded System developpementActes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
Ouvrages
hal-00632337v1
|
|||
Model integration for formal qualification of timing-aware software data acquisition componentsModel Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Chapitre d'ouvrage
hal-00635969v1
|
|||
Organizational Configurations in Executable Enterprise Architecture Modelsposter session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
Communication dans un congrès
hal-00670420v1
|
|||
|
Ingénierie des projets Savanturiers de l'ingénierieColloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès
hal-01839091v1
|
||
|
A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès
hal-01559688v1
|
||
A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware AcceleratorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
Article dans une revue
hal-01405531v1
|