Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

74 résultats
Page :
triés par
Image document

Using Model Types to Support Contract-Aware Model Substitutability

 Sun Wuliang , Benoit Combemale , Steven Derrien , Robert France
9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. pp.118-133, ⟨10.1007/978-3-642-39013-5_9⟩
Communication dans un congrès hal-00808770v1

Accelerating HMMER on FPGA using Parallel Prefixes and Reductions

 Naeem Abbas , Steven Derrien , Patrice Quinton , Sanjay Rajopadhye
Proc. of the IEEE International Conference on Field-Programmable Technology (FPT'10), Dec 2010, Beijing, China, China. x-proceedings = yes, x-international-audience = yes, x-editorial-board = yes, x-invited-conference
Communication dans un congrès inria-00554191v1

System-Level Synthesis for Ultra Low-Power Wireless Sensor Nodes

 Adeel Pasha , Steven Derrien , Olivier Sentieys
Proc. of the 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD), Sep 2010, Lille, France, France. pp.493 - 500
Communication dans un congrès inria-00554204v1

Combining execution pipelines to improve parallel implementation of HMMER on FPGA

 Naeem Abbas , Steven Derrien , Sanjay Rajopadhye , Patrice Quinton , Alexandre Cornu , et al.
Microprocessors and Microsystems: Embedded Hardware Design , 2015, 39, pp.457-470. ⟨10.1016/j.micpro.2015.06.006⟩
Article dans une revue hal-01235328v1
Image document

A high-level synthesis approach optimizing accumulations in floating-point programs using custom formats and operators

 Yohann Uguen , Florent de Dinechin , Steven Derrien
2017 IEEE 25th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), Apr 2017, Napa, United States. pp.80-80, ⟨10.1109/FCCM.2017.41⟩
Communication dans un congrès hal-01498357v2
Image document

Hybrid-DBT: Hardware Accelerated Dynamic Binary Translation

 Simon Rokicki , Erven Rohou , Steven Derrien
RISC-V 2019 - Workshop Zurich, Jun 2019, Zurich, Switzerland. pp.1
Poster de conférence hal-02155019v1

Applied Reconfigurable Computing. Architectures, Tools, and Applications

 Daniel Chillet , Steven Derrien , Frank Hannig , Pedro C. Diniz
ARC 2021 - 17th International Symposium on Applied Reconfigurable Computing. Architectures, Tools, and Applications, 12700, Springer, pp.1-338, 2021, LNCS, 978-3-030-79025-7. ⟨10.1007/978-3-030-79025-7⟩
Proceedings/Recueil des communications hal-03315772v1
Image document

Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations

 Louis Narmour , Steven Derrien , Sanjay Rajopadhye
PACT 2023 - International Conference on Parallel Architectures and Compilation Techniques, Oct 2023, Vienna, Austria. pp.1-12
Communication dans un congrès hal-04394874v2
Image document

One size does not fit all: Implementation trade-offs for iterative stencil computations on FPGAs

 Gaël Deest , Tomofumi Yuki , Sanjay Rajopadhye , Steven Derrien
FPL - 27th International Conference on Field Programmable Logic and Applications, Sep 2017, Gand, Belgium. ⟨10.23919/FPL.2017.8056781⟩
Communication dans un congrès hal-01655590v1
Image document

Application-specific arithmetic in high-level synthesis tools

 Yohann Uguen , Florent de Dinechin , Victor Lezaud , Steven Derrien
ACM Transactions on Architecture and Code Optimization, 2020, ⟨10.1145/3377403⟩
Article dans une revue hal-02423363v3
Image document

Toward Speculative Loop Pipelining for High-Level Synthesis

 Steven Derrien , Thibaut Marty , Simon Rokicki , Tomofumi Yuki
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (11), pp.4229 - 4239. ⟨10.1109/TCAD.2020.3012866⟩
Article dans une revue hal-02949516v1

Component-Level Datapath Merging in System-Level Design of Wireless Sensor Node Controllers for FPGA-Based Implementations

 Muhammad Adeel Ahmed Pasha , Steven Derrien , Olivier Sentieys
Euromicro Conference on Digital System Design (DSD), Sep 2013, Santander, Spain. pp.543-550, ⟨10.1109/DSD.2013.64⟩
Communication dans un congrès hal-00921421v1

Derivation of Efficient FSM from Loop Nests

 Tomofumi Yuki , Antoine Morvan , Steven Derrien
International Conference on Field-Programmable Technology (ICFPT), Dec 2013, Kyoto, Japan
Communication dans un congrès hal-00921446v1
Image document

HLS Tools for FPGA : faster development with better performances

 Alexandre Cornu , Steven Derrien , Dominique Lavenier
Proceeding of the 7th International Symposium on Applied Reconfigurable Computing, Feb 2011, Belfast, United Kingdom. pp.67-78
Communication dans un congrès hal-00637830v1
Image document

Component reuse methodology for multi-clock Data-Flow parallel embedded Systems

 Anne Marie Chana , Patrice Quinton , Steven Derrien
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2014, Volume 18, 2014, pp.67-92. ⟨10.46298/arima.1979⟩
Article dans une revue hal-01300088v1

