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  

2006

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


Articles publiés :

A/380/CRI/2004 :

Using NLP techniques to identify legal ontology components: Concepts and Relations.
IN: Law and the Semantic Web, Legal Ontologies, Methodologies, Legal Information Retrieval, and Applicantions, LNAI 3369, pp.169-184, 2006
2004
Guiraude Lame

A/378/CRI :

GRAPHITE : Polyhedral Analyses and Optimizations for GCC.
IN: GNU Compilers Collection Developers Summit 2006 (GCC Summit 06), Ottawa, Canada, 28-30 Juin 2006, pp.179-197
15 avril 2006
Sebastian Pop, Georges-André Silber (ENSMP-CRI) ; Albert Cohen, Cédric Bastoul, Sylvain Girbal, Nicolas Vasilache (INRIA-LRI, Paris Sud)

A/377/CRI :

Corrector, a web interface for practice session with immediate feedback
IN : Technolgoies de l'Information et de la Communication dans l'Enseignement supérieur et l'entreprise (TICE), Toulouse, France, October 2006
14 avril 2006
Fabien Coelho

A/376/CRI :

Pads'n'Swing, pour apprendre la musique en jouant.
IN : Rencontres des Jeunes Chercheurs en Environnements Informatiques pour l'Apprentissage Humain (RJC EIAH'06), INT, Evry, France, 11-12 mai 2006
20 février 2006
Guillaume Denis

A/374/CRI :

A case study of design space exploration for embedded multimedia applications in SoCs.
IN: Proceedings of the Seventeenth IEEE Internatioanl Workshop on Rapid System Prototyping 2006 (RSP'06), Chania, Crête, 14-16 juin 2006, pp.133-139.
document IEEE - ne pas divulguer -
HAL = hal-00752887
23 janvier 2006
Isabelle Hurbain, Corinne Ancourt, François Irigoin (ENSMP-CRI) ; Michel Barreteau, Nicolas Museux (THALES) ; Frédéric Paquier (THOMSON)

Articles soumis :

Autres articles et rapports techniques :

A/383/CRI :

L'Informaticien indien plus durable que le plombier polonais ?
Novembre-Décembre 2006
Robert Mahl (ENSMP-CRI) ; Marie-Hélène Delmond (HEC)

A/379/CRI :

Denotational Semantics for SSA Conversion.
5 juillet 2006
Sébastian Pop, Pierre Jouvelot, Georges-André Silbert (ENSMP-CRI) ; Albert Cohen (INRIA)

A/375/CRI :

Remote Comparison of Database Tables (internal report).
06 février 2006
Fabien Coelho

Rapports internes :

E/284/CRI :

The SSA Representation Framework: Semantics, Analyses and GCC Implementation - Slides -
13 décembre 2006
Sebastian Pop

E/283/CRI :

Scheduling Monotone Interval Orders on Typed Task Systems.
1er novembre 2006
Benoît Dupont de Dinechin

E/282/CRI :

Loop Nest Optimizer of GCC - Slides -
GELATO GCC on Itanium Improvement Workshop, Moscou, Russie, 7-8 Août 2006.
7 août 2006
Sebastian Pop

E/281/CRI :

GRAPHITE : Polyhedral Analyses and Optimizations for GCC - Slides -
GCC Summit 2006, Ottawa, Canada, 28-30 juin 2006.
28 juin 2006
Sebastian Pop, Georges-André Silber (ENSMP-CRI) ; Albert Cohen, Cédric Bastoul, Sylvain Girbal, Nicolas Vasilache (INRIA)

E/280/CRI :

The Regular Unwinding Framework
15 mai 2006
Benoît Dupont de Dinechin

E/279/CRI :

Loop distribution in GCC - Adding a new optimization pass at the GIMPLE SSA level - slides -
HIPEAC Tutorial ou Middle-end and Back-end Program Manipulation in GCC.
10 mai 2006
Georges-André Silber

E/277/CRI :

The new framework for Loop Nest Optimization in GCC from Prototyping to Evaluation - slides -
Compilers for Parallel Compilers (CPC 2006), La corogne, Espagne, 9-11 janvier 2006.
10 janvier 2006
Sebastian Pop

E/276/CRI/2005 :

Induction variable Analysis with Delayed Abstractions - Slides -
High Performance Embedded Architectures & Compilers (HIPEAC 2005), Barcelona, Espagne, 17-18 novembre 2005
8 novembre 2005
Sebastian Pop

E/275/CRI/2004 :

Data Dependences and Advances Industion Variables Detection.
Presented to the GCC Summit 2004, Ottawa, Ontario, Canada, 1-3 juin 2004.
3 juin 2004
Sebastian Pop

E/274/CRI :

An empirical study of some x86 SIMD integer extensions - slides -
Compilers for Parallel Computers (CPC 2006), La Corogne, Espagne, 9-11 janvier 2006.
9 janvier 2006
Isabelle Hurbain, Georges-André Silber