default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrédéric Pétrot
Person information
- affiliation: Grenoble Institute of Technology, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j31]Chandana S. Deshpande
, Arthur Perais, Frédéric Pétrot:
Toward Practical 128-Bit General Purpose Microarchitectures. IEEE Comput. Archit. Lett. 22(2): 81-84 (2023)- [c104]Marie Badaroux, Julie Dumas, Frédéric Pétrot:
Fast Instruction Cache Simulation is Trickier than You Think. DroneSE/RAPIDO@HiPEAC 2023: 48-53 - [c103]Nathan Bain, Roberto Guizzetti, Emilien Taly, Ali Oudrhiri, Bruno Paille, Pascal Urard, Frédéric Pétrot:
Quantization Modes for Neural Network Inference: ASIC Implementation Trade-offs. IJCNN 2023: 1-8 - 2022
- [j30]Jean Bruant, Pierre-Henri Horrein, Olivier Muller, Tristan Groléat, Frédéric Pétrot:
Toward Agile Hardware Designs With Chisel: A Network Use Case. IEEE Des. Test 39(1): 77-84 (2022) - [c102]Maxime Christ, Florent de Dinechin, Frédéric Pétrot:
Low-precision logarithmic arithmetic for neural network accelerators. ASAP 2022: 72-79 - [c101]Fabien Portas, Frédéric Pétrot:
Fast simulation of future 128-bit architectures. DATE 2022: 1131-1134 - [c100]Arthur Vianès, Frédéric Pétrot, Frédéric Rousseau:
A Case for Second-Level Software Cache Coherency on Many-Core Accelerators. RSP 2022: 29-35 - 2021
- [j29]Antonio De Vita, Danilo Pau, Luigi Di Benedetto, Alfredo Rubino, Frédéric Pétrot, Gian Domenico Licciardo:
Highly-accurate binary tiny neural network for low-power human activity recognition. Microprocess. Microsystems 87: 104371 (2021) - [j28]Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot:
Synchronization of Continuous Time and Discrete Events Simulation in SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(7): 1450-1463 (2021) - [c99]Breytner Joseph Fernández-Mesa, Liliana Andrade, Frédéric Pétrot:
Simulation of Ideally Switched Circuits in SystemC. ASP-DAC 2021: 23-28 - [c98]Marie Badaroux, Frédéric Pétrot:
Arbitrary and Variable Precision Floating-Point Arithmetic Support in Dynamic Binary Translation. ASP-DAC 2021: 325-330 - [c97]Tiago Trevisan Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot:
Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic. CGO 2021: 65-76 - [c96]Marie Badaroux, Saverio Miroddi, Frédéric Pétrot:
To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation. DSD 2021: 238-245 - [c95]Louis Bonicel, Roland Bohrer, Benoit Leprettre, Frédéric Pétrot, Frédéric Rousseau:
Component Based Framework for Designing and Validating Asynchronous Algorithms for Electrical Measurement and Protection. ICPS 2021: 505-510 - 2020
- [c94]Tiago T. Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot:
VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic. PACT 2020: 355-356 - [c93]Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot:
Accurate and Efficient Continuous Time and Discrete Events Simulation in SystemC. DATE 2020: 370-375 - [c92]Antonio De Vita, Danilo Pau, Luigi Di Benedetto, Alfredo Rubino, Frédéric Pétrot, Gian Domenico Licciardo:
Low Power Tiny Binary Neural Network with improved accuracy in Human Recognition Systems. DSD 2020: 309-315 - [c91]Jean Bruant, Pierre-Henri Horrein, Olivier Muller, Tristan Groléat, Frédéric Pétrot:
(System)Verilog to Chisel Translation for Faster Hardware Design. RSP 2020: 1-7
2010 – 2019
- 2019
- [j27]Omayma Matoussi, Frédéric Pétrot:
Loop aware CFG matching strategy for accurate performance estimation in IR-level native simulation. Integr. 65: 444-454 (2019) - [j26]Olivier Muller, Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot:
Efficient Decompression of Binary Encoded Balanced Ternary Sequences. IEEE Trans. Very Large Scale Integr. Syst. 27(8): 1962-1966 (2019) - [c90]Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot:
Electronic System Level Design of Heterogeneous Systems: a Motor Speed Control System Case Study. NEWCAS 2019: 1-4 - [c89]Louis Bonicel, Roland Bohrer, Benoit Leprettre, Frédéric Rousseau, Frédéric Pétrot:
Multi-Triggered Embedded Software Code Generation for Electrical Metering and Protection Applications. RSP 2019: 1-7 - 2018
- [j25]Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot:
High-Efficiency Convolutional Ternary Neural Networks with Custom Adder Trees and Weight Compression. ACM Trans. Reconfigurable Technol. Syst. 11(3): 15:1-15:24 (2018) - [c88]Julie Dumas, Eric Guthmuller, Frédéric Pétrot:
Dynamic Coherent Cluster: A Scalable Sharing Set Management Approach. ASAP 2018: 1-8 - [c87]Omayma Matoussi, Frédéric Pétrot:
A mapping approach between IR and binary CFGs dealing with aggressive compiler optimizations for performance estimation. ASP-DAC 2018: 452-457 - [c86]Liliana Andrade, Adrien Prost-Boucle, Frédéric Pétrot:
Overview of the state of the art in embedded machine learning. DATE 2018: 1033-1038 - [c85]Thomas Baumela, Olivier Gruber, Olivier Muller, Frédéric Pétrot:
Message-Oriented Devices on FPGAs. RSP 2018: 8-14 - 2017
- [j24]Pascal Vivet, Yvain Thonnart, Romain Lemaire, Cristiano Santos, Edith Beigné, Christian Bernard, Florian Darve, Didier Lattard, Ivan Miro Panades, Denis Dutoit, Fabien Clermidy, Séverine Cheramy, Abbas Sheibanyrad, Frédéric Pétrot, Eric Flamand, Jean Michailos, Alexandre Arriordaz, Lee Wang, Juergen Schloeffel:
A 4 × 4 × 2 Homogeneous Scalable 3D Network-on-Chip Circuit With 326 MFlit/s 0.66 pJ/b Robust and Fault Tolerant Asynchronous 3D Links. IEEE J. Solid State Circuits 52(1): 33-49 (2017) - [j23]Luc Michel, Frédéric Pétrot:
Dynamic Binary Translation of VLIW Codes on Scalar Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(5): 789-800 (2017) - [j22]Marcos Aurélio Pinto Cunha, Omayma Matoussi, Frédéric Pétrot:
Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. ACM Trans. Embed. Comput. Syst. 16(2): 30:1-30:21 (2017) - [j21]Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar:
Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets. ACM Trans. Reconfigurable Technol. Syst. 10(3): 21:1-21:25 (2017) - [c84]Julie Dumas, Eric Guthmuller, César Fuguet Tortolero, Frédéric Pétrot:
A Method for Fast Evaluation of Sharing Set Management Strategies in Cache Coherence Protocols. ARCS 2017: 111-123 - [c83]Omayma Matoussi, Frédéric Pétrot:
Loop aware IR-level annotation framework for performance estimation in native simulation. ASP-DAC 2017: 220-225 - [c82]Omayma Matoussi, Frédéric Pétrot:
IR-level annotation strategy dealing with aggressive loop optimizations for performance estimation in native simulation: work-in-progress. CODES+ISSS 2017: 13:1-13:2 - [c81]Omayma Matoussi, Frédéric Pétrot:
Modeling instruction cache and instruction buffer for performance estimation of VLIW architectures using native simulation. DATE 2017: 266-269 - [c80]Antoine Faravelon, Olivier Gruber, Frédéric Pétrot:
Optimizing Memory Access Performance Using Hardware Assisted Virtualization in Retargetable Dynamic Binary Translation. DSD 2017: 40-46 - [c79]Hela Belhadj Amor, Abbas Sheibanyrad, Frédéric Pétrot:
A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support. DSD 2017: 184-191 - [c78]Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy:
Scalable high-performance architecture for convolutional ternary neural networks on FPGA. FPL 2017: 1-7 - [c77]Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:
Ternary neural networks for resource-efficient AI applications. IJCNN 2017: 2547-2554 - [c76]Hela Belhadj Amor, Hamed Sheibanyrad, Frédéric Pétrot:
A Meta-Routing Method to Create Multiple Virtual Logical Networks on a Single Hardware NoC. ISVLSI 2017: 200-205 - [c75]Julie Dumas, Eric Guthmuller, César Fuguet Tortolero, Frédéric Pétrot:
Trace-driven exploration of sharing set management strategies for cache coherence in manycores. NEWCAS 2017: 77-80 - [p3]Frédéric Pétrot, Luc Michel, Clément Deschamps:
Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation. Handbook of Hardware/Software Codesign 2017: 565-591 - 2016
- [j20]Marcos Aurélio Pinto Cunha, Nicolas Fournel, Frédéric Pétrot:
Deterministic reversible MPSoC debugger based on virtual platform execution traces. Des. Autom. Embed. Syst. 20(1): 47-63 (2016) - [c74]Guillaume Sarrazin, Nicolas Brunie, Frédéric Pétrot:
Virtual prototyping of floating point units. RAPIDO@HiPEAC 2016: 1:1-1:6 - [c73]Pascal Vivet, Yvain Thonnart, Romain Lemaire, Edith Beigné, Christian Bernard, Florian Darve, Didier Lattard, Ivan Miro Panades, Cristiano Santos, Fabien Clermidy, Séverine Cheramy, Frédéric Pétrot, Eric Flamand, Jean Michailos:
8.1 A 4×4×2 homogeneous scalable 3D network-on-chip circuit with 326MFlit/s 0.66pJ/b robust and fault-tolerant asynchronous 3D links. ISSCC 2016: 146-147 - [c72]Perrin N. Ntafam, Eric Paire, Alain Clouard, Frédéric Pétrot:
Simulation driven insertion of data prefetching instructions for early software-on-SoC optimization. RSP 2016: 93-99 - [i2]Laurent Raffaëlli, Frédérique Vallée, Guy Fayolle, Philippe De Souza, Xavier Rouah, Matthieu Pfeiffer, Stéphane Géronimi, Frédéric Pétrot, Samia Ahiad:
Facing ADAS validation complexity with usage oriented testing. CoRR abs/1607.07849 (2016) - [i1]Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:
Ternary Neural Networks for Resource-Efficient AI Applications. CoRR abs/1609.00222 (2016) - 2015
- [j19]Guillaume Sarrazin, Nicolas Fournel, Patrice Gerin, Frédéric Pétrot:
Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques. Tech. Sci. Informatiques 34(1-2): 153-173 (2015) - [c71]Antoine Faravelon, Nicolas Fournel, Frédéric Pétrot:
Fast and accurate branch predictor simulation. DATE 2015: 317-320 - [c70]Marcos Aurélio Pinto Cunha, Nicolas Fournel, Frédéric Pétrot:
Collecting traces in dynamic binary translation based virtual prototyping platforms. RAPIDO@HiPEAC 2015: 4:1-4:6 - 2014
- [j18]Sahar Foroutan, Abbas Sheibanyrad, Frédéric Pétrot:
Assignment of Vertical-Links to Routers in Vertically-Partially-Connected 3-D-NoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(8): 1208-1218 (2014) - [c69]Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot:
Scalability bottlenecks discovery in MPSoC platforms using data mining on simulation traces. DATE 2014: 1-6 - [c68]Lorena Anghel, Mounir Benabdenbi, Frédéric Pétrot:
System on chip project: Integration of a Motion-JPEG video decoder. EWME 2014: 167-170 - [c67]Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, Frédéric Pétrot:
Device driver generation targeting multiple operating systems using a model-driven methodology. RSP 2014: 30-36 - 2013
- [j17]Khaled Rahmouni, Sebastien Chabanet, Nicolas Lambelin, Frédéric Pétrot:
Design of a medium voltage protection device using system simulation approaches: a case study. Int. J. Embed. Syst. 5(1/2): 53-66 (2013) - [j16]Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot:
An environment for (re)configuration and execution management of heterogeneous flexible radio platforms. Microprocess. Microsystems 37(6-7): 701-712 (2013) - [j15]Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani:
Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs. IEEE Trans. Computers 62(3): 609-615 (2013) - [j14]Sahar Foroutan, Yvain Thonnart, Frédéric Pétrot:
An Iterative Computational Technique for Performance Evaluation of Networks-on-Chip. IEEE Trans. Computers 62(8): 1641-1655 (2013) - [c66]Mian Muhammad Hamayun, Frédéric Pétrot, Nicolas Fournel:
Native simulation of complex VLIW instruction sets using static binary translation and Hardware-Assisted Virtualization. ASP-DAC 2013: 576-581 - [c65]Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot:
Data mining MPSoC simulation traces to identify concurrent memory access patterns. DATE 2013: 755-760 - [c64]Julien Saade, Frédéric Pétrot, Andre Picco, Joel Huloux, Abdelaziz Goulahsen:
A system-level overview and comparison of three High-Speed Serial Links: USB 3.0, PCI Express 2.0 and LLI 1.0. DDECS 2013: 147-152 - [c63]Sahar Foroutan, Benny Akesson, Kees Goossens, Frédéric Pétrot:
A General Framework for Average-Case Performance Analysis of Shared Resources. DSD 2013: 78-85 - [c62]Nicolas Fournel, Luc Michel, Frédéric Pétrot:
Automated generation of efficient instruction decoders for instruction set simulators. ICCAD 2013: 739-746 - 2012
- [j13]Hao Shen, Mian Muhammad Hamayun, Frédéric Pétrot:
Native Simulation of MPSoC Using Hardware-Assisted Virtualization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(7): 1074-1087 (2012) - [j12]Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot:
Integration of GPU Computing in a Software Radio Environment. J. Signal Process. Syst. 69(1): 55-65 (2012) - [c61]Luc Michel, Nicolas Fournel, Frédéric Pétrot:
Fast simulation of systems embedding VLIW processors. CODES+ISSS 2012: 143-150 - [c60]Sahar Foroutan, Abbas Sheibanyrad, Frédéric Pétrot:
Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces. DAC 2012: 366-375 - [c59]Alexandre Chagoya-Garzon, Frédéric Rousseau, Frédéric Pétrot:
Multi-device Driver Synthesis Flow for Heterogeneous Hierarchical Systems. DSD 2012: 389-396 - [c58]Yan Xu, Olivier Muller, Pierre-Henri Horrein, Frédéric Pétrot:
HCM: An abstraction layer for seamless programming of DPR FPGA. FPL 2012: 583-586 - [c57]Florentine Dubois, Valerio Catalano, Marcello Coppola, Frédéric Pétrot:
Accurate on-chip router area modeling with Kriging methodology. ICCAD 2012: 450-457 - [c56]Maryam Bahmani, Abbas Sheibanyrad, Frédéric Pétrot, Florentine Dubois, Paolo Durante:
A 3D-NoC Router Implementation Exploiting Vertically-Partially-Connected Topologies. ISVLSI 2012: 9-14 - [c55]Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot:
Automatic congestion detection in MPSoC programs using data mining on simulation traces. RSP 2012: 64-70 - 2011
- [j11]Frédéric Pétrot, Nicolas Fournel, Patrice Gerin, Marius Gligor, Mian Muhammad Hamayun, Hao Shen:
On MPSoC Software Execution at the Transaction Level. IEEE Des. Test Comput. 28(3): 32-43 (2011) - [j10]Quentin L. Meunier, Frédéric Pétrot:
Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. Tech. Sci. Informatiques 30(9): 1061-1087 (2011) - [c54]Hao Shen, Frédéric Pétrot:
Using Amdahl's Law for Performance Analysis of Many-Core SoC Architectures Based on Functionally Asymmetric Processors. ARCS 2011: 38-49 - [c53]Marius Gligor, Frédéric Pétrot:
Handling dynamic frequency changes in statically scheduled cycle-accurate simulation. ASP-DAC 2011: 407-412 - [c52]Luc Michel, Nicolas Fournel, Frédéric Pétrot:
Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation. DATE 2011: 277-280 - [c51]Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot:
An Environment for (re)configuration and Execution Managenment of Flexible Radio Platforms. DSD 2011: 327-334 - [c50]Khaldon Hassan, Frédéric Pétrot, Riccardo Locatelli, Marcello Coppola:
EEEP: an extreme end to end flow control protocol for SDRAM access through networks on chip. INA-OCMC@HiPEAC 2011: 3-6 - [c49]Florian Darve, Abbas Sheibanyrad, Pascal Vivet, Frédéric Pétrot:
Physical Implementation of an Asynchronous 3D-NoC Router Using Serial Vertical Links. ISVLSI 2011: 25-30 - [c48]Florentine Dubois, José Cano, Marcello Coppola, José Flich, Frédéric Pétrot:
Spidergon STNoC design flow. NOCS 2011: 267-268 - [c47]Damien Hedde, Frédéric Pétrot:
A non intrusive simulation-based trace system to analyse Multiprocessor Systems-on-Chip software. International Symposium on Rapid System Prototyping 2011: 106-112 - [c46]Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, Frédéric Pétrot:
Me3D: A model-driven methodology expediting embedded device driver development. International Symposium on Rapid System Prototyping 2011: 171-177 - [p2]Abbas Sheibanyrad, Frédéric Pétrot:
Asynchronous 3D-NoCs Making Use of Serialized Vertical Links. 3D Integration for NoC-based SoC Architectures 2011: 149-165 - [e1]Abbas Sheibanyrad, Frédéric Pétrot, Axel Jantsch:
3D Integration for NoC-based SoC Architectures. Integrated Circuits and Systems, Springer 2011, ISBN 978-1-4419-7617-8 [contents] - 2010
- [j9]Pierre Guironnet de Massas, Frédéric Pétrot:
Evaluation of the implementation cost of cache coherence protocols using omniscient actions. Des. Autom. Embed. Syst. 14(1): 21-42 (2010) - [j8]Quentin L. Meunier, Frédéric Pétrot:
Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies. J. Parallel Distributed Comput. 70(10): 1024-1041 (2010) - [j7]Quentin L. Meunier, Frédéric Pétrot, Jean-Louis Roch:
Hardware/software support for adaptive work-stealing in on-chip multiprocessor. J. Syst. Archit. 56(8): 392-406 (2010) - [c45]Hao Shen, Frédéric Pétrot:
A flexible hybrid simulation platform targeting multiple configurable processors SoC. ASP-DAC 2010: 155-160 - [c44]Amin El Mrabti, Frédéric Rousseau, Frédéric Pétrot, Jérôme Martin, Romain Lemaire, Emmanuel Vaumorin:
Design environment for the support of configurable Network Interfaces in NoC-based platforms. ICSAMOS 2010: 63-70 - [c43]Khaled Rahmouni, Frédéric Pétrot:
Improving the tests coverage of a medium voltage protection device using system simulation approaches. SIES 2010: 184-187
2000 – 2009
- 2009
- [c42]Xavier Guerin, Frédéric Pétrot:
A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs. ASAP 2009: 153-160 - [c41]Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot:
Automatic instrumentation of embedded software for high level hardware/software co-simulation. ASP-DAC 2009: 546-551 - [c40]Hao Shen, Frédéric Pétrot:
Novel task migration framework on configurable heterogeneous MPSoC platforms. ASP-DAC 2009: 733-738 - [c39]Marius Gligor, Nicolas Fournel, Frédéric Pétrot:
Using binary translation in event driven simulation for fast and flexible MPSoC simulation. CODES+ISSS 2009: 71-80 - [c38]Patrice Gerin, Mian Muhammad Hamayun, Frédéric Pétrot:
Native MPSoC co-simulation environment for software performance estimation. CODES+ISSS 2009: 403-412 - [c37]Amin El Mrabti, Frédéric Pétrot, Aimen Bouchhima:
Extending IP-XACT to support an MDE based approach for SoC design. DATE 2009: 586-589 - [c36]Damien Hedde, Pierre-Henri Horrein, Frédéric Pétrot, Robin Rolland, Franck Rousseau:
A MPSoC Prototyping Platform for Flexible Radio Applications. DSD 2009: 559-566 - [c35]Amin El Mrabti, Hamed Sheibanyrad, Frédéric Rousseau, Frédéric Pétrot, Romain Lemaire, Jérôme Martin:
Abstract Description of System Application and Hardware Architecture for Hardware/Software Code Generation. DSD 2009: 567-574 - [c34]Marius Gligor, Nicolas Fournel, Frédéric Pétrot:
Adaptive Dynamic Voltage and Frequency Scaling Algorithm for Symmetric Multiprocessor Architecture. DSD 2009: 613-616 - [c33]Marius Gligor, Nicolas Fournel, Frédéric Pétrot, Fabien Colas-Bigey, Anne-Marie Fouilliart, Philippe Teninge, Marcello Coppola:
Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform. PATMOS 2009: 206-215 - [c32]Alexandre Chagoya-Garzon, Xavier Guerin, Frédéric Rousseau, Frédéric Pétrot, Davide Rossetti, Alessandro Lonardo, Piero Vicini, Pier Stanislao Paolucci:
Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips. IEEE International Workshop on Rapid System Prototyping 2009: 48-54 - [c31]Khaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot:
Modelling and architecture exploration of a medium voltage protection device. SIES 2009: 46-49 - 2008
- [j6]Lobna Kriaa, Aimen Bouchhima, Marius Gligor, Anne-Marie Fouillart, Frédéric Pétrot, Ahmed Amine Jerraya:
Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective. Int. J. Parallel Program. 36(1): 68-92 (2008) - [j5]Ana Abril, Habib Mehrez, Frédéric Pétrot, Jean Gobert, Carolina Miro:
Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle. Tech. Sci. Informatiques 27(1-2): 203-233 (2008) - [c30]Patrice Gerin, Xavier Guerin, Frédéric Pétrot:
Efficient Implementation of Native Software Simulation for MPSoC. DATE 2008: 676-681 - [c29]Pierre Guironnet de Massas, Frédéric Pétrot:
Comparison of memory write policies for NoC based Multicore Cache Coherent Systems. DATE 2008: 997-1002 - [c28]Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot:
Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform. DSD 2008: 3-9 - [c27]Benaoumeur Senouci, Abdellah-Medjadji Kouadri-Kouadri, Frédéric Rousseau, Frédéric Pétrot:
Multi-CPU/FPGA Platform Based Heterogeneous Multiprocessor Prototyping: New Challenges for Embedded Software Designers. IEEE International Workshop on Rapid System Prototyping 2008: 41-47 - [c26]Hao Shen, Patrice Gerin, Frédéric Pétrot:
Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels. IEEE International Workshop on Rapid System Prototyping 2008: 51-57 - [c25]Alexandre Chureau, Frédéric Pétrot:
An intermediate format for automatic generation of MPSoC virtual prototypes. ICSAMOS 2008: 165-172 - [c24]Hao Shen, Frédéric Pétrot:
MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. VLSI Design 2008: 403-408 - 2007
- [j4]Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya:
Prototyping Multiprocessor System-on-Chip Applications: A Platform-Based Approach. IEEE Distributed Syst. Online 8(5) (2007) - [j3]Pierre Guironnet de Massas, Paul Amblard, Frédéric Pétrot:
On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration. VLSI Design 2007: 28686:1-28686:10 (2007) - [c23]Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot:
Scalable Multi-FPGA Platform for Networks-On-Chip Emulation. ASAP 2007: 54-60 - 2006
- [c22]Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot:
Programming models and HW-SW interfaces abstraction for multi-processor SoC. DAC 2006: 280-285 - [c21]Frédéric Pétrot, Alain Greiner, Pascal Gomez:
On Cache Coherency and Memory Consistency Issues in NoC Based Shared Memory Multiprocessor SoC Architectures. DSD 2006: 53-60 - [c20]Alain Greiner, Frédéric Pétrot, M. Carrier, Mounir Benabdenbi, Roselyne Chotin-Avot, Raphaël Labayrade:
MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation. ReCoSoC 2006: 24-30 - [c19]Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya:
Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". IEEE International Workshop on Rapid System Prototyping 2006: 69-75 - [c18]Lobna Kriaa, Aimen Bouchhima, Wassim Youssef, Frédéric Pétrot, Anne-Marie Fouillart, Ahmed Amine Jerraya:
Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling. IEEE International Workshop on Rapid System Prototyping 2006: 156-162 - 2005
- [j2]Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez:
Platform-based design from parallel C specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(12): 1811-1826 (2005) - [c17]Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya:
A unified HW/SW interface model to remove discontinuities between HW and SW design. EMSOFT 2005: 159-163 - 2004
- [j1]Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez:
Intégration sur plate-forme matérielle/logicielle de spécifications 'C' parallèles. Ann. des Télécommunications 59(7-8): 807-837 (2004) - [c16]Saifeddine Berrayana, Etienne Faure, Daniela Genius, Frédéric Pétrot:
Modular On-chip Multiprocessor for Routing Applications. Euro-Par 2004: 846-855 - 2003
- [c15]Frédéric Pétrot, Pascal Gomez:
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. DATE 2003: 20051-20056 - [c14]Ivan Augé, François Donnet, Frédéric Pétrot:
Retiming Finite State Machines to Control Hardened Data-Paths. SBCCI 2003: 41-46 - [p1]Frédéric Pétrot, Pascal Gomez, Denis Hommais:
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. Embedded Software for SoC 2003: 25-38 - 2002
- [c13]Ana Belén Abril García, Jean Gobert, Thomas Dombek, Habib Mehrez, Frédéric Pétrot:
Cycle-accurate energy estimation in system level descriptions of embedded systems. ICECS 2002: 549-552 - 2001
- [c12]Denis Hommais, Frédéric Pétrot, Ivan Augé:
A practical tool box for system level communication synthesis. CODES 2001: 48-53 - [c11]Denis Hommais, Frédéric Pétrot, Ivan Augé:
A Tool Box to Map System Level Communications on HW/SW Architectures. IEEE International Workshop on Rapid System Prototyping 2001: 77-83 - 2000
- [c10]Jean-Yves Brunel, W. M. Kruijtzer, H. J. H. N. Kenter, Frédéric Pétrot, L. Pasquier, Erwin A. de Kock, W. J. M. Smits:
COSY communication IP's. DAC 2000: 406-409 - [c9]Frédéric Pétrot, Denis Hommais:
A generic programmable arbiter with default master grant. ISCAS 2000: 749-752
1990 – 1999
- 1999
- [c8]Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa:
Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design 1999: 151-156 - 1998
- [c7]Denis Hommais, Frédéric Pétrot:
Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip. EUROMICRO 1998: 10051-10054 - [c6]Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa:
Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO 1998: 10317-10620 - 1997
- [c5]Frédéric Pétrot, Denis Hommais, Alain Greiner:
A Simulation Environment for Core Based Embedded Systems. Annual Simulation Symposium 1997: 86-91 - [c4]Frédéric Pétrot, Denis Hommais, Alain Greiner:
Cycle precise core based hardware/software system simulation with predictable event propagation. EUROMICRO 1997: 182-187 - 1995
- [c3]Marcello Duhalde, Alain Greiner, Frédéric Pétrot:
A High Performance Modular Embedded ROM Architecture. ISCAS 1995: 1057-1060 - 1994
- [c2]Alain Greiner, Frédéric Pétrot:
Using C to write portable CMOS VLSI module generators. EURO-DAC 1994: 676-681 - 1991
- [c1]A. Compan, Alain Greiner, François Pêcheux, Frédéric Pétrot:
GENVIEW: a portable source-level debugger for macrocell generators. EURO-DAC 1991: 408-412
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
