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  

2012

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


Articles publiés :

A/535/CRI :

SLIDES : Dedukti: A Universal Proof Checker
Journée LAC/LTP, Orleans, le 26 Octobre 2012
26 octobre 2012
Mathieu Boespug (McGill University), Quentin Carbonneaux (INRIA), Olivier Hermant et Ronan Saillard (MINES-ParisTech CRI)

A/533/CRI :

SLIDES : Parallelizing with xDSC,a Resource-Constrained Scheduling Algorithm for Shared and Distributed Memory Systems
5ème rencontres de la communauté française de Compilation, Rennes
19 juin 2012
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt (MINES-ParisTech CRI)

A/522/CRI :

Fast 3D shape retrieval method for classified databases
IN: International Conference on Complex Systems (ICCS'12), Agadir, Morocco, Novembre 5-6, 2012
DOI=10.1109/ICoCS.2012.6458607
HAL = hal-00753813
11/05/2012
Dadi E.W. (Univ. Mohammed 1er, Oujda, Maroc), Daoudi E.M., Tadonki Claude (MINES-ParisTech CRI)

A/517/CRI :

The MINWii project: Renarcissization of patients suffering from Alzheimer’s disease through video game-based music therapy
IN: Journal Entertainment Computing, Vol.3, Issue 4, pp.111–120,
IN: 9th International Conference on Entertainment Computing (ICEC 2010), Seoul, Korea, Sept. 8-11, 2010, Vol. 6243, pp 79-90
DOI=10.1016/j.entcom.2011.12.004
(Non Disponible)
HAL = hal-00831327
December 2012
Samuel Benveniste, Pierre Jouvelot, Benoît Pin (MINES-ParisTech CRI) ; Renaud Péquignot (Hôpital Saint-Maurice)

A/516/CRI :

A simple proof that super consistency implies cut elimination
IN: Notre-Dame Journal of Formal Logic, Vol.53, N°4, pp.439-456
DOI:10.1215/00294527-1722692
HAL = hal-00793008
2012
Gilles Dowek (Laboratoire d'informatique de l'école polytechnique) ; Olivier Hermant (MINES-ParisTech CRI)

A/515/CRI :

Customizable Interoperability Assessment Methodology, To Support Technical Processes Deployment In Large Companies
IN: Annual Reviews in Control, Vol.36, N°2, pp.300-308
HAL = hal-00790040
Clémentine Cornu (Eurocopter/ETZR, MINES-ParisTech CRI) ; Vincent Chapurlat (Ecole des Mines d'Alès/LGI2P) ; Jean-Marc Quiot (Eurocopter/ETZR) ; François Irigoin (MINES-ParisTech CRI)

A/514/CRI :

SLIDES : Type inference in the multirate audio DSP language Faust.
IN: Synchron 2012, 19th Open International Workshop on Synchronous Programming, Le Croisic, France, November 18-23, 2012
22 novembre 2012
Pierre Beauguitte

A/513/CRI :

Improving 3D Shape Retrieval Methods based on Bag-of–Feature Approach by using Local Codebooks.
IN: International Journal of Future Generation Communication and Networking, Vol. 5, No. 4, pp. 29-38 December, 2012
HAL = hal-00826558
décembre 2012
El Wardani Dadi, El Mostafa Daoudi (Université Mohamed 1er, Oujda, Maroc) ; Claude Tadonki (MINES-ParisTech CRI).

A/512/CRI :

Compilation et optimisation statique des communications hôte-accélérateur.
IN: Technique et science informatiques (TSI), Nouvelles architectures parallèles, Algorithmes, modèles et outils, Vol.31, n°8-9-10/2012, pp.1205-1232.
(non disponible)
HAL = hal-00826545
Octobre 2012
Mehdi Amini (MINES-ParisTech CRI, Silkan) ; François Irigoin, Fabien Coelho (MINES-ParisTech CRI) ; Ronan Keryell (Silkan)

A/511/CRI :

Compilation pour cibles hétérogènes : le cas Terapix. (version journal)
IN: Technique et science informatiques (TSI), N°1/2013, pp.9-33
HAL = hal-00830160
19 décembre 2012
Serge Guelton (Institut Télécom Bretagne) ; François Irigoin (CRI MINES-ParisTech) ; Ronan Keryell (Silkan)

A/510/CRI :

Chapitre 37 – Recent Advances in Low-Power Design and Functional Coverification Automation from the Earliest System-Level Design Stages.
IN: Low-Power Electronics Design Sous la direction de Christian Piguet.
(non disponible)
15 décembre 2012
Thierry J.-F. Omnès (Philips Semiconductors) ; Youcef Bouchebaba (Université de Nantes) ; Chidamber Kulkarni (University of Berkeley) ; Fabien Coelho (MINES-ParisTech CRI).

A/508/CRI :

Polyèdres et compilation. (version journal)
IN: Technique et science informatiques (TSI), Nouvelles architectures parallèles, Algorithmes, modèles et outils, Vol.31, n°8-9-10/2012, pp.987-1019.
(non disponible)
HAL = hal-00826543
décembre 2012
François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet, Ronan Keryell (HPC Project)

A/507/CRI :

Static Compilation Analysis for Host-Accelerator Communication Optimization.
IN: The 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011). Colorado State University, Fort Collins, Colorado, USA, September 8-10, 2011
IN: LCPC 2011, Lecture Notes in Computer Science (LNCS) 7146, pp. 237–251, 2012, Ed. Springer-Verlag Berlin Heidelberg 2012.
(non disponible)
HAL = hal-00743496
Septembre 2011
Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC PROJECT).

A/502/CRI :

SLIDES : Task Parallelism and Data Distribution : An Overview of Explicit Parallel Programming Languages.
IN: 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012). September 11-13, 2012, Waseda University, Tokyo, Japan
HAL = hal-00742536 + slides
5 juin 2012
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin.

A/501/CRI :

SLIDES : Beyond do loops: data transfer generation with convex array regions.
IN: 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012). September 11-13, 2012, Waseda University, Tokyo, Japan.
HAL = hal-00742583 + slides
13 septembre 2012
Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTech CRI, HPC Project) ; Béatrice Creusillet (HPC Project).

A/498/CRI :

Beyond do loops: data transfer generation with convex array regions
IN: 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012). September 11-13, 2012, Waseda University, Tokyo, Japan, Vol 7760, pp 249-263
DOI=10.1007/978-3-642-37658-0_17
HAL = hal-00742583 + slides
5 juin 2011
Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTech CRI, HPC Project) ; Béatrice Creusillet (HPC Project).

A/497/CRI :

3D Shape Retrieval using Bag-of-feature method basing on local codebooks.
IN: 5th International Conference on Image Processing (ICISP 2012), Agadir, Morocco, June 28-30, 2012, pp. 391-396
DOI=10.1007/978-3-642-31254-0_44
(non disponible)
HAL = hal-00753796
juin 2012
E. Dadi, M. Daoudi (UMP Oujda) ; C. Tadonki (MINES-ParisTech CRI)

A/496/CRI :

Accelerator-based implementation of the Harris algorithm.
IN: 5th International Conference on Image Processing (ICISP 2012), Agadir, Morocco, June 28-30, 2012, Vol. 7340, Pages 485-492
DOI=10.1007/978-3-642-31254-0_55
(non disponible)
HAL = hal-00753803
juin 2012
C. Tadonki (MINES-ParisTech CRI) ; L. Lacassagne (IEF AXIS VAX) ; E. Dadi, M. Daoudi (UMP Oujda).

A/495/CRI :

Basic parallel and distributed computing curriculum.
IN: Second NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar’12) in conjunction with the 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS), Shanghai, China, May 21-25, 2012.
HAL = hal-00744721
mai 2012
Claude Tadonki (MINES-ParisTech CRI)

A/492/CRI :

Interoperability Assessment in the Deployment of Technical Processes in Industry
IN: INCOM 2012, 23-25 May 2012, Bucharest, Romania, 2012
HAL = hal-00750860
16 mars 2012
Clémentine Cornu (Europocter, MINES-ParisTech CRI) ; Vincent Chapurlat (LGI2P) ; Jean-Marc Quiot (Eurocopter) ; François Irigoin (MINES-ParisTech CRI)

A/491/CRI :

SLIDES : Par4All, From Convex Array Regions to Heterogeneous Computing.
IN: 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT 2012), 23 Janvier 2012, Paris, France.
HAL = hal-00744733 + slides
janvier 2012
Mehdi Amini (MINES-ParisTech CRI, HCP Project) ; Béatrice Creusillet, Stéphanie Even, Ronan Keryell, Onig Goubier, Serge Guelton, Janice Onanian McMahon, François Xavier Pasquier, Grégoire Péan, Pierre Villalon (HCP Project)

A/490/CRI :

Par4All, From Convex Array Regions to Heterogeneous Computing.
IN: 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT 2012), 23 Janvier 2012, Paris, France
In conjunction with HiPEAC 2012.
HAL = hal-00744733 + slides
janvier 2012
Mehdi Amini (MINES-ParisTech CRI, HCP Project) ; Béatrice Creusillet, Stéphanie Even, Ronan Keryell, Onig Goubier, Serge Guelton, Janice Onanian McMahon, François Xavier Pasquier, Grégoire Péan, Pierre Villalon (HCP Project)

A/489/CRI :

QIRAL: A High Level Language for Lattice QCD Code Generation.
IN: Fifth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2012), 31st March 2012, Tallinn, Estonia
(non disponible)
HAL = hal-00666885
janvier 2012
Denis Barthou (University of Bordeau) ; Gilbert Grosdidier (LAL/IN2P3/CNRS) ; Michael Kruse (INRIA) ; Olivier Pène (LPT/CNRS) ; Claude Tadonki (MINES-ParisTech CRI)

A/488/CRI :

On the Quality of Relational Database Schemas in Open-source Software.
IN: International Journal on Advances in Software, 2011, Vol.4, N° 3 & 4, February 2012
HAL = hal-00742605
Février 2012
Fabien Coelho, Alexandre Aillos, Samuel Pilot, Shamil Valeev

A/487/CRI :

SPIRE : A Sequential to Parallel Intermediate Representation Extension.
IN: 17th Workshop on Compilers for Parallel Computing (CPC 2013), July 3-5, 2013, Lyon
HAL = hal-00823324
15 janvier 2012
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin

A/486/CRI :

Task Parallelism and Data Distribution : An Overview of Explicit Parallel Programming Languages.
IN: 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012). September 11-13, 2012, Waseda University, Tokyo, Japan, Vol. 7760, pp. 174-189
DOI=10.1007/978-3-642-37658-0_12
HAL : hal-00742536 + slides
5 juin 2012
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin.

Articles soumis :

A/504/CRI :

Distribution des données et des calculs pour les architectures à mémoire distribuée et partagée.
Submitted to: ComPAS’2013 : RenPar’21 / SympA’15/ CFSE’9, Grenoble, France, du 16 au 18 janvier 2013.
(non disponible)
9 octobre 2012
Rachid Habel, Frédérique Silber-Chaussumier (TELECOM Sud Paris) ; François Irigoin (MINES-ParisTech CRI)

Autres articles et rapports techniques :

A/537/CRI :

SLIDES : Presentation du projet FREIA (ANR-AF-2007-004)
Congrès ANR, Lyon
4 janvier 2012
Michel Bilodeau (MINES-ParisTech CMM), Christophe Clienti (THALES TRT), Fabien Coelho (MINES-ParisTech CRI), Serge Guelton (ENST Bretagne, DI), Francois Irigoin (MINES-ParisTech CRI), Ronan Keryell (ENST Bretagne, DI), Fabrice Lemonnier (THALES TRT)

A/505/CRI :

Adding Kinect support to MINDs
24 octobre 2012
Laurent Daverio

A/503/CRI :

Program Sequentially, Carefully, and Bene fit from Compiler Advances for Parallel Heterogeneous Computing
Chapitre d'ouvrage : Patterns for Parallel Programming on GPUs, N°34, pp. 149-169
DOI = 10.4203/csets.34.6
HAL = hal-01526469
26 septembre 2012
Mehdi Amini, Ronan Keryell, Beatrice Creusillet (SILKAN) ; Corinne Ancourt, François Irigoin (MINES-ParisTech CRI)

A/500/CRI :

API-Compiling for Image Hardware Accelerators.
IN : ACM Transactions on Architecture and Code Optimization (TACO), Volume 9 Issue 4, Article No. 49, pp.1-25, January 2013
HAL = hal-00829650
18 juin 2012
Fabien Coelho, François Irigoin

A/494/CRI :

Newgen User Manual. (version du 31 décembre 2011)
décembre 1990
Pierre Jouvelot, Rémi Triolet.

Rapports internes :

E/333/CRI :

SLIDES : From Physics to Interrupt Handlers: The Real to Float Step
IN : Présentation devant l'équipe INRIA Toccata, à Saclay, le 23 novembre 2012
23 novembre 2012
Vivien Maisonneuve (MINES-ParisTech CRI)

E/332/CRI :

SLIDES : From Physics to Interrupt Handlers: The Real to Float Step
IN : Présentation devant l'équipe INRIA Deducteam, à Paris, le 29 juin 2012
29 juin 2012
Vivien Maisonneuve (MINES-ParisTech CRI)

E/319/CRI :

High-level Code Optimization : Case Study with the Wilson-Dirac Operator.
Rapport de stage
février 2012
Wiktor Olko (MINES-ParisTech CRI)