A Complete Design-Flow for the Generation of Ultra Low-Power WSN Node Architectures Based on Micro-Tasking

 Adeel Pasha , Olivier Sentieys , Steven Derrien
Proc. of the 47th IEEE/ACM Design Automation Conference (DAC), Jun 2010, Anaheim, CA, USA, x-proceedings = yes, x-international-audience = yes, x-editorial-board = yes, x-in, United States. pp.693 - 698
Communication dans un congrès inria-00554202v1
Image document

Hybrid-JIT : Compilateur JIT Matériel/Logiciel pour les Processeurs VLIW Embarqués

 Simon Rokicki , Erven Rohou , Steven Derrien
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France
Communication dans un congrès hal-01345306v1

Ultra low-power FSM for control oriented applications

 Steven Derrien , Adeel Pasha , Olivier Sentieys
IEEE International Symposium on Circuits and Systems, 2009., May 2009, Taipe, Taiwan
Communication dans un congrès inria-00453945v1
Image document

Safe Overclocking for CNN Accelerators through Algorithm-Level Error Detection

 Thibaut Marty , Tomofumi Yuki , Steven Derrien
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (12), pp.4777 - 4790. ⟨10.1109/TCAD.2020.2981056⟩
Article dans une revue hal-03094811v1
Image document

Fine-Grain Iterative Compilation for WCET Estimation

 Isabelle Puaut , Mickaël Dardaillon , Christoph Cullmann , Gernot Gebhard , Steven Derrien
WCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩
Communication dans un congrès hal-01889944v1

How to accelerate genomic sequence alignment 4X using half an FPGA

 Alexandre Cornu , Steven Derrien , Dominique Lavenier
2011
Autre publication scientifique hal-00637833v1
Image document

Design Exploration of RISC-V Soft-Cores through Speculative High-Level Synthesis

 Jean-Michel Gorius , Simon Rokicki , Steven Derrien
FPT 2022 - International Conference on Field Programmable Technology, Dec 2022, Honk Kong / Hybrid, Hong Kong SAR China. pp.1-6, ⟨10.1109/ICFPT56656.2022.9974478⟩
Communication dans un congrès hal-03828841v1
Image document

Maximal Atomic irRedundant Sets: a Usage-based Dataflow Partitioning Algorithm

 Corentin Ferry , Steven Derrien , Sanjay Rajopadhye
IMPACT 2023 - 13th International Workshop on Polyhedral Compilation Techniques, Jan 2023, Toulouse, France. pp.1-9
Communication dans un congrès hal-04410835v1
Image document

Efficient Nested Loop Pipelining in High Level Synthesis using Polyhedral Bubble Insertion

 Antoine Morvan , Steven Derrien , Patrice Quinton
IEEE International Conference on Field-Programmable Technology (FPT'11), Dec 2011, New Delhi, India. ⟨10.1109/FPT.2011.6132715⟩
Communication dans un congrès hal-00746434v1

Runtime dependency analysis for loop pipelining in High-Level Synthesis

 Mythri Alle , Antoine Morvan , Steven Derrien
50th Design Automation Conference (DAC),, May 2013, Austin, United States
Communication dans un congrès hal-00921416v1

A Polynomial Based Approach to Wakeup Time and Energy Estimation in Power-Gated Logic Clusters

 Vivek D. Tovinakere , Olivier Sentieys , Steven Derrien
Journal of Low Power Electronics, 2011, 7 (4), pp.482-489. ⟨10.1166/jolpe.2011.1159⟩
Article dans une revue hal-00747721v1

A Flexible Approach for Compiling Scilab to Reconfigurable Multi-Core Embedded Systems

 Timo Stripf , Oliver Oey , Thomas Bruckschloegl , Ralf Koenig , Michael Huebner , et al.
International Workshop on Reconfigurable Communication-centric Systems-on-Chip, Jul 2012, york, United Kingdom. pp.1-8
Communication dans un congrès hal-00752644v1

System-Level Synthesis for Wireless Sensor Node Controllers: A Complete Design Flow

 Adeel Pasha , Steven Derrien , Olivier Sentieys
ACM Transactions on Design Automation of Electronic Systems, 2012, 17 (1), pp.2:1--2:24. ⟨10.1145/2071356.2071358⟩
Article dans une revue hal-00752652v1
Image document

Tightening contention delays while scheduling parallel applications on multi-core architectures

 Benjamin Rouxel , Steven Derrien , Isabelle Puaut
International Conference on Embedded Software (EMSOFT), 2017, Oct 2017, Seoul, South Korea. pp.20, ⟨10.1145/3126496⟩
Communication dans un congrès hal-01590508v1
Image document

Supporting Runtime Reconfigurable VLIWs Cores Through Dynamic Binary Translation

 Simon Rokicki , Erven Rohou , Steven Derrien
DATE 2018 - IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition, Mar 2018, Dresden, Germany. pp.1009-1014, ⟨10.23919/DATE.2018.8342160⟩
Communication dans un congrès hal-01653110v2
Page :