Centre de recherche en informatique

Mathématiques et systèmes




2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

2005

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

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

A/372/CRI :

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)

A/371/CRI :

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)

A/366/CRI/2003 :

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

A/365/CRI :

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

A/364/CRI :

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

Articles soumis :

Autres articles et rapports techniques :

A/370/CRI :

Exponential Memory-Bound Functions for Proof of Work Protocols.
23 septembre 2005 - révision 7 novembre 2006
Fabien Coelho

A/369/CRI :

Induction variable analysis with delayed abstractions.
14 août 2005
Sébastian Pop, Georges-André Silber, Albert Cohen (INRIA FUTURS)

A/368/CRI :

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

A/367/CRI :

Induction variable analysis with delayed abstractions. - Extended Version -
16 juin 2005
Sebastian Pop, Georges-André Silber, Albert Cohen (INRIA-FUTURS),

A/362/CRI :

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)

A/361/CRI :

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)

Rapports internes :

E/272/CRI :

An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC
Rapport technique.
15 novembre 2005
Isabelle Hurbain

E/271/CRI :

Analyse et développement d'un outil de filtrage de données.
Octobre 2005
Grzegorz Dziczkowski

E/270/CRI/2003 :

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

E/269/CRI/2003 :

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

E/267/CRI :

Remote Execution Daemon (RED). A Simple Service for Remote Execution and Remote Storage. Version 1.0.
Rapport Technique
15 avril 2005
Georges-André Silber

E/266/CRI :

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