Frédéric Pétrot

151 papers A* 4A 15B 5C 32Misc 7Journal 37Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Pipeline Automation Framework for Reusable High-throughput Network Applications on FPGA. CoRR Jean Bruant, Pierre-Henri Horrein, Olivier Muller, Frédéric Pétrot
2025	J	`jnl`	Accurate and energy efficient ad-hoc neural network for wafer map classification. J. Intell. Manuf. Ana Pinzari, Thomas Baumela, Liliana Andrade, Maxime Martin, Marcello Coppola, Frédéric Pétrot
2025	J	`jnl`	Address/Data Instruction Steering in Clustered General Purpose Processors. ACM Trans. Archit. Code Optim. Chandana S. Deshpande, Arthur Perais, Frédéric Pétrot
2025	A*	`conf`	Architecting Value Prediction around In-Order Execution. HPCA Pierre Ravenel, Arthur Perais, Benoît Dupont de Dinechin, Frédéric Pétrot
2025	J	`jnl`	Depth-First: A Deterministic and Scalable NoC Routing Protocol for 3.5D Packaged Architectures. IEEE J. Emerg. Sel. Topics Circuits Syst. Davy Million, César Fuguet, Adrian Evans, Rim El Cheikh, Alireza Monemi, Jonathan Balkind, Frédéric Pétrot
2025	C	`conf`	Experimental Software and Hardware Evaluation of Ad-Hoc Constant Division Routines. ARITH Frédéric Pétrot
2025	—	`conf`	HPC Workload Analysis Using Distributed Cross-ISA Binary Instrumentation. DCIS Eduardo Tomasi, César Fuguet, Christian Fabre, Frédéric Pétrot
2025	—	`conf`	Hardware-Software Co-Design for Supporting Shared Distributed Virtual Memory. CF (Companion) Eduardo Tomasi, César Fuguet, Christian Fabre, Frédéric Pétrot
2025	—	`conf`	On the Hardware Implementation of Lala's 64-bit SEcDED Codes. DFT Frédéric Pétrot, César Fuguet
2024	C	`conf`	Page size exploration for RISC-V systems: the case for HPC. RSP Eduardo Tomasi, César Fuguet, Christian Fabre, Frédéric Pétrot
2023	—	`conf`	Fast Instruction Cache Simulation is Trickier than You Think. DroneSE/RAPIDO@HiPEAC Marie Badaroux, Julie Dumas, Frédéric Pétrot
2023	B	`conf`	Quantization Modes for Neural Network Inference: ASIC Implementation Trade-offs. IJCNN Nathan Bain, Roberto Guizzetti, Emilien Taly, Ali Oudrhiri, Bruno Paille, Pascal Urard, Frédéric Pétrot
2023	J	`jnl`	Toward Practical 128-Bit General Purpose Microarchitectures. IEEE Comput. Archit. Lett. Chandana S. Deshpande, Arthur Perais, Frédéric Pétrot
2022	C	`conf`	A Case for Second-Level Software Cache Coherency on Many-Core Accelerators. RSP Arthur Vianès, Frédéric Pétrot, Frédéric Rousseau
2022	A	`conf`	Fast simulation of future 128-bit architectures. DATE Fabien Portas, Frédéric Pétrot
2022	—	`conf`	Low-precision logarithmic arithmetic for neural network accelerators. ASAP Maxime Christ, Florent de Dinechin, Frédéric Pétrot
2022	J	`jnl`	Toward Agile Hardware Designs With Chisel: A Network Use Case. IEEE Des. Test Jean Bruant, Pierre-Henri Horrein, Olivier Muller, Tristan Groléat, Frédéric Pétrot
2021	—	`conf`	Arbitrary and Variable Precision Floating-Point Arithmetic Support in Dynamic Binary Translation. ASP-DAC Marie Badaroux, Frédéric Pétrot
2021	—	`conf`	Component Based Framework for Designing and Validating Asynchronous Algorithms for Electrical Measurement and Protection. ICPS Louis Bonicel, Roland Bohrer, Benoit Leprettre, Frédéric Pétrot, Frédéric Rousseau
2021	J	`jnl`	Highly-accurate binary tiny neural network for low-power human activity recognition. Microprocess. Microsystems Antonio De Vita, Danilo Pau, Luigi Di Benedetto, Alfredo Rubino, Frédéric Pétrot, Gian Domenico Licciardo
2021	A	`conf`	Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic. CGO Tiago Trevisan Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot
2021	—	`conf`	Simulation of Ideally Switched Circuits in SystemC. ASP-DAC Breytner Joseph Fernández-Mesa, Liliana Andrade, Frédéric Pétrot
2021	J	`jnl`	Synchronization of Continuous Time and Discrete Events Simulation in SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot
2021	C	`conf`	To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation. DSD Marie Badaroux, Saverio Miroddi, Frédéric Pétrot
2020	C	`conf`	(System)Verilog to Chisel Translation for Faster Hardware Design. RSP Jean Bruant, Pierre-Henri Horrein, Olivier Muller, Tristan Groléat, Frédéric Pétrot
2020	A	`conf`	Accurate and Efficient Continuous Time and Discrete Events Simulation in SystemC. DATE Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot
2020	C	`conf`	Low Power Tiny Binary Neural Network with improved accuracy in Human Recognition Systems. DSD Antonio De Vita, Danilo Pau, Luigi Di Benedetto, Alfredo Rubino, Frédéric Pétrot, Gian Domenico Licciardo
2020	B	`conf`	VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic. PACT Tiago T. Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot
2019	J	`jnl`	Efficient Decompression of Binary Encoded Balanced Ternary Sequences. IEEE Trans. Very Large Scale Integr. Syst. Olivier Muller, Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot
2019	—	`conf`	Electronic System Level Design of Heterogeneous Systems: a Motor Speed Control System Case Study. NEWCAS Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot
2019	J	`jnl`	Loop aware CFG matching strategy for accurate performance estimation in IR-level native simulation. Integr. Omayma Matoussi, Frédéric Pétrot
2019	C	`conf`	Multi-Triggered Embedded Software Code Generation for Electrical Metering and Protection Applications. RSP Louis Bonicel, Roland Bohrer, Benoit Leprettre, Frédéric Rousseau, Frédéric Pétrot
2018	—	`conf`	A mapping approach between IR and binary CFGs dealing with aggressive compiler optimizations for performance estimation. ASP-DAC Omayma Matoussi, Frédéric Pétrot
2018	—	`conf`	Dynamic Coherent Cluster: A Scalable Sharing Set Management Approach. ASAP Julie Dumas, Eric Guthmuller, Frédéric Pétrot
2018	J	`jnl`	High-Efficiency Convolutional Ternary Neural Networks with Custom Adder Trees and Weight Compression. ACM Trans. Reconfigurable Technol. Syst. Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot
2018	C	`conf`	Message-Oriented Devices on FPGAs. RSP Thomas Baumela, Olivier Gruber, Olivier Muller, Frédéric Pétrot
2018	A	`conf`	Overview of the state of the art in embedded machine learning. DATE Liliana Andrade, Adrien Prost-Boucle, Frédéric Pétrot
2017	J	`jnl`	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 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
2017	C	`conf`	A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support. DSD Hela Belhadj Amor, Abbas Sheibanyrad, Frédéric Pétrot
2017	—	`conf`	A Meta-Routing Method to Create Multiple Virtual Logical Networks on a Single Hardware NoC. ISVLSI Hela Belhadj Amor, Hamed Sheibanyrad, Frédéric Pétrot
2017	—	`conf`	A Method for Fast Evaluation of Sharing Set Management Strategies in Cache Coherence Protocols. ARCS Julie Dumas, Eric Guthmuller, César Fuguet Tortolero, Frédéric Pétrot
2017	J	`jnl`	Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. ACM Trans. Embed. Comput. Syst. Marcos Aurélio Pinto Cunha, Omayma Matoussi, Frédéric Pétrot
2017	J	`jnl`	Dynamic Binary Translation of VLIW Codes on Scalar Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luc Michel, Frédéric Pétrot
2017	J	`jnl`	Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets. ACM Trans. Reconfigurable Technol. Syst. Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar
2017	Misc	`conf`	IR-level annotation strategy dealing with aggressive loop optimizations for performance estimation in native simulation: work-in-progress. CODES+ISSS Omayma Matoussi, Frédéric Pétrot
2017	—	`conf`	Loop aware IR-level annotation framework for performance estimation in native simulation. ASP-DAC Omayma Matoussi, Frédéric Pétrot
2017	A	`conf`	Modeling instruction cache and instruction buffer for performance estimation of VLIW architectures using native simulation. DATE Omayma Matoussi, Frédéric Pétrot
2017	—	`ch.`	Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation. Handbook of Hardware/Software Codesign Frédéric Pétrot, Luc Michel, Clément Deschamps
2017	C	`conf`	Optimizing Memory Access Performance Using Hardware Assisted Virtualization in Retargetable Dynamic Binary Translation. DSD Antoine Faravelon, Olivier Gruber, Frédéric Pétrot
2017	B	`conf`	Scalable high-performance architecture for convolutional ternary neural networks on FPGA. FPL Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy
2017	B	`conf`	Ternary neural networks for resource-efficient AI applications. IJCNN Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot
2017	—	`conf`	Trace-driven exploration of sharing set management strategies for cache coherence in manycores. NEWCAS Julie Dumas, Eric Guthmuller, César Fuguet Tortolero, Frédéric Pétrot
2016	—	`conf`	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 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
2016	J	`jnl`	Deterministic reversible MPSoC debugger based on virtual platform execution traces. Des. Autom. Embed. Syst. Marcos Aurélio Pinto Cunha, Nicolas Fournel, Frédéric Pétrot
2016	J	`jnl`	Facing ADAS validation complexity with usage oriented testing. CoRR 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
2016	C	`conf`	Simulation driven insertion of data prefetching instructions for early software-on-SoC optimization. RSP Perrin N. Ntafam, Eric Paire, Alain Clouard, Frédéric Pétrot
2016	J	`jnl`	Ternary Neural Networks for Resource-Efficient AI Applications. CoRR Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot
2016	—	`conf`	Virtual prototyping of floating point units. RAPIDO@HiPEAC Guillaume Sarrazin, Nicolas Brunie, Frédéric Pétrot
2015	—	`conf`	Collecting traces in dynamic binary translation based virtual prototyping platforms. RAPIDO@HiPEAC Marcos Aurélio Pinto Cunha, Nicolas Fournel, Frédéric Pétrot
2015	A	`conf`	Fast and accurate branch predictor simulation. DATE Antoine Faravelon, Nicolas Fournel, Frédéric Pétrot
2015	J	`jnl`	Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques. Tech. Sci. Informatiques Guillaume Sarrazin, Nicolas Fournel, Patrice Gerin, Frédéric Pétrot
2014	J	`jnl`	Assignment of Vertical-Links to Routers in Vertically-Partially-Connected 3-D-NoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sahar Foroutan, Abbas Sheibanyrad, Frédéric Pétrot
2014	C	`conf`	Device driver generation targeting multiple operating systems using a model-driven methodology. RSP Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, Frédéric Pétrot
2014	A	`conf`	Scalability bottlenecks discovery in MPSoC platforms using data mining on simulation traces. DATE Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot
2014	—	`conf`	System on chip project: Integration of a Motion-JPEG video decoder. EWME Lorena Anghel, Mounir Benabdenbi, Frédéric Pétrot
2013	C	`conf`	A General Framework for Average-Case Performance Analysis of Shared Resources. DSD Sahar Foroutan, Benny Akesson, Kees Goossens, Frédéric Pétrot
2013	C	`conf`	A system-level overview and comparison of three High-Speed Serial Links: USB 3.0, PCI Express 2.0 and LLI 1.0. DDECS Julien Saade, Frédéric Pétrot, Andre Picco, Joel Huloux, Abdelaziz Goulahsen
2013	J	`jnl`	An Iterative Computational Technique for Performance Evaluation of Networks-on-Chip. IEEE Trans. Computers Sahar Foroutan, Yvain Thonnart, Frédéric Pétrot
2013	J	`jnl`	An environment for (re)configuration and execution management of heterogeneous flexible radio platforms. Microprocess. Microsystems Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot
2013	A	`conf`	Automated generation of efficient instruction decoders for instruction set simulators. ICCAD Nicolas Fournel, Luc Michel, Frédéric Pétrot
2013	A	`conf`	Data mining MPSoC simulation traces to identify concurrent memory access patterns. DATE Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot
2013	J	`jnl`	Design of a medium voltage protection device using system simulation approaches: a case study. Int. J. Embed. Syst. Khaled Rahmouni, Sebastien Chabanet, Nicolas Lambelin, Frédéric Pétrot
2013	J	`jnl`	Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs. IEEE Trans. Computers Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani
2013	—	`conf`	Native simulation of complex VLIW instruction sets using static binary translation and Hardware-Assisted Virtualization. ASP-DAC Mian Muhammad Hamayun, Frédéric Pétrot, Nicolas Fournel
2012	—	`conf`	A 3D-NoC Router Implementation Exploiting Vertically-Partially-Connected Topologies. ISVLSI Maryam Bahmani, Abbas Sheibanyrad, Frédéric Pétrot, Florentine Dubois, Paolo Durante
2012	A	`conf`	Accurate on-chip router area modeling with Kriging methodology. ICCAD Florentine Dubois, Valerio Catalano, Marcello Coppola, Frédéric Pétrot
2012	C	`conf`	Automatic congestion detection in MPSoC programs using data mining on simulation traces. RSP Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot
2012	A*	`conf`	Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces. DAC Sahar Foroutan, Abbas Sheibanyrad, Frédéric Pétrot
2012	Misc	`conf`	Fast simulation of systems embedding VLIW processors. CODES+ISSS Luc Michel, Nicolas Fournel, Frédéric Pétrot
2012	B	`conf`	HCM: An abstraction layer for seamless programming of DPR FPGA. FPL Yan Xu, Olivier Muller, Pierre-Henri Horrein, Frédéric Pétrot
2012	J	`jnl`	Integration of GPU Computing in a Software Radio Environment. J. Signal Process. Syst. Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot
2012	C	`conf`	Multi-device Driver Synthesis Flow for Heterogeneous Hierarchical Systems. DSD Alexandre Chagoya-Garzon, Frédéric Rousseau, Frédéric Pétrot
2012	J	`jnl`	Native Simulation of MPSoC Using Hardware-Assisted Virtualization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hao Shen, Mian Muhammad Hamayun, Frédéric Pétrot
2011	—	`book`	3D Integration for NoC-based SoC Architectures Abbas Sheibanyrad, Frédéric Pétrot, Axel Jantsch
2011	C	`conf`	A non intrusive simulation-based trace system to analyse Multiprocessor Systems-on-Chip software. International Symposium on Rapid System Prototyping Damien Hedde, Frédéric Pétrot
2011	C	`conf`	An Environment for (re)configuration and Execution Managenment of Flexible Radio Platforms. DSD Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot
2011	—	`ch.`	Asynchronous 3D-NoCs Making Use of Serialized Vertical Links. 3D Integration for NoC-based SoC Architectures Abbas Sheibanyrad, Frédéric Pétrot
2011	—	`conf`	EEEP: an INA-OCMC@HiPEAC Khaldon Hassan, Frédéric Pétrot, Riccardo Locatelli, Marcello Coppola
2011	—	`conf`	Handling dynamic frequency changes in statically scheduled cycle-accurate simulation. ASP-DAC Marius Gligor, Frédéric Pétrot
2011	C	`conf`	Me3D: A model-driven methodology expediting embedded device driver development. International Symposium on Rapid System Prototyping Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, Frédéric Pétrot
2011	J	`jnl`	On MPSoC Software Execution at the Transaction Level. IEEE Des. Test Comput. Frédéric Pétrot, Nicolas Fournel, Patrice Gerin, Marius Gligor, Mian Muhammad Hamayun, Hao Shen
2011	—	`conf`	Physical Implementation of an Asynchronous 3D-NoC Router Using Serial Vertical Links. ISVLSI Florian Darve, Abbas Sheibanyrad, Pascal Vivet, Frédéric Pétrot
2011	A	`conf`	Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation. DATE Luc Michel, Nicolas Fournel, Frédéric Pétrot
2011	—	`conf`	Spidergon STNoC design flow. NOCS Florentine Dubois, José Cano, Marcello Coppola, José Flich, Frédéric Pétrot
2011	J	`jnl`	Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. Tech. Sci. Informatiques Quentin L. Meunier, Frédéric Pétrot
2011	—	`conf`	Using Amdahl's Law for Performance Analysis of Many-Core SoC Architectures Based on Functionally Asymmetric Processors. ARCS Hao Shen, Frédéric Pétrot
2010	—	`conf`	A flexible hybrid simulation platform targeting multiple configurable processors SoC. ASP-DAC Hao Shen, Frédéric Pétrot
2010	—	`conf`	Design environment for the support of configurable Network Interfaces in NoC-based platforms. ICSAMOS Amin El Mrabti, Frédéric Rousseau, Frédéric Pétrot, Jérôme Martin, Romain Lemaire, Emmanuel Vaumorin
2010	J	`jnl`	Evaluation of the implementation cost of cache coherence protocols using omniscient actions. Des. Autom. Embed. Syst. Pierre Guironnet de Massas, Frédéric Pétrot
2010	J	`jnl`	Hardware/software support for adaptive work-stealing in on-chip multiprocessor. J. Syst. Archit. Quentin L. Meunier, Frédéric Pétrot, Jean-Louis Roch
2010	—	`conf`	Improving the tests coverage of a medium voltage protection device using system simulation approaches. SIES Khaled Rahmouni, Frédéric Pétrot
2010	J	`jnl`	Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies. J. Parallel Distributed Comput. Quentin L. Meunier, Frédéric Pétrot
2009	C	`conf`	A MPSoC Prototyping Platform for Flexible Radio Applications. DSD Damien Hedde, Pierre-Henri Horrein, Frédéric Pétrot, Robin Rolland, Franck Rousseau
2009	—	`conf`	A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs. ASAP Xavier Guerin, Frédéric Pétrot
2009	C	`conf`	Abstract Description of System Application and Hardware Architecture for Hardware/Software Code Generation. DSD Amin El Mrabti, Hamed Sheibanyrad, Frédéric Rousseau, Frédéric Pétrot, Romain Lemaire, Jérôme Martin
2009	C	`conf`	Adaptive Dynamic Voltage and Frequency Scaling Algorithm for Symmetric Multiprocessor Architecture. DSD Marius Gligor, Nicolas Fournel, Frédéric Pétrot
2009	—	`conf`	Automatic instrumentation of embedded software for high level hardware/software co-simulation. ASP-DAC Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot
2009	A	`conf`	Extending IP-XACT to support an MDE based approach for SoC design. DATE Amin El Mrabti, Frédéric Pétrot, Aimen Bouchhima
2009	—	`conf`	Modelling and architecture exploration of a medium voltage protection device. SIES Khaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot
2009	Misc	`conf`	Native MPSoC co-simulation environment for software performance estimation. CODES+ISSS Patrice Gerin, Mian Muhammad Hamayun, Frédéric Pétrot
2009	—	`conf`	Novel task migration framework on configurable heterogeneous MPSoC platforms. ASP-DAC Hao Shen, Frédéric Pétrot
2009	—	`conf`	Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform. PATMOS Marius Gligor, Nicolas Fournel, Frédéric Pétrot, Fabien Colas-Bigey, Anne-Marie Fouilliart, Philippe Teninge, Marcello Coppola
2009	C	`conf`	Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips. IEEE International Workshop on Rapid System Prototyping Alexandre Chagoya-Garzon, Xavier Guerin, Frédéric Rousseau, Frédéric Pétrot, Davide Rossetti, Alessandro Lonardo, Piero Vicini, Pier Stanislao Paolucci
2009	Misc	`conf`	Using binary translation in event driven simulation for fast and flexible MPSoC simulation. CODES+ISSS Marius Gligor, Nicolas Fournel, Frédéric Pétrot
2008	—	`conf`	An intermediate format for automatic generation of MPSoC virtual prototypes. ICSAMOS Alexandre Chureau, Frédéric Pétrot
2008	A	`conf`	Comparison of memory write policies for NoC based Multicore Cache Coherent Systems. DATE Pierre Guironnet de Massas, Frédéric Pétrot
2008	C	`conf`	Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels. IEEE International Workshop on Rapid System Prototyping Hao Shen, Patrice Gerin, Frédéric Pétrot
2008	A	`conf`	Efficient Implementation of Native Software Simulation for MPSoC. DATE Patrice Gerin, Xavier Guerin, Frédéric Pétrot
2008	J	`jnl`	Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle. Tech. Sci. Informatiques Ana Abril, Habib Mehrez, Frédéric Pétrot, Jean Gobert, Carolina Miro
2008	C	`conf`	Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform. DSD Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot
2008	Misc	`conf`	MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. VLSI Design Hao Shen, Frédéric Pétrot
2008	C	`conf`	Multi-CPU/FPGA Platform Based Heterogeneous Multiprocessor Prototyping: New Challenges for Embedded Software Designers. IEEE International Workshop on Rapid System Prototyping Benaoumeur Senouci, Abdellah-Medjadji Kouadri-Kouadri, Frédéric Rousseau, Frédéric Pétrot
2008	J	`jnl`	Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective. Int. J. Parallel Program. Lobna Kriaa, Aimen Bouchhima, Marius Gligor, Anne-Marie Fouillart, Frédéric Pétrot, Ahmed Amine Jerraya
2007	J	`jnl`	On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration. VLSI Design Pierre Guironnet de Massas, Paul Amblard, Frédéric Pétrot
2007	J	`jnl`	Prototyping Multiprocessor System-on-Chip Applications: A Platform-Based Approach. IEEE Distributed Syst. Online Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya
2007	—	`conf`	Scalable Multi-FPGA Platform for Networks-On-Chip Emulation. ASAP Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot
2006	C	`conf`	Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". IEEE International Workshop on Rapid System Prototyping Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya
2006	—	`conf`	MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation. ReCoSoC Alain Greiner, Frédéric Pétrot, M. Carrier, Mounir Benabdenbi, Roselyne Chotin-Avot, Raphaël Labayrade
2006	C	`conf`	On Cache Coherency and Memory Consistency Issues in NoC Based Shared Memory Multiprocessor SoC Architectures. DSD Frédéric Pétrot, Alain Greiner, Pascal Gomez
2006	A*	`conf`	Programming models and HW-SW interfaces abstraction for multi-processor SoC. DAC Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot
2006	C	`conf`	Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling. IEEE International Workshop on Rapid System Prototyping Lobna Kriaa, Aimen Bouchhima, Wassim Youssef, Frédéric Pétrot, Anne-Marie Fouillart, Ahmed Amine Jerraya
2005	Misc	`conf`	A unified HW/SW interface model to remove discontinuities between HW and SW design. EMSOFT Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya
2005	J	`jnl`	Platform-based design from parallel C specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez
2004	J	`jnl`	Intégration sur plate-forme matérielle/logicielle de spécifications 'C' parallèles. Ann. des Télécommunications Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez
2004	—	`conf`	Modular On-chip Multiprocessor for Routing Applications. Euro-Par Saifeddine Berrayana, Etienne Faure, Daniela Genius, Frédéric Pétrot
2003	—	`ch.`	Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. Embedded Software for SoC Frédéric Pétrot, Pascal Gomez, Denis Hommais
2003	A	`conf`	Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. DATE Frédéric Pétrot, Pascal Gomez
2003	—	`conf`	Retiming Finite State Machines to Control Hardened Data-Paths. SBCCI Ivan Augé, François Donnet, Frédéric Pétrot
2002	—	`conf`	Cycle-accurate energy estimation in system level descriptions of embedded systems. ICECS Ana Belén Abril García, Jean Gobert, Thomas Dombek, Habib Mehrez, Frédéric Pétrot
2001	C	`conf`	A Tool Box to Map System Level Communications on HW/SW Architectures. IEEE International Workshop on Rapid System Prototyping Denis Hommais, Frédéric Pétrot, Ivan Augé
2001	—	`conf`	A practical tool box for system level communication synthesis. CODES Denis Hommais, Frédéric Pétrot, Ivan Augé
2000	C	`conf`	A generic programmable arbiter with default master grant. ISCAS Frédéric Pétrot, Denis Hommais
2000	A*	`conf`	COSY communication IP's. DAC 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
1999	Misc	`conf`	Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa
1998	—	`conf`	Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip. EUROMICRO Denis Hommais, Frédéric Pétrot
1998	—	`conf`	Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa
1997	—	`conf`	A Simulation Environment for Core Based Embedded Systems. Annual Simulation Symposium Frédéric Pétrot, Denis Hommais, Alain Greiner
1997	—	`conf`	Cycle precise core based hardware/software system simulation with predictable event propagation. EUROMICRO Frédéric Pétrot, Denis Hommais, Alain Greiner
1995	C	`conf`	A High Performance Modular Embedded ROM Architecture. ISCAS Marcello Duhalde, Alain Greiner, Frédéric Pétrot
1994	—	`conf`	Using C to write portable CMOS VLSI module generators. EURO-DAC Alain Greiner, Frédéric Pétrot
1991	—	`conf`	GENVIEW: a portable source-level debugger for macrocell generators. EURO-DAC A. Compan, Alain Greiner, François Pêcheux, Frédéric Pétrot