Centre de recherche en informatique
Mathématiques et systèmes
|
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/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)
- 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 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-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).
- 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
(non disponible)- 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. 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).
- 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 (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)
- 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.
- 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 :
- Parallelizing with BDSC, a Resource-Constrained Scheduling Algorithm for Shared and Distributed Memory Systems.
- Submitted to: Parallel Computing Journal.
- 18 décembre 2012
- Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt.
- Adding Kinect support to MINDs
- 24 octobre 2012
- Laurent Daverio
- Program Sequentially, Carefully, and Bene fit from Compiler Advances for Parallel Heterogeneous Computing
- 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.
- High-level Code Optimization : Case Study with the Wilson-Dirac Operator.
- Rapport de stage
- février 2012
- Wiktor Olko (MINES-ParisTech CRI)