Publications de l'équipe COMPSYS

2012

Rapports

Titre

A Polynomial Spilling Heuristic: Layered Allocation

Auteurs

Boubacar Diouf; Albert Cohen; Fabrice Rastello

Détail

[Research Report], 2012, pp. 23. RR-8007

Accès au texte intégral et bibtex

Titre

FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores

Auteurs

Christophe Alias; Bogdan Pasca; Alexandru Plesco

Détail

[Research Report], 2012, pp. 33. RR-7674

Accès au texte intégral et bibtex

2011

Communications avec actes

Titre

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach

Auteurs

Martin Schoeberl; Pascal Schleuniger; Wolfgang Puffitsch; Florian Brandner; Christian W. Probst; Sven Karlsson; Tommy Thorn

Détail

Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm. Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 18, pp. 11-21, OASICS 18 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Accès au texte intégral et bibtex

Titre

An FPGA architecture for solving the Table Maker's Dilemma

Auteurs

Florent de Dinechin; Jean-Michel Muller; Bogdan Pasca; Alexandru Plesco

Détail

Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. IEEE Computer Society, pp. 187-194

Accès au texte intégral et bibtex

Rapports

Titre

Parallel Copy Elimination on Data Dependence Graphs

Auteurs

Florian Brandner; Quentin Colombet

Détail

[Research Report], 2011, pp. 29. RR-7735

Accès au texte intégral et bibtex

Titre

Kernel Offloading with Optimized Remote Accesses

Auteurs

Christophe Alias; Alain Darte; Alexandru Plesco

Détail

[Research Report], 2011, pp. 29. RR-7697

Accès au texte intégral et bibtex

Titre

Simplification of Boolean Affine Formulas

Auteurs

Paul Feautrier

Détail

[Research Report], 2011, pp. 15. RR-7689

Accès au texte intégral et bibtex

Titre

Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis

Auteurs

Christophe Alias; Alain Darte; Alexandru Plesco

Détail

[Research Report], 2011, pp. 16. RR-7648

Accès au texte intégral et bibtex

Titre

Computing Liveness Sets for SSA-Form Programs

Auteurs

Florian Brandner; Benoit Boissinot; Alain Darte; Benoît Dupont De Dinechin; Fabrice Rastello

Détail

[Research Report], 2011, pp. 25. RR-7503

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Parallel Copy Motion

Auteurs

Florent Bouchez; Quentin Colombet; Alain Darte; Christophe Guillon; Fabrice Rastello

Détail

SCOPES, ACM, 2010, pp. 0

Accès au texte intégral et bibtex

Communications avec actes

Titre

Execution Models for Processors and Instructions

Auteurs

Florian Brandner; Pavlu Viktor; Krall Andreas

Détail

NORCHIP 2010, Nov 2010, Finland. IEEE

Accès au bibtex

Titre

Split Register Allocation: Linear Complexity Without the Performance Penalty

Auteurs

Boubacar Diouf; Albert Cohen; Fabrice Rastello; John Cavazos

Détail

International Conference on High Performance and Embedded Architectures and Compilers, Oct 2010, Pisa, Italy. 15 p

Accès au texte intégral et bibtex

Titre

Completeness of automatically generated instruction selectors

Auteurs

Florian Brandner

Détail

François Charot, Frank Hannig, Jürgen Teich, and Christophe Wolinski. 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. IEEE Computer Society, pp. 175 - 182

Accès au bibtex

Titre

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs

Auteurs

Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord

Détail

Static Analysis Symposium, Sep 2010, Perpignan, France.

Accès au texte intégral et bibtex

Titre

Accelerated Invariant Generation for C Programs with Aspic and C2fsm

Auteurs

Paul Feautrier; Laure Gonnord

Détail

Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France.

Accès au texte intégral et bibtex

Rapports

Titre

Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.

Auteurs

Christophe Alias; Alain Darte; Alexandru Plesco

Détail

[Research Report], 2010, pp. 19. RR-7281

Accès au texte intégral et bibtex

Titre

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings

Auteurs

Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord

Détail

[Research Report], 2010, pp. 32. RR-7235

Accès au texte intégral et bibtex

Thèses

Titre

Transformations de programmes et optimisations de l'architecture mémoire pour la synthèse de haut niveau d'accélérateurs matériels

Auteurs

Alexandru Plesco

Détail

informatique. Ecole normale supérieure de lyon - ENS LYON, Sep. 2010. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Automatic Generation of FPGA-Specific Pipelined Accelerators

Auteurs

Christophe Alias; Bogdan Pasca; Alexandru Plesco

Détail

Dec. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Embedded software energy characterization: Using non-intrusive measures for application source code annotation

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

Journal of Embedded Computing, 2009, 3 (3), pp. 10

Accès au texte intégral et bibtex

Titre

A reindexing based approach towards mapping of DAG with affine schedules onto parallel embedded systems

Auteurs

Clementin Tayou Djamegni; Patrice Quinton; Sanjay Rajopadhye; Tanguy Risset; Maurice Tchuente

Détail

Journal of Parallel and Distributed Computing, 2009, 69 (1), pp. 1-11

Accès au texte intégral et bibtex

Titre

Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems

Auteurs

Laure Gonnord; Jean-Philippe Babau

Détail

AICCSA, IEEE, 2009

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

On-chip Processor Traffic Modeling for NoC Design

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

Fayez Gebali and Haytham Elmiligi and Mohamed Watheq El-Kharashi. Networks-on-Chips: Theory and Practice, CRC Press, pp. 95-121, 2009, 1420079786

Accès au bibtex

Rapports

Titre

SSI Revisited

Auteurs

Benoit Boissinot; Philip Brisk; Alain Darte; Fabrice Rastello

Détail

[Research Report], 2009, pp. 17. LIP 2009-24

Accès au texte intégral et bibtex

Titre

Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions

Auteurs

Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord; Clément Quinson

Détail

[Research Report], 2009, pp. 31

Accès au texte intégral et bibtex

Thèses

Titre

Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctes

Auteurs

Florent Bouchez

Détail

informatique. Ecole normale supérieure de lyon - ENS LYON, Apr. 2009. French

Accès au texte intégral et bibtex

2008

Communications sans actes

Titre

Coupling Loop Transformations and High-Level Synthesis

Auteurs

Tanguy Risset; Alexandru Plesco

Détail

Symposium en Architecture de machines (Sympa 2008), 2008, Fribourg, Switzerland.

Accès au bibtex

Rapports

Titre

Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency

Auteurs

Benoit Boissinot; Alain Darte; Fabrice Rastello; Benoît Dupont De Dinechin; Christophe Guillon

Détail

[Research Report], 2008, pp. 14

Accès au texte intégral et bibtex

Thèses

Titre

Gestion des bases de données biologiques sur grilles de calculs

Auteurs

G. Le Mahec

Détail

informatique. Université Blaise Pascal - Clermont-Ferrand II, Dec. 2008. French

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Master Interface for On-Chip Hardware Accelerator Burst Communications

Auteurs

Antoine Fraboulet; Tanguy Risset

Détail

Journal of VLSI Signal Processing, 2007, 49 (1), pp. 73-85

Accès au texte intégral et bibtex

Articles dans des revues sans comité de lecture

Titre

Worldsens : outil de simulation pour la conception d'applications de réseaux de capteurs

Auteurs

Antoine Fraboulet; Guillaume Chelius

Détail

Techniques de l'Ingenieur, 2007, RE94, pp. 10

Accès au bibtex

Communications avec actes

Titre

Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, Sep 2007, Gothenburg, Sweden. 4644/2007, pp. 10-19

Accès au texte intégral et bibtex

Titre

Long-Range Dependence and On-chip Processor Traffic

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

ReCoSoc 2007: Reconfigurable Communication-centric SoCs, Jun 2007, Montpellier, France. pp. 8

Accès au bibtex

Titre

eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded System

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

From Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp. 1-6

Accès au bibtex

Titre

Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

PATMOS, 2007, Gothenburg, Sweden. Springer Berlin / Heidelberg, 4644/2007, pp. 10-19, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Loi de puissance et caractérisation des réseaux dynamiques

Auteurs

Eric Fleury; Jean-Loup Guillaume; Celine Robardet; Antoine Scherrer

Détail

9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp. 17-20

Accès au texte intégral et bibtex

Titre

Worldsens: development and prototyping tools for application specific wireless sensors networks

Auteurs

Antoine Fraboulet; Guillaume Chelius; Eric Fleury

Détail

ACM. 6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), Apr 2007, Cambridge, United States. pp. 176-185

Accès au texte intégral et bibtex

Titre

Worldsens: a fast and accurate development framework for sensor network applications

Auteurs

Guillaume Chelius; Antoine Fraboulet; Eric Fleury

Détail

ACM. Symposium on Applied Computing (SAC 2007), Mar 2007, Seoul, Korea, Republic Of. pp. 222-226

Accès au bibtex

Titre

Long-Range Dependence and On-chip Processor Traffic

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

ReCoSoc: Reconfigurable Communication-centric SoCs, 2007, Montpellier, France.

Accès au bibtex

Rapports

Titre

Elementary transformation analysis for Array-OL

Auteurs

Paul Feautrier

Détail

[Research Report], 2007, pp. 12. RR-6193

Accès au texte intégral et bibtex

Titre

On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies

Auteurs

Andreea Picu; Antoine Fraboulet; Eric Fleury

Détail

[Travaux universitaires], 2007, pp. 42. RR-6290

Accès au texte intégral et bibtex

2006

Communications avec actes

Titre

Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution

Auteurs

Pierre Borgnat; Nicolas Larrieu; Philippe Owezarski; Patrice Abry; Julien Aussibal; Laurent Gallon; Guillaume Dewaele; K. Boudaoud; L. Bernaille; Antoine Scherrer; Y. Zhang; Yann Labit

Détail

Colloque Francophone sur l'Ingénierie des Protocoles CFIP 2006, Nov 2006, Tozeur, Tunisia. pp. ...

Accès au bibtex

Titre

Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution

Auteurs

Pierre Borgnat; Nicolas Larrieu; Philippe Owezarski; Patrice Abry; Julien Aussibal; L. Gallon; Guillaume Dewaele; K. Boudaoud; L. Bernaille; Antoine Scherrer; Y. Zhang; Yann Labit

Détail

Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur/Tunisia, Tunisia. Hermès, Session 7 : sécurité, 12 p.

Accès au texte intégral et bibtex

Titre

Demonstration of worldsens: a fast prototyping and performance evaluation of wireless sensor network applications & protocols

Auteurs

Guillaume Chelius; Antoine Fraboulet; Eric Fleury

Détail

International Symposium on Mobile Ad Hoc Networking & Computing, 2006, Florence, Italy. 131 - 133, Posters and demos

Accès au texte intégral et bibtex

Titre

WorldSens: system tools for embedded sensor networks

Auteurs

Guillaume Chelius; Antoine Fraboulet; Eric Fleury

Détail

Real-Time Systems Symposium, 2006, Brazil. 4, WIP Session

Accès au bibtex

Titre

A Generic Multi-Phase On-Chip Traffic Generation environment

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

Application-specific Systems, Architectures and Processors, Sep 2006, Steamboat Springs, Colorado, United States. pp. 23-27

Accès au texte intégral et bibtex

Autres publications

Titre

Embedded Systems Energy Characterization using non-Intrusive Instrumentation

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

Oct. 2006. Research Report RR2006-37, LIP - ENS Lyon

Accès au texte intégral et bibtex

Titre

Booting and Porting Linux and uClinux on a new platform

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

Feb. 2006. Research Report 2006-08, LIP, ENS-Lyon, 28 pages

Accès au bibtex

Titre

Porting the Mutek Operating System to ARM Platforms

Auteurs

Nicolas Fournel; Antoine Fraboulet; Paul Feautrier

Détail

Feb. 2006. Research Report 2006-12, LIP, ENS-Lyon

Accès au texte intégral et bibtex

Thèses

Titre

Analyses statistiques des communications sur puce

Auteurs

Antoine Scherrer

Détail

informatique. Ecole normale supérieure de lyon - ENS LYON, Dec. 2006. French

Accès au texte intégral et bibtex

2005

Autres publications

Titre

Analysis and Synthesis of Cycle-Accurate On-Chip Traffic with Long-Range Dependence

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

Oct. 2005. Technical report 2005-53, LIP, ENS-Lyon, 11 pages

Accès au texte intégral et bibtex

2004

Communications avec actes

Titre

Efficient on-chip communications for data-flow IPs

Auteurs

Antoine Fraboulet; Tanguy Risset

Détail

Application-Specific Systems, Architectures and Processors, 2004, Galveston, Texas, United States. pp. 293- 303

Accès au texte intégral et bibtex

Titre

Hardware wrapper classification and requirements for on-chip interconnects.

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

Signaux, Circuits et Systèmes, 2004, Monastir, Tunisia. pp. 4

Accès au bibtex

Titre

Hardware-Software Fast and Accurate Prototyping with Soclib & MMAlpha

Auteurs

Antoine Scherrer; Antoine Fraboulet; Tanguy Risset

Détail

Pimentel and Vassiliadis. Computer Systems: Architecture, Modeling, and Simulation (SAMOS), 2004, Greece. Springer Berlin / Heidelberg, 3133, pp. 453-462

Accès au bibtex

Autres publications

Titre

Cycle Accurate Simulation Model Generation for SoC Prototyping

Auteurs

Antoine Fraboulet; Tanguy Risset; Antoine Scherrer

Détail

May. 2004. RR 2004-18, ENS-Lyon, 24 pages

Accès au texte intégral et bibtex

Rapports

Titre

Scalable and Modular Scheduling

Auteurs

Paul Feautrier

Détail

[Report], 2004. RR-5180

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

Étude de la couche transport des réseaux sur puce

Auteurs

Antoine Scherrer; Antoine Fraboulet

Détail

Symposium en Architecture et Adéquation Algorithme Architecture, 2003, La Colle sur Loup, France. pp. 329-336

Accès au bibtex

2002

Communications avec actes

Titre

Optimisation de la mémoire et de la consommation des systèmes multimédia embarqués

Auteurs

Antoine Fraboulet; Anne Mignotte

Détail

Colloque CAO de circuits intégrés et systèmes, May 2002, France. pp. 177-180

Accès au bibtex

2001

Communications avec actes

Titre

Loop fusion for memory space optimization

Auteurs

Antoine Fraboulet; Karen Godary; Anne Mignotte

Détail

International Symposium on System Synthesis, Oct 2001, Montréal, Canada. pp. 95 - 100

Accès au bibtex

Titre

Memory Optimization of Data Flow Applications at the Codesign Level

Auteurs

Antoine Fraboulet; Laurence Just-Meunier; Anne Mignotte

Détail

Cadence Technical Conference, 2001, San Jose, United States. 6 p.

Accès au bibtex

1997

Articles dans des revues avec comité de lecture

Titre

HPFIT : A set of Integrated Tools for the Parallelization of Applications Using High performance Fortran. Part I : HPFIT and the TransTOOL Environment.

Auteurs

Serge Chaumette; Thomas Brandes; Marie-Christine Counilh; Jean Roman; Alain Darte; Frédéric Desprez; Jean-Christophe Mignot

Détail

Parallel Computing, 1997, 23 (1-2), pp. 71-87

Accès au bibtex

Titre

HPFIT : A set of Integrated Tools for the Parallelization of Applications Using High performance Fortran. Part II : Data-structure Visualization and HPF Extensions for Irregular Problems

Auteurs

Thomas Brandes; Serge Chaumette; Marie-Christine Counilh; Jean Roman; Alain Darte; Frédéric Desprez; Jean-Christophe Mignot

Détail

Parallel Computing, 1997, 23 (1-2), pp. 89-105

Accès au bibtex