Centre de recherche en informatique

Mathématiques et systèmes




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  

2017

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


Articles publiés :

A/666/CRI :

Experimental Energy Profiling of Energy-Critical Embedded Applications
IN: 25th international conference SoftCOM 2017
21-23 septembre 2017 - Radisson Blu Resort Split, Croatie
HAL = hal-01622851
Kameswar Rao Vaddina (LTCI - TELECOM ParisTech), Florian Brandner (LTCI - TELECOM ParisTech), Gerard Memmi (LTCI - TELECOM ParisTech), Pierre Jouvelot (MINES ParisTech CRI, PSL)

A/665/CRI :

Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule
IN: The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017)
11-13 octobre 2017 - Nanjing, Chine
HAL = hal-01622851
Karel De Vogeleer (Hypervirtu, Brussels, Belgium), Kameswar Rao Vaddina (LTCI - TELECOM ParisTech), Florian Brandner (LTCI - TELECOM ParisTech), Pierre Jouvelot (MINES ParisTech CRI, PSL), Gerard Memmi (LTCI - TELECOM ParisTech)

A/661/CRI :

Scalable NUMA-Aware Wilson-Dirac on Supercomputers
IN: The 2017 International Conference on High Performance Computing & Simulation (HPCS 2017)
17-21 juillet 2017 - Genoa, Italie
HAL = hal-01529268
Claude Tadonki (MINES ParisTech CRI - PSL)

A/660/CRI :

Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method
IN: Cluster Computing Special, pp 1–26
DOI = 10.1007/s10586-017-0897-1
HAL = hal-01528764
Alessandro Ferreira Leite (University of Brasilia), Vander Alves (University of Brasilia), Genaina Nunes Rodrigues (University of Brasilia), Claude Tadonki (MINES ParisTech CRI - PSL), Christine Eisenbeis (INRIA Saclay), Alba Cristina Magalhaes Alves de Melo (University of Brasilia)

A/657/CRI :

jsCoq: Towards Hybrid Theorem Proving Interfaces
IN: the 12th Workshop on User Interfaces for Theorem Provers (UITP 2016)
2nd July 2016 - Coimbra, Portugal
Published in : EPTCS (Electronic Proceedings in Theoretical Computer Science) 239, 2017, pp. 15-27
DOI = http://dx.doi.org/10.4204/EPTCS.239.2
ARXIV = https://arxiv.org/abs/1701.07125
HAL = hal-01425752, v2
Emilio Jesús Gallego Arias (MINES ParisTech PSL, CRI), Benoît Pin (MINES ParisTech PSL, CRI), Pierre Jouvelot (MINES ParisTech PSL, CRI) ;;

A/649/CRI :

More Data Locality for Static Control Programs on NUMA Architectures
IN: 7th International Workshop on Polyhedral Compilation Techniques (IMPACT 2017)
23-25 Janvier 2017 - Stockholm, Sweden
HAL = hal-01529354
Adilla Susungi (CRI, MINES ParisTech, PSL Research University), Albert Cohen (INRIA and DI, École Normale Supérieure), Claude Tadonki (CRI, MINES ParisTech, PSL Research University)

Articles soumis :

Autres articles et rapports techniques :

A/663/CRI :

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule
for Nanometer-scale Application Processors
IN: Sustainable Computing: Informatics and Systems, Elsevier
Volume 15, September 2017, Pages 16–27
DOI = https://doi.org/10.1016/j.suscom.2017.05.001
(Submitted on 31 Aug 2015)
HAL = hal-01531295
Karel De Vogeleer (Université Paris Saclay, Telecom ParisTech, LTCI), Gerard Memmi (Université Paris Saclay, Telecom ParisTech, LTCI), Pierre Jouvelot ((MINES ParisTech CRI - PSL)

A/662/CRI :

Complétude en Logiques
Habilitation a diriger les recherches (HDR)
Date de la soutenance : 20 Avril 2017
Lieu de la soutenance : MINES ParisTech, Paris
Jury de la soutenance : Gilles Dowek (Directeur de recherche), Mme Catherine Dubois (Professeur des universités), Alessio Guglielmi (Professeur),
Alexander Leitsch (Professeur), Pierre Jouvelot (Maître de recherche)
HAL = tel-01529422
Olivier Hermant (MINES-ParisTech CRI, PSL Research University)

Rapports internes :

E/427/CRI :

POSTER : Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use Case
IN : 25th international conference SoftCOM 2017
Date : 21-23 septembre 2017
Lieu : Radisson Blu Resort Split, Croatie
HAL = hal-01622872
Juillet 2017
Blerina Gkotse, M. Glaser ( European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), Pierre Jouvelot (MINES ParisTech CRI, PSL), E. Matli (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), G. Pezzullo (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), F. Ravotti (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva)

E/426/CRI :

SLIDES : Modeling the Energy Consumption of Programs: Thermal Aspects and Energy/Frequency Convexity Rule
IN: The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017)
Date : 11-13 octobre 2017
Lieu : Nanjing, Chine
2017-10-11
Karel De Vogeleer (Hypervirtu, Brussels, Belgium), Kameswar Rao Vaddina (LTCI - TELECOM ParisTech), Florian Brandner (LTCI - TELECOM ParisTech), Pierre Jouvelot (MINES ParisTech CRI, PSL), Gerard Memmi (LTCI - TELECOM ParisTech)

E/425/CRI :

Code de Simulation de forage (GLCU).
Analyse, Profilage, Perspectives)
Rapport sur le projet Carnot MINES PACA
Stage encadré par Claude Tadonki (CRI) et Olivier Stab (GEOSCIENCES)
2014/09/28
Olfa Haggui, doctorante, Sousse National School of Engineering, Tunisie

E/424/CRI :

Harris Corner Detection on a NUMA Manycore
Rapport de recherche
2017-09-24
Claude Tadonki (Mines ParisTech CRI - PSL Research University), Olfa Haggui (Sousse National School of Engineering, Tunisie), Lionel Lacassagne (University Pierre and Marie Curie, LIP6, SoC department / ALSoC team)

E/423/CRI :

SLIDES : Scalability on Manycore Machines
IN: Séminaire MATHEMATIQUES ET SYSTEMES
Lieu: Mines ParisTech
Date: 11 mai 2017
Claude Tadonki (MINES ParisTech CRI - PSL)

E/420/CRI :

Etude WCET de programmes Faust avec a3
Rapport technique
29 avril 2017
Benoit Pin (CRI, MINES ParisTech, PSL Research University) et Pierre Jouvelot (CRI, MINES ParisTech, PSL Research University)

E/419/CRI :

POSTER : Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATOR
Réunion BASTION-ENIAC
30-31 mai 2017 - Gilze, Pays-Bas
Projet Européen BASTION
HAL = hal-01531978
Corinne Ancourt (Armines), François Irigoin (Armines), Claude Tadonki (Armines), Mark Verhoeven (Axon)

E/418/CRI :

POSTER : Impulse-Response and CAD-Model-Based Physical Modeling in Faust
Congrès : Conférence Linux Audio Conférence
18-21 mai 2017 - St-Etienne
HAL = hal-01526607
Pierre-Amaury Grumiaux (MINES ParisTech CRI - PSL), Romain Michon (CCRMA, Stanford University, USA), Emilio Gallego Arias (MINES ParisTech CRI - PSL), Pierre Jouvelot (MINES ParisTech CRI - PSL) ;

E/417/CRI :

SLIDES : LOUISE : un agent conversationnel animé pour les personnes âgées atteintes de troubles cognitifs
3ème Colloque Annuel Technologies et Usages de Centich
(Centre d’Expertise National des Technologies de l’Information et de la Communication pour l’autonomie - Université Catholique de l'Ouest)
9-10 mars 2017 - Angers
Pierre Wargnier (MINES ParisTech CRI - PSL), Samuel Benveniste (MINES ParisTech, CEN Stimco),Pierre Jouvelot (MINES ParisTech CRI - PSL)et Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)

E/415/CRI :

Setting up an Operational Academic HPC Pole
Rapport
Claude Tadonki (Mines ParisTech CRI - PSL Research University)