Abdoulaye Gamatié
162
Documents
Présentation
**Biography:** Abdoulaye Gamatié is currently a CNRS Senior Researcher (Directeur de Recherche [CNRS](http://www.cnrs.fr/index.php)) in the Microelectronics department of the [LIRMM](http://www.lirmm.fr/lirmm_eng) laboratory (Montpellier - France). His research activity focuses on the design of energy-efficient multicore/multiprocessor architectures for embedded and high-performance computing. He is the scientific leader of the French ANR project [CONTINUUM](http://www.lirmm.fr/continuum-project). He co-authored more than 50 articles in refereed journals and international conferences. He is the author of a [reference book](http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-0940-4) on synchronous programming of embedded applications using the Signal language. He also contributed to several books as editor and chapter author. He is currently Associate Editor of ACM Transactions on Embedded Computing Systems (ACM TECS). He received his Habilitation (HDR in French) and Ph.D. in Computer Science, respectively in 2012 from Université de Lille 1 and in 2004 from Université de Rennes 1. He was previously member of [LIFL](http://www.lifl.fr/)computer science laboratory (Villeneuve D'Ascq - France) and [Inria](http://www.inria.fr/index.en.html) Lille - Nord Europe research center (France) from 2006 to 2012. Before this period, he had been member of [IRISA](http://www.irisa.fr/en) computer science laboratory (Rennes - France) where he worked on multi-clock synchronous design and analysis of real-time embedded systems in the avionics domain from 1999 to 2005.
Publications
- 10
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 68
- 20
- 20
- 16
- 14
- 13
- 12
- 12
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 76
- 51
- 22
- 21
- 9
- 3
- 2
- 4
- 3
- 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
- 5
- 5
- 7
- 8
- 14
- 10
- 14
- 15
- 12
- 3
- 5
- 13
- 10
- 9
- 5
- 5
- 2
- 6
- 4
- 4
- 4
- 1
- 22
- 3
- 2
- 1
- 1
- 4
- 3
- 2
- 1
|
Energy-efficient Hardware Reuse for Sustainable Data CentresEco-ES 2023 - Workshop on Eco-design and circular economy of Electronic Systems@DATE 2023, Apr 2023, Antwerp, Belgium
Communication dans un congrès
lirmm-04338733v1
|
|
Towards Sustainable Low Carbon Emission Mini Data CentresComPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France
Communication dans un congrès
lirmm-04338756v1
|
|
A Generative AI for Heterogeneous Network-on-Chip Design Space PruningDATE 2022 - 25th Design, Automation and Test in Europe Conference and Exhibition, Mar 2022, Antwerp, Belgium. pp.1135-1138, ⟨10.23919/DATE54114.2022.9774721⟩
Communication dans un congrès
lirmm-03475912v1
|
L’impact énergétique des flux de données numériquesColloque Energie du CNRS, Cellule énergie du CNRS, Dec 2021, Paris, France
Communication dans un congrès
hal-03521821v1
|
|
|
Modeling and Analysis for Energy-Driven Computing using Statistical Model-CheckingDATE 2021 - 24th Design, Automation and Test in Europe Conference and Exhibition, Feb 2021, Grenoble (Virtual), France. pp.980-985, ⟨10.23919/DATE51398.2021.9474224⟩
Communication dans un congrès
lirmm-03143143v1
|
|
Highly-Adaptive Mixed-Precision MAC Unit for Smart and Low-Power Edge ComputingNEWCAS 2021 - 19th IEEE International New Circuits and Systems Conference, Jun 2021, Toulon (virtual), France. pp.1-4, ⟨10.1109/NEWCAS50681.2021.9462745⟩
Communication dans un congrès
lirmm-03241639v1
|
|
GANNoC: A Framework for Automatic Generation of NoC Topologies using Generative Adversarial NetworksRAPIDO 2021 - 13th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2021, Budapest, Hungary. pp.51-58, ⟨10.1145/3444950.3447283⟩
Communication dans un congrès
lirmm-03107918v2
|
|
Online Learning for Dynamic Control of OpenMP WorkloadsMOCAST 2020 - 9th International Conference on Modern Circuits and Systems Technologies, Sep 2020, Bremen, Germany. ⟨10.1109/MOCAST49295.2020.9200292⟩
Communication dans un congrès
hal-02565961v1
|
|
Évaluation de deux architectures matérielles dédiées à l'inférence basée sur des réseaux de neurones convolutifsComPAS 2020 - Conférence en Parallélisme, Architecture et Système, Jun 2020, Lyon, France
Communication dans un congrès
lirmm-03041267v2
|
|
A Flexible Power Crossbar-based Architecture for Software-Defined Power DomainsEPE’20 ECCE Europe, Sep 2020, Lyon (virtual), France
Communication dans un congrès
hal-02950802v1
|
|
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on InputsSBESC 2020 - 10th Brazilian Symposium on Computing Systems Engineering, Nov 2020, Virtual, Brazil. ⟨10.1109/SBESC51047.2020.9277863⟩
Communication dans un congrès
lirmm-03018543v1
|
|
Energy-Efficient Machine Learning on FPGA for Edge Devices: a Case StudyComPAS 2020 - Conférence en Parallélisme, Architecture et Système, Jun 2020, Lyon, France
Communication dans un congrès
lirmm-03041276v2
|
|
Versatile Software Framework for the Monitoring and Control of Distributed Computing SystemsEDiS 2020 - 2nd International Conference on Embedded & Distributed Systems, Apr 2020, Oran, Algeria. pp.117-122, ⟨10.1109/EDiS49545.2020.9296483⟩
Communication dans un congrès
halshs-02566036v2
|
|
Compiler-assisted adaptive program scheduling in big.LITTLE systemsPPoPP 2019 - 24th Symposium on Principles and Practice of Parallel Programming, Feb 2019, Washington, United States. pp.429-430, ⟨10.1145/3293883.3301493⟩
Communication dans un congrès
lirmm-02100287v1
|
|
Exploration of Energy-Proportional Distributed Systems13e Colloque National du GDR SoC², Jun 2019, Montpellier, France
Communication dans un congrès
hal-03326292v1
|
|
Automatic Energy-Efficiency Monitoring of OpenMP WorkloadsReCoSoC 2019 - 14th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, Jul 2019, York, United Kingdom. pp.43-50, ⟨10.1109/ReCoSoC48741.2019.9034988⟩
Communication dans un congrès
lirmm-02183901v1
|
|
Main memory organization trade-offs with DRAM and STT-MRAM options based on gem5-NVMain simulation frameworksDATE 2018 - 21st Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. pp.103-108, ⟨10.23919/DATE.2018.8341987⟩
Communication dans un congrès
lirmm-01912824v1
|
|
Partial Worst-Case Execution Time AnalysisComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Communication dans un congrès
hal-01803006v1
|
|
Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache MemoryRAPIDO: Rapid Simulation and Performance Evaluation, HiPEAC, Jan 2018, Manchester, United Kingdom. pp.1-8, ⟨10.1145/3180665.3180666⟩
Communication dans un congrès
hal-01660686v1
|
|
A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android SystemsReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449378⟩
Communication dans un congrès
lirmm-01912850v1
|
|
Improving the Performance of STT-MRAM LLC through Enhanced Cache Replacement PolicyARCS: Architecture of Computing Systems, Apr 2018, Braunschweig, Germany. pp.168-180, ⟨10.1007/978-3-319-77610-1_13⟩
Communication dans un congrès
lirmm-01669254v2
|
|
Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAMRTNS: Real-Time Networks and Systems, Oct 2018, Poitiers, France. pp.148-158, ⟨10.1145/3273905.3273908⟩
Communication dans un congrès
hal-01871320v1
|
|
Evaluation of Heterogeneous Multicore Cluster Architectures Designed for Mobile ComputingReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449376⟩
Communication dans un congrès
lirmm-01871273v1
|
|
Using multifunctional standardized stack as universal spintronic technology for IoTDATE 2018 - 21st Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. pp.931-936, ⟨10.23919/DATE.2018.8342143⟩
Communication dans un congrès
hal-01864468v1
|
|
Performance and Energy Assessment of Last-Level Cache Replacement PoliciesEDiS: Embedded and Distributed Systems, Dec 2017, Oran, Algeria. ⟨10.1109/EDIS.2017.8284032⟩
Communication dans un congrès
lirmm-01651247v1
|
|
How Could Compile-Time Program Analysis help Leveraging Emerging NVM Features?EDiS: Embedded and Distributed Systems, Dec 2017, Oran, Algeria. pp.1-6, ⟨10.1109/EDIS.2017.8284031⟩
Communication dans un congrès
hal-01655195v1
|
|
MAGPIE: System-level Evaluation of Manycore Systems with Emerging Memory TechnologiesEMS: Emerging Memory Solutions, Mar 2017, Lausanne, Switzerland
Communication dans un congrès
lirmm-01467328v1
|
Roundabout: A Network-on-Chip router with adaptive buffer sharingNEWCAS 2017 - 15th IEEE International New Circuits and Systems Conference, Jun 2017, Strasbourg, France. pp.65-68, ⟨10.1109/NEWCAS.2017.8010106⟩
Communication dans un congrès
lirmm-01622878v1
|
|
Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer SharingDSD 2017 - 20th Euromicro Conference on Digital System Design, Aug 2017, Vienna, Australia. pp.171-178, ⟨10.1109/DSD.2017.55⟩
Communication dans un congrès
lirmm-01622885v1
|
|
|
Efficient Programming for Multicore Processor Heterogeneity: OpenMP versus OmpSsOpenSuCo, Jun 2017, Frankfurt, Germany
Communication dans un congrès
lirmm-01723762v1
|
|
ElasticSimMATE: a Fast and Accurate gem5 Trace-Driven Simulator for Multicore SystemsReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2017, Madrid, Spain. ⟨10.1109/ReCoSoC.2017.8016146⟩
Communication dans un congrès
hal-01723789v1
|
Distributed and Dynamic Shared-Buffer Router for High-Performance InterconnectNOCS: Networks-on-Chip Symposium, Oct 2017, Seoul, South Korea. pp.1-8, ⟨10.1145/3130218.3130223⟩
Communication dans un congrès
lirmm-01622889v1
|
|
|
Embedded systems to high performance computing using STT-MRAMDATE 2017 - 20th Design, Automation and Test in Europe Conference and Exhibition, Mar 2017, Lausanne, Switzerland. pp.536-541, ⟨10.23919/DATE.2017.7927046⟩
Communication dans un congrès
lirmm-01548996v1
|
|
A Workflow for Fast Evaluation of Mapping Heuristics Targeting Cloud InfrastructuresDREAMCloud: Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing, Jan 2016, Prague, Czech Republic
Communication dans un congrès
lirmm-01265874v1
|
|
Full-System Simulation of big.LITTLE Multicore Architecture for Performance and Energy ExplorationMCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. pp.201-208, ⟨10.1109/MCSoC.2016.20⟩
Communication dans un congrès
lirmm-01418745v1
|
Design space exploration for complex automotive applications: an engine control system case studyRAPIDO: Rapid Simulation and Performance Evaluation, Jan 2016, Prague, Czech Republic. ⟨10.1145/2852339.2852341⟩
Communication dans un congrès
lirmm-01265891v1
|
|
|
Flot automatique d’évaluation pour l’exploration d’architectures à base de mémoires non volatilesComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2016, Lorient, France
Communication dans un congrès
lirmm-01345975v1
|
Performance Prediction of Application Mapping in Manycore Systems with Artificial Neural NetworksMCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. pp.185-192, ⟨10.1109/MCSoC.2016.17⟩
Communication dans un congrès
lirmm-01385641v1
|
|
|
Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy TradeoffsPATMOS: Power and Timing Modeling, Optimization and Simulation, Sep 2016, Bremen, Germany. pp.162-169, ⟨10.1109/PATMOS.2016.7833682⟩
Communication dans un congrès
hal-01347354v1
|
|
Speed and Accuracy Dilemma in NoC Simulation: What about Memory Impact?ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jun 2016, Tallinn, Estonia
Communication dans un congrès
lirmm-01332702v1
|
|
OpenMP scheduling on ARM big.LITTLE architectureMULTIPROG 2016 - 9th International Workshop on Programmability and Architectures for Heterogeneous Multicores, HIPEAC, Jan 2016, Prague, Czech Republic
Communication dans un congrès
lirmm-01377630v1
|
For a Design Continuum to Build Next Generation Energy-Efficient Compute NodesEDiS: Embedded and Distributed Systems, Nov 2015, Oran, Algeria
Communication dans un congrès
lirmm-01419151v1
|
|
|
Potential Applications Based on NVM Emerging TechnologiesDATE 2015 - 18th Design, Automation and Test in Europe Conference and Exhibition, Mar 2015, Grenoble, France. pp.1012-1017, ⟨10.7873/DATE.2015.1120⟩
Communication dans un congrès
lirmm-01253332v1
|
|
A trace-driven approach for fast and accurate simulation of manycore architecturesASP-DAC: Asia and South Pacific Design Automation Conference, Jan 2015, Chiba, Tokyo, Japan. pp.707-712, ⟨10.1109/ASPDAC.2015.7059093⟩
Communication dans un congrès
lirmm-01255921v1
|
|
An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core SystemsFDL: Forum on specification & Design Languages, Sep 2015, Barcelona, Spain
Communication dans un congrès
lirmm-01418748v1
|
|
Design Exploration for next Generation High-Performance Manycore On-chip Systems: Application to big.LITTLE ArchitecturesISVLSI: International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.551-556, ⟨10.1109/ISVLSI.2015.28⟩
Communication dans un congrès
lirmm-01255927v1
|
On the Performance Exploration of 3D NoCs with Resistive-Open TSVsISVLSI 2015 - International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.579-584, ⟨10.1109/ISVLSI.2015.49⟩
Communication dans un congrès
lirmm-01248588v1
|
|
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Communication dans un congrès
hal-01116015v1
|
|
|
Emerging Non-volatile Memory Technologies Exploration Flow for Processor ArchitectureISVLSI 2015 - International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.460-465, ⟨10.1109/ISVLSI.2015.126⟩
Communication dans un congrès
lirmm-01253337v1
|
Performance exploration of partially connected 3D NoCs under manufacturing variabilityNEWCAS 2014 - 12th IEEE International New Circuits and Systems Conference, Jun 2014, Trois-Rivieres, QC, Canada. pp.61-64, ⟨10.1109/NEWCAS.2014.6933985⟩
Communication dans un congrès
lirmm-01248595v1
|
|
Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete ControlICAC: International Conference on Autonomic Computing, Jun 2013, San Jose CA, United States
Communication dans un congrès
hal-00852849v1
|
|
Discrete Control for Reconfigurable FPGA-based Embedded SystemsDCDS: Dependable Control of Discrete Systems, Sep 2013, York, United Kingdom
Communication dans un congrès
hal-00862489v1
|
|
|
Transformation-based Exploration of Data-Parallel Architecture for Customizable Hardware: A JPEG Encoder Case StudyEuromicro Conference on Digital System Design (DSD 2012), Sep 2012, Cesme, Izmir, Turkey
Communication dans un congrès
hal-00758161v1
|
Design of streaming applications on MPSoCs using abstract clocksDesign, Automation & Test in Europe Conference & Exhibition (DATE), 2012, Mar 2012, Dresden, France. pp.763-768
Communication dans un congrès
hal-00758182v1
|
|
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCsProceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. pp.3--12, ⟨10.1145/2236576.2236577⟩
Communication dans un congrès
hal-00758194v1
|
|
Design of Streaming Applications on MPSoCs using Abstract ClocksDesign, Automation and Test in Europe Conference (DATE'2012), Mar 2012, Dresden, Germany
Communication dans un congrès
hal-00665084v1
|
|
Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Jul 2012, Leganés, Madrid, Spain. pp.729 -736
Communication dans un congrès
hal-00758165v1
|
|
|
Design Space Exploration in Application-Specific Hardware Synthesis for Multiple Communicating Nested LoopsInternational Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XII), Jul 2012, Samos, Greece
Communication dans un congrès
hal-00758159v1
|
|
Safe Design of Dynamically Reconfigurable Embedded Systems2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00
Communication dans un congrès
hal-00903734v1
|
SMT based false causal loop detection during code synthesis from Polychronous specifications9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. ⟨10.1109/MEMCOD.2011.5970517⟩
Communication dans un congrès
inria-00637574v1
|
|
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systemsACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩
Communication dans un congrès
inria-00586137v1
|
|
|
Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel ApplicationsEuro-Par - 16th International Euro-Par Conference - 2010, Aug 2010, Ischia, Italy. pp.101--116, ⟨10.1007/978-3-642-15277-1_11⟩
Communication dans un congrès
inria-00522786v1
|
|
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey
Communication dans un congrès
inria-00522787v1
|
Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case StudyInternational Symposium on System-on-Chip (SoC'2010), Sep 2010, Tampere, Finland
Communication dans un congrès
inria-00522792v1
|
|
|
Modeling of Configurations for Embedded System Implementations in MARTE1st workshop on Model Based Engineering for Embedded Systems Design - Design, Automation and Test in Europe (DATE 2010), Mar 2010, Dresden, Germany
Communication dans un congrès
inria-00486845v1
|
A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping10th African Conference on Research in Computer Science and Applied Mathematics (CARI'2010), Oct 2010, Yamoussoukro, Côte d’Ivoire
Communication dans un congrès
inria-00522793v1
|
|
|
Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processingColloque International Télécom'2009 & 6èmes JFMMA, Mar 2009, Agadir, Morocco
Communication dans un congrès
inria-00525012v1
|
A Case Study on Controller Synthesis for Data-Intensive Embedded SystemsInternational Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩
Communication dans un congrès
hal-00838928v1
|
|
|
MARTE-based Design of a Multimedia Application and Formal AnalysisFDL 2008, Sep 2008, Stuttgart, Germany. pp.6
Communication dans un congrès
inria-00567972v1
|
Using the UML Profile for MARTE to MPSoC Co-DesignFirst International Conference on Embedded Systems & Critical Applications (ICESCA'08), May 2008, Tunis, Tunisia
Communication dans un congrès
inria-00524363v1
|
|
|
Vers des transformations d'applications à parallélisme de données en équations synchrones9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France
Communication dans un congrès
inria-00124125v1
|
Synchronous Modeling of Data-Intensive ApplicationsInternational Open Workshop on Synchronous Programming (Synchron 2006), 2006, Alpe d'Huez, France
Communication dans un congrès
inria-00565163v1
|
|
|
Polychronous mode automataEMSOFT '06, Oct 2006, Seoul, South Korea. pp.83-92, ⟨10.1145/1176887.1176900⟩
Communication dans un congrès
hal-00541469v1
|
|
Toward Static Analysis of SIGNAL Programs using Interval TechniquesSynchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. pp.SLAP 2006
Communication dans un congrès
hal-00544123v1
|
|
Conception synchrone d'applications avioniques par raffinement de modèles13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS, Apr 2005, Paris, France. pp.00 -- 00
Communication dans un congrès
hal-00879445v1
|
|
A Behavioral Type Inference System for Compositional System-on-Chip DesignFourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp.47-56, ⟨10.1109/CSD.2004.1309115⟩
Communication dans un congrès
hal-00542146v1
|
|
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004
Communication dans un congrès
hal-00541790v1
|
|
Synchronous modeling of avionics applications using the SIGNAL language9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
Communication dans un congrès
hal-00541841v1
|
|
The SIGNAL Approach to the Design of System Architectures10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. pp.80-88, ⟨10.1109/ECBS.2003.1194786⟩
Communication dans un congrès
hal-00541913v1
|
|
Energy-Efficiency Metric for Real-Time Monitoring of OpenMP Programs Executing on Multicore Systems13e Colloque National du GDR SoC², Jun 2019, Montpellier, France
Poster de conférence
lirmm-03326276v2
|
Multithreading for Compute Accelerators Through Distributed Shared Memory DesignDAC: Design Automation Conference, Jun 2014, San Francisco, United States. IEEE Design Automation Conference, 2014, Work-in-Progress Session
Poster de conférence
lirmm-01419120v1
|
Computing in Research and Development in AfricaAbdoulaye Gamatié. Springer International Publishing Switzerland, 1, 2015, 978-3-319-08238-7 (Print) 978-3-319-08239-4 (Online). ⟨10.1007/978-3-319-08239-4⟩
Ouvrages
lirmm-01385649v1
|
|
Modélisation des systèmes réactifs MSR 2011Abdoulaye Gamatié and Étienne Craye. Lavoisier, 45/1-3, pp.268, 2011, Journal Européen des Systèmes Automatisés
Ouvrages
hal-00849952v1
|
|
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive SpecificationSpringer, New York, pp.260, 2009, 978-1-4419-0940-4
Ouvrages
inria-00522798v1
|
|
Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCsNicolescu, Gabriela; O'Connor, Ian; Piguet, Christian. Heterogeneous Embedded Systems - Design Theory and Practice, Springer, 26 p., 2012
Chapitre d'ouvrage
inria-00525023v1
|
Design Space Exploration for Efficient Data Intensive Computing on SoCsBorko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011
Chapitre d'ouvrage
inria-00637012v1
|
|
Specification of Data Intensive Applications with Data Dependency and Abstract ClocksBorko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011
Chapitre d'ouvrage
inria-00637011v1
|
Data Processing System with Energy TransferFrance, Patent n° : WO2017178571. 2016
Brevet
lirmm-02145436v1
|
Dealing with Energy-Efficiency in Next-Generation Compute Systems2016
Autre publication scientifique
lirmm-01419154v1
|
|
Model-Based Design and Analysis of Automotive Applications on Multicore platforms: an Effective Approach2016
Autre publication scientifique
lirmm-01419153v1
|
|
Abstract clock-based approaches in the programming, design and analysis of embedded systems2014
Autre publication scientifique
lirmm-01419152v1
|
|
Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction2024
Pré-publication, Document de travail
lirmm-04493175v1
|
|
Markov Models of DC Microgrid Architectures2022
Pré-publication, Document de travail
hal-03861560v1
|
|
Towards a Flexible and Comprehensive Evaluation Approach for Adressing NVM Integration in Cache Hierarchy2021
Pré-publication, Document de travail
lirmm-03341602v1
|
|
Performance and Energy Impact of Enhanced Cache Replacement Policy on STT-MRAM LLC2021
Pré-publication, Document de travail
lirmm-03341604v1
|
|
Emerging NVM Technologies in Main Memory for Energy-Efficient HPC: an Empirical Study2019
Pré-publication, Document de travail
lirmm-02135043v1
|
|
Scheduling in Heterogeneous Architectures via Multivariate Linear Regression on Function Inputs2019
Pré-publication, Document de travail
lirmm-02281112v1
|
|
Modélisation polychrone et évaluation de systèmes temps réelSystèmes embarqués. Université Rennes 1, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00879359v2
|
|
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-ChipEmbedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012
HDR
tel-00756967v2
|