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


hal-00771748v1  Communication dans un congrès
Stephen CreffJoël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-00730497v1  Communication dans un congrès
Ali KoudriJean-Christophe Le LannJoël Champeau. UML/MARTE Process for SoC/SoPC
Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209
hal-02553261v1  Communication dans un congrès
Paul Gardner-StephenAngus WallaceLucas MossLoïc LagadecMatthew Lloyd. Designing a combined personal communicator and data entry terminal for disaster relief & remote operations
IEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
hal-01174435v1  Communication dans un congrès
Imran AshrafNader KhammassiKoen BertelsJean-Christophe Le Lann. Communication-aware Parallelization Strategies for High Performance Applications.
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
hal-01006128v1  Communication dans un congrès
Loïc LagadecJean-Christophe Le LannThéotime Bollengier. A Prototyping Platform for Virtual Reconfigurable Units
RECOSOC 2014, May 2014, Montpellier, France
hal-01009572v1  Communication dans un congrès
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
...
hal-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
hal-02515160v1  Communication dans un congrès
Ousmane DialloPhilippe DhaussyCiprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
...
hal-02088044v1  Communication dans un congrès
Florent KermarrecSébastien BourdeauducqHannah BadierJean-Christophe Le Lann. LiteX: an open-source SoC builder and library based on Migen Python DSL
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
hal-01623030v1  Communication dans un congrès
Erwan FabianiLoïc LagadecMohamed Ben HammoudaCiprian Teodorov. Asserting causal properties in High Level Synthesis
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
hal-00690459v1  Communication dans un congrès
Lahatra RakotondrainibeFréderic Le RoyJean-Philippe Delahaye. Meta-model Driven Reverse Engineering Approach to Ensure the Waveform Portability
Workshop of Software Radio - WSR 2012, Apr 2012, Karlsruhe, Germany
hal-00773497v1  Communication dans un congrès
Stephen CreffJoël ChampeauArnaud MonégierJean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
...
tel-02515931v1  Thèse
Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English
hal-00819668v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecSébastien PillementArnaud Tisserand. Architecture des ordinateurs
Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. 32, Hermes, pp.150, 2013, Technique et science informatique, 9782746245679
hal-03028409v1  Communication dans un congrès
Émilien FournierCiprian TeodorovLoïc Lagadec. Menhir: Generic High-Speed FPGA Model-Checker
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
...
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands