Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

54 Results
Deposit type : Notice

Sûreté : de l'analyse à l'instrumentation et à la synthèse de code

Corinne Ancourt
[Travaux universitaires] A/597/CRI, Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2015
Reports hal-01254381v1

Compilation pour cibles hétérogènes : le cas Terapix (version papier)

Serge Guelton , François Irigoin , Ronan Keryell
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, No 1, pp.9-33. ⟨10.3166/TSI.22.9-33⟩
Journal articles hal-00830160v1

Automatic LQCD Code Generation

Claude Tadonki
Quatrièmes rencontres de la communauté française de compilation, Dec 2011, Saint-Hippolyte, France
Conference papers hal-00916772v1

PIPS tutorial : an interprocedural, extensible, source-to-source compiler infrastructure for code transformations and Instrumentations

François Irigoin , Serge Guelton , Ronan Keryell , Frédérique Silber-Chaussumier
[Research Report] Dept. Informatique (Institut Mines-Télécom-Télécom SudParis); Centre de Recherche en Informatique (MINES ParisTech). 2010
Reports hal-01333429v1

Infodemiology by Tweet Mining Methods

Katarzyna Wegrzyn-Wolska , Lamine Bougueroua , Grzegorz Dziczkowski
Stud. Inform. Univ., 2013, 11 (3), pp.65--79
Journal articles hal-01858286v1

Improving GNU compiler collection infrastructure for streamization

Antoniu Pop , Harsha Jagasia , Sebastian Pop , Jan Sjödin , Paul H J Kelly
GCC Developers' Summit 2008, Jun 2008, Ottawa, Canada. pp.77-86
Conference papers hal-00817445v1

A stream-computing extension to OpenMP

Antoniu Pop , Albert Cohen
6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC'11, Jan 2011, Heraklion, Greece. pp.5-14, ⟨10.1145/1944862.1944867⟩
Conference papers hal-00659411v1

Tiling

François Irigoin
David Padua Editorin-Chief. Encyclopedia of Parallel Computing, Springer Verlag, pp 2040-2049, 2011, 978-0-387-09765-7. ⟨10.1007/978-0-387-09766-4_511⟩
Book sections hal-00881140v1

A Pilot Usability Study of MINWii, a Music Therapy Game for Demented Patients

Pierre Jouvelot , Samuel Benveniste , Mélodie Boulay , Sandra Boespflug , Sandra Rigaud
Technology and Health Care, 2011, Volume 19 (4), pp.233-246. ⟨10.3233/THC-2011-0628⟩
Journal articles hal-00628624v1

A Fine-grained Approach for Power Consumption Analysis and Prediction

Alessandro Leite , Claude Tadonki , Christine Eisenbeis , Alba de Melo
International Conference on Computational Science, ICCS'2014, Jun 2014, Cairns, Australia. ⟨10.1016/j.procs.2014.05.211⟩
Conference papers hal-01074959v1

A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications

Teodora Petrisor , Eric Lenormand , Corinne Ancourt , François Irigoin
The 14th International Workshop on Software and Compilers for Embedded Systems, Jun 2011, Schloss Rheinfels, St. Goar, Germany
Conference papers hal-00743506v1

An opinion mining approach for web user identification and clients' behaviour analysis

Grzegorz Dziczkowski , Katarzyna Wegrzyn-Wolska , Lamine Bougueroua
CASoN, 2013, Unknown, Unknown Region. pp.79--84
Conference papers hal-01858284v1

A Modular Static Analysis Approach to Affine Loop Invariants Detection

Corinne Ancourt , Fabien Coelho , François Irigoin
The Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.3-16, ⟨10.1016/j.entcs.2010.09.002⟩
Conference papers hal-00586338v1

Gestion durable des données : point sur les enjeux et proposition d'une démarche de pilotage de la performance appuyée sur un balanced scorecard thématique

Frédéric Laura , Fabien Coelho , Marie-Hélène Delmond
15e colloque AIM, May 2010, La Rochelle, France
Conference papers hal-00554061v1

Remote Comparison of Database Tables

Fabien Coelho
The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), Jan 2011, St Marteen, Netherlands Antilles. pp. 23-28
Conference papers hal-00916669v1

Par4All: Auto-Parallelizing C and Fortran for the CUDA Architecture

Béatrice Creusillet , Ronan Keryell , Stéphanie Even , Serge Guelton , François Irigoin
2009
Reports hal-00903636v1

A case study of design space exploration for embedded multimedia applications in SoCs

Isabelle Hurbain , Corinne Ancourt , François Irigoin , Michel Barreteau , Juliette Mattioli , et al.
the Seventeenth IEEE Internatioanl Workshop on Rapid System Prototyping 2006 (RSP'06), Jun 2006, Chania, Crête, Greece. pp. 133-139, ⟨10.1109/RSP.2006.1⟩
Conference papers hal-00752887v1

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers hal-01111647v1

Dependent vector types for data structuring in multirate Faust

Pierre Jouvelot , Yann Orlarey
Computer Languages, Systems and Structures, 2011, Volume 37 (Issue 3), pp.113-131. ⟨10.1016/j.cl.2011.03.001⟩
Journal articles istex hal-00628564v1

Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project

François Irigoin , Pierre Jouvelot , Rémi Triolet
Conference papers hal-00984684v1

Dependent Vector Types for Multirate Faust

Pierre Jouvelot , Yann Orlarey
Proceedings of the Sound and Music Computing Conference, 2010, SMC'10 2010, pp.Pages 345--352
Journal articles hal-00628600v1

The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy

Samuel Benveniste , Pierre Jouvelot , Benoît Pin , Renaud Péquignot
Science direct, 2012, Vol. 3 (Issue 4), pp.111-120. ⟨10.1016/j.entcom.2011.12.004⟩
Journal articles hal-00831327v1

API Compilation for Image Hardware Accelerators

Fabien Coelho , François Irigoin
ACM Transactions on Architecture and Code Optimization, 2013, Volume 9 (Issue 4), pp.1-25. ⟨10.1145/2400682.2400708⟩
Journal articles hal-00829650v1

SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt
HiPEAC Computing Systems Week, May 2013, Paris, France
Conference papers hal-00828744v1

3D Shape Retrieval using Bag-of-feature method basing on local codebooks

Dadi El Wardani , Daoudi El Mostafa , Claude Tadonki
The 5th International Conference on Image and Signal Processing (ICISP 2012), Jun 2012, Agadir, Morocco. pp.391-396, ⟨10.1007/978-3-642-31254-0_44⟩
Conference papers hal-00753796v1

The SPIRE Methodology of Compiler Parallel Intermediate Representation Design

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt , Barbara Chapman
[Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015
Reports hal-01251172v1

Compilation et optimisation statique des communications hôte-accélérateur

Mehdi Amini , Fabien Coelho , François Irigoin , Ronan Keryell
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.1205-1232. ⟨10.3166/tsi.31.1205-1232⟩
Journal articles istex hal-00826545v1

Fast 3D shape retrieval method for classified databases

El Wardani Dadi , El Mostafa Daoudi , Claude Tadonki
International Conference on Complex Systems (ICCS'12), Nov 2012, Agadir, Morocco. pp 1-5, ⟨10.1109/ICoCS.2012.6458607⟩
Conference papers hal-00753813v1

Dependence Abstractions

François Irigoin
David Padua Editorin-Chief. Encyclopedia of Parallel Computing, Springer Verlag, pp 552-556, 2011, 978-0-387-09765-7. ⟨10.1007/978-0-387-09766-4_272⟩
Book sections hal-00881133v1

Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions

Corinne Ancourt , Teodora Petrisor , François Irigoin , Eric Lenormand
15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), Nov 2013, Zhangjiajie, China. pp. 800-811
Conference papers hal-00919433v1