Centre de recherche en informatique
Mathématiques et systèmes
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