Filtrer vos résultats
- 40
- 26
- 46
- 10
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 5
- 1
- 1
- 1
- 2
- 9
- 4
- 4
- 4
- 5
- 7
- 5
- 5
- 11
- 5
- 4
- 1
- 60
- 6
- 53
- 27
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 66
- 12
- 10
- 9
- 9
- 9
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
Designing a combined personal communicator and data entry terminal for disaster relief & remote operationsIEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
Communication dans un congrès
hal-02553261v1
|
|||
|
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
|
||
|
Automated Exploration of Homomorphic Encryption Scheme Input ParametersJournal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
Article dans une revue
hal-02960569v2
|
||
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
|
|||
|
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
|
|||
An Integrated Toolchain for Overlay-centric System-on-chip13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
Communication dans un congrès
hal-01867638v1
|
|||
|
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
|
||
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Communication dans un congrès
hal-03550389v1
|
|||
|
CupCarbon-Lab: An IoT EmulatorIEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
Communication dans un congrès
hal-01704422v1
|
||
|
Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
Communication dans un congrès
hal-01757093v1
|
||
|
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
|
||
|
A Meta Model Supporting both Hardware and Smalltalk-based Execution of FPGA CircuitsIWST 2015, ESUG, Jul 2015, Bressia, Italy. ⟨10.1145/2811237.2811296⟩
Communication dans un congrès
hal-01179466v1
|
||
|
Overlay Architectures For FPGA Resource VirtualizationGDR SOC SIP, Jun 2016, Nantes, France
Communication dans un congrès
hal-01405912v1
|
||
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
|
|||
Practical multiverse debugging through user-defined reductionsMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès
hal-03891589v1
|
|||
|
Remarkable Challenges of High-Performance Language Virtual Machines[Research Report] Inria Lille - Nord Europe. 2022
Rapport
hal-03770065v1
|
||
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
|
|||
|
Benchmarking Quantized Neural Networks on FPGAs with FINNDATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France
Communication dans un congrès
hal-03085342v1
|
||
Dolmen: FPGA Swarm for Safety and Liveness Verification2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès
hal-03708237v1
|
|||
|
TrustSoC : Architecture SoC hétérogène légère et efficace sécurisée par conceptionConférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS), LISTIC - Laboratoire d’Informatique, Systèmes, Traitement de l’Information et de la Connaissance, Jul 2023, Annecy, France
Communication dans un congrès
hal-04213598v1
|
||
|
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
|
|||
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of ComputationSLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Communication dans un congrès
hal-00912574v1
|
|||
|
Overlay Architectures for Heterogeneous FPGA Cluster Management.DASIP 2016, Oct 2016, Rennes, France
Communication dans un congrès
hal-01405890v1
|
||
A Prototyping Platform for Virtual Reconfigurable UnitsRECOSOC 2014, May 2014, Montpellier, France
Communication dans un congrès
hal-01006128v1
|