Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche PARKAS
Publications de l'équipe PARKAS
2012
Articles dans des revues avec comité de lecture
- Titre
- Efficient Liveness Computation Using Merge Sets and DJ-Graphs
- Auteurs
- Dibyendu Das; Ramakrishna Upadrasta; Benoît Dupont De Dinechin
- Détail
- ACM Transactions on Architecture and Code Optimization, ACM, 2012, ACM TACO Special Issue on "High-Performance and Embedded Architectures and Compilers", 8 (4)
- Accès au texte intégral et bibtex
-
Communications avec actes
- Titre
- On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops
- Auteurs
- Mounira Bachir; Albert Cohen; Sid-Ahmed-Ali TOUATI
- Détail
- IEEE, ACM. HPCS 2012 : International Conference on High Performance Computing & Simulation, Jul 2012, Madrid, Spain.
- Accès au texte intégral et bibtex
-
- Titre
- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler
- Auteurs
- Léonard Gérard; Adrien Guatto; Cédric Pasteur; Marc Pouzet
- Détail
- Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Beijing, China. ACM, pp. 51-60
- Accès au bibtex
-
Mémoires
- Titre
- Antescofo : Vers une programmation synchrone
- Auteurs
- Guillaume Baudart
- Détail
- [Master thesis 2], 2012, Master ATIAM, Université Pierre et Marie Curie (UPMC) et IRCAM
- Accès au bibtex
-
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
- Control-Driven Data Flow
- Auteurs
- Antoniu Pop; Albert Cohen
- Détail
- [Research Report], 2012, pp. 36. RR-8015
- Accès au texte intégral et bibtex
-
- Titre
- Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
- Auteurs
- Antoniu Pop; Albert Cohen
- Détail
- [Research Report], 2012, pp. 28. RR-8001
- Accès au texte intégral et bibtex
-
2011
Communications avec actes
- Titre
- A Mutable Hardware Abstraction to Replace Threads
- Auteurs
- Sean Halle; Albert Cohen
- Détail
- LCPC'11 - The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, United States.
- Accès au texte intégral et bibtex
-
- Titre
- Transitive Closures of Affine Integer Tuple Relations and their Overapproximations
- Auteurs
- Sven Verdoolaege; Albert Cohen ; Anna Beletska
- Détail
- Eran Yahav. SAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, 6887, pp. 216-232, LNCS
- Accès au texte intégral et bibtex
-
- Titre
- Transitive Closures of Affine Integer Tuple Relations and their Overapproximations
- Auteurs
- Sven Verdoolaege; Albert Cohen ; Anna Beletska
- Détail
- Eran Yahav. SAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. Springer
- Accès au texte intégral et bibtex
-
- Titre
- Support of Collective Effort Towards Performance Portability
- Auteurs
- Sean Halle; Albert Cohen
- Détail
- HotPar'11 - 3rd USENIX Workshop on Hot Topics in Parallelism, May 2011, Berkeley, United States.
- Accès au texte intégral et bibtex
-
- Titre
- Static Scheduling of Latency Insensitive Designs with Lucy-n
- Auteurs
- Louis Mandel; Florence Plateau; Marc Pouzet
- Détail
- FMCAD 2011 - Formal Methods in Computer Aided Design, Oct 2011, Austin, TX, United States.
- Accès au texte intégral et bibtex
-
Conférences invitées
- Titre
- Polyhedral Compilation Runs Out of (Static) Control!
- Auteurs
- Albert Cohen
- Détail
- Taiwan Compiler workshop (CTHPC'11), Jun 2011, Taichong, Taiwan, Province Of China.
- Accès au bibtex
-
- Titre
- Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form
- Auteurs
- Feng Li; Antoniu Pop; Albert Cohen
- Détail
- WIR 2011: Workshop on Intermediate Representations, Apr 2011, Chamonix, France.
- Accès au texte intégral et bibtex
-
Chapitres d'ouvrages scientifiques
- Titre
- Polyhedral Techniques for Parametric Memory Requirement Estimation
- Auteurs
- Philippe Clauss ; Diego Garbervetsky; Vincent Loechner; Sven Verdoolaege
- Détail
- Balasa, F. and Pradhan, D.. Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Taylor and Francis, 2011, Chapman & Hall/Crc Computer and Information Science, 9781439814000
- Accès au bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
