Centre de recherche en informatique
Mathématiques et systèmes
A/373/CRI :
- An empirical study of some X86 SIMD integer extensions.
- IN: Compilers for Parallel Computers (CPC 2006), La Corogne, Espagne, 9-11 janvier 2006, pp.97-103
- 21 novembre 2005
- Isabelle Hurbain, Georges-André Silber
- The new Framework for Loop Nest Optimization in GCC : From Prototyping to Evaluation.
- IN: Compilers For Parallel Computers (CPC'06), La Corogne, Espagne, 9-11 Janvier 2006, pp.164-178
- 21 novembre 2005
- Sebastian Pop, Pierre Jouvelot, Georges-André Silber (ENSMP-CRI) ; Albert Cohen (INRIA Futurs)
- Induction Variable Analysis with Delayed Abstractions.
- IN: High Performance Embedded Architectures & Compilers (HiPEAC 2005), Barcelona, Espagne, 17-18 Novembre 2005, LNCS 3793, pp.218-232
- 10 septembre 2005
- Sébastian Pop, Georges-André Silber (ENSMP-CRI) ; Albert Cohen (INRIA)
- Efficient and Effective Array Bound Checking.
- IN: ACM Transactions On Programming Languages and Systems, Vol.27, No.3, May 2005, Pages 527-570.
En attente- 2003
- Thi Viet Nga Nguyen, François Irigoin
- Motivation-Driven Educational Game Design : Applying Best Practices to Music Eductation.
- IN: ACM SIGCHI International Conference on Advances in Computer Entertainment (ACE 2005), Valence, Espagne, 15-17 juin 2005.
- 29 avril 2005
- Guillaume Denis, Pierre Jouvelot
Articles soumis :
- Efficient Parallel Shell.
- IN : Second International Workshop on Operating Systems, Programming Environments and Management Tools for High-Performance Computing on Clusters (COSET-2), Cambridge, Massachussets, USA, 19 Juin 2005, pp.58-62
IN : Conjunction with ACM International Conference on Supercomputing (ICS05)- 18 avril 2005
- Georges-André Silber
Autres articles et rapports techniques :
- Exponential Memory-Bound Functions for Proof of Work Protocols.
- 23 septembre 2005 - révision 7 novembre 2006
- Fabien Coelho
- Induction variable analysis with delayed abstractions.
- 14 août 2005
- Sébastian Pop, Georges-André Silber, Albert Cohen (INRIA FUTURS)
- Detecting Affine Loop Invariants using a Modular Static Analysis* - Version préliminaire
- This work is funded by the ACI SI as part of the APRON project.
- 19 juillet 2005
- Francois Irigoin
- Induction variable analysis with delayed abstractions. - Extended Version -
- 16 juin 2005
- Sebastian Pop, Georges-André Silber, Albert Cohen (INRIA-FUTURS),
- An Evaluation of the New Framework for Loop Nest Optimization in GCC.
- 8 février 2005
- Sébastian Pop, Georges-André Silber, Albert Cohen (ALCHEMY Group, INRIA Futurs)
Rapports internes :
- A case study of design space exploration for embedded multimedia applications in SoCs.
- 4 février 2005
- Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau (Thales), Juliette Mattioli (Thales), Frédéric Paquier (Thomson)
- An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC
- Rapport technique.
- 15 novembre 2005
- Isabelle Hurbain
- Analyse et développement d'un outil de filtrage de données.
- Octobre 2005
- Grzegorz Dziczkowski
- Paralelization and Optimization of an Interprocedural Source-to-Source Compiler PIPS. Adjusting PIPS for Integration into a Grid Environment.
- fichier papier uniquement
- Mars 2003
- Dorota Rall
- Impact des violations des règles d'alias sur la sémantique de programmes Fortran en fonction des niveaux d'optimisation.
- fichier papier uniquement
- 4 avril 2003
- Dat Pham Quot
- Remote Execution Daemon (RED). A Simple Service for Remote Execution and Remote Storage. Version 1.0.
- Rapport Technique
- 15 avril 2005
- Georges-André Silber
- LHEO Langage Harmonisé d'Echange d'informations sur l'Offre de formation.
- Présentation effectuée à l'INTEFP en mars 2005
- mars 2005
- Georges-André Silber