Centre de recherche en informatique
Mathématiques et systèmes
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)
- 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)
- 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)
- The MINWii project: Renarcissization of patients suffering from Alzheimers disease through video game-based music therapy
- IN: Journal Entertainment Computing, Vol.3, Issue 4, pp.111120,
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 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)
- 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)
- 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
- Improving 3D Shape Retrieval Methods based on Bag-ofFeature 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).
- 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)
- 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)
- 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).
- 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)
- 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. 237251, 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).
- 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.
- 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).
- 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).
- 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)
- 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).
- Basic parallel and distributed computing curriculum.
- IN: Second NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar12) 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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
Articles soumis :
- 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.
Autres articles et rapports techniques :
- Distribution des données et des calculs pour les architectures à mémoire distribuée et partagée.
- Submitted to: ComPAS2013 : RenPar21 / SympA15/ CFSE9, 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)
- 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)
- Adding Kinect support to MINDs
- 24 octobre 2012
- Laurent Daverio
- 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)
- 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
Rapports internes :
- Newgen User Manual. (version du 31 décembre 2011)
- décembre 1990
- Pierre Jouvelot, Rémi Triolet.
- 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)
- 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)
- High-level Code Optimization : Case Study with the Wilson-Dirac Operator.
- Rapport de stage
- février 2012
- Wiktor Olko (MINES-ParisTech CRI)