Centre de recherche en informatique
Mathématiques et systèmes
|
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 |
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
- 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)
- 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
- 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
Articles soumis :
- 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)
Autres articles et rapports techniques :
- L'Informaticien indien plus durable que le plombier polonais ?
- Novembre-Décembre 2006
- Robert Mahl (ENSMP-CRI) ; Marie-Hélène Delmond (HEC)
- Denotational Semantics for SSA Conversion.
- 5 juillet 2006
- Sébastian Pop, Pierre Jouvelot, Georges-André Silbert (ENSMP-CRI) ; Albert Cohen (INRIA)
Rapports internes :
- Remote Comparison of Database Tables (internal report).
- 06 février 2006
- Fabien Coelho
- The SSA Representation Framework: Semantics, Analyses and GCC Implementation - Slides -
- 13 décembre 2006
- Sebastian Pop
- Scheduling Monotone Interval Orders on Typed Task Systems.
- 1er novembre 2006
- Benoît Dupont de Dinechin
- 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
- 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)
- The Regular Unwinding Framework
- 15 mai 2006
- Benoît Dupont de Dinechin
- 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
- 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
- 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
- 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
- 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