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  

2016

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


Articles publiés :

A/662/CRI :

Comparative study between Hadoop and Spark based on Hibench benchmarks
IN: 2nd International Conference on Cloud Computing Technologies and Applications (CloudTech 2016)
24-26 May 2016 - Marrakech, Maroc
DOI = 10.1109/CloudTech.2016.7847709
Pages : 267-275
HAL = hal-01529413
Yassir Samadi (Université de Rabat), Mostapha Zbakh (Université de Rabat), Claude Tadonki (MINES ParisTech CRI - PSL)

A/656/CRI :

Differentially Private Bayesian Programming
IN: The 23rd ACM Conference on Computer and Communications Security
24-28 Octobre 2016 - Hofburg Palace, Vienna, Austriche
Published in: Proceeding CCS '16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Pages 68-79
doi = 10.1145/2976749.2978371
arXiv = 1605.00283
HAL = hal-01446970
Gilles Barthe (IMDEA Software, Madrid), Gian Pietro Farina (University at Buffalo), Marco Gaboardi (University a Buffalo), Emilio Jesus Gallego Arias (Mines-ParisTech CRI), Andy Gordon (Microsoft Research, Cambridge), Justin Hsu (University of Pennsylvania), Pierre-Yves Strub (IMDEA Software, Madrid)

A/655/CRI :

Computer-aided Verification in Mechanism Design
IN: The 12th Conference on Web and Internet Economics (WINE 2016)
11-14 Decembre 2016 - Montreal, Canada
DOI = 10.1007/978-3-662-54110-4_20
arxiv = 1502.04052
Published in : Chapter Web and Internet Economics, Volume 10123 of the series Lecture Notes in Computer Science pp 279-293
(Submitted on 13 Feb 2015 (v1), last revised 25 Dec 2016 (this version, v5))

En 2015, version v1 (Rapport) : A/636/CRI et HAL-01260071

HAL = hal-01446918
Gilles Barthe (IMDEA Software Institute), Marco Gaboardi (University at Buffalo, SUNY), Emilio Jesús Gallego Arias (MINES-ParisTech CRI), Justin Hsu (University of Pennsylvania), Aaron Roth (University of Pennsylvania), and Pierre-Yves Strub (IMDEA Software Institute)

A/653/CRI :

Constraint logic programming with a relational machine
IN: Formal Aspects of Computing (Springer)
Volume 29, Issue 1, pp 97–124
DOI: 10.1007/s00165-016-0369-z
(Non publiable avant Avril 2017)
HAL = hal-01433373
Emilio Jesús Gallego Arias (MINES ParisTech CRI - PSL), James Lipton (Department of Mathematics & Computer Science, Wesleyan University), Julio Mariño y Carballo (Departamento de Ingeniería Electrónica, Universidad Politécnica de Madrid)

A/652/CRI :

Méthode de calcul de variance locale adaptée aux processeurs graphiques
IN: Conférence d’informatique en Parallélisme, Architecture et Système (Compas’2016)
5-8 juillet 2016 - Lorient, France
HAL = hal-01432993
Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)

A/650/CRI :

Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons
IN: 1st International Workshop on Affective Computing for Social Robotics Workshop at the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN)
26-31 Août 2016, New York, United States
HAL = hal-01344312 (INRIA)
Fabien Badeig (LIG - Laboratoire d'Informatique de Grenoble), Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Maribel Pino (Hôpital Cochin Broca), Philippe De Oliveira Lopes (Hôpital Cochin Broca), Emeric Grange (LIG - Laboratoire d'Informatique de Grenoble), James L. Crowley (LIG - Laboratoire d'Informatique de Grenoble), Anne-Sophie Rigaud (Hôpital Cochin Broca), Dominique Vaufreydaz (LIG - Laboratoire d'Informatique de Grenoble)

A/646/CRI :

Rehabilitation of the psychomotor consequences of elderly fallers: A pilot study to evaluate the feasibility and tolerability of virtual reality training using a user-centered designed serious game.
IN: The 10th World Conference of Gerontechnology (ISG 2016) : « Sustainable Humanity »
28-30 Septembre 2016
Nice - France
DOI = http://dx.doi.org/10.4017/gt.2016.15.s.714.00
Publié : Gerontechnology 2016, vol. 15(Supplement)
HAL = hal-01410205
Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Pierre Wargnier (MINES ParisTech, PSL Research University), Paul-Emile Fauquet (Univ. Paris Descartes), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES ParisTech, PSL Research University), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca), Gilles Kemoun (Prof. de médecine physique et de ­réadaptation, lab. Move, Univ. de Poitiers)

A/644/CRI :

Signal Rate Inference for Multi-Dimensional Faust
IN: The 28th symposium on Implementation and Application of Functional Languages
31/08-02/09 2016 - Leuven, Belgique
HAL = hal-01364119
Yann Orlarey (Grame), Pierre Jouvelot (MINES ParisTech, PSL Research University)

A/643/CRI :

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers
IN: 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016)
2-3 Octobre 2016 - Raleigh, NC, USA
DOI = 10.1109/SCAM.2016.20
(Published in : Source Code Analysis and Manipulation (SCAM), 2016 IEEE 16th International Working Conference on, pages 167-176)
HAL = hal-01359465
Nelson Lossing (MINES ParisTech CRI - PSL), Pierre Guillou (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

A/642/CRI :

Threewise: a local variance algorithm for GPU
IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016
HAL = hal-01359482
Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)

A/641/CRI :

Automatic Code Generation of Distributed Parallel Tasks
IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016
(Published : pages 234-241)
DOI = 10.1109/CSE-EUC-DCABES.2016.190
HAL = hal-01359468
Nelson Lossing (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

A/640/CRI :

A Dynamic to Static DSL Compiler for Image Processing Applications
IN: 19th Workshop on Compilers for Parallel Computing (CPC 2016)
6-8 juillet 2016 - Valladolid, Espagne
HAL = hal-01352808
Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

A/639/CRI :

Autonomic Provisioning, Configuration, and Management of Inter-Cloud Environments based on a Software Product Line Engineering Method
IN: IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016)
12-16 septembre 2016 - Augsburg, Allemagne
HAL = hal-01407637
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/638/CRI :

Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise
IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA
HAL = hal-01266477
02/02/2016
Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Giovanni Carletti (CEN Stimco, Institut Marcel Mauss CNRS-EHESS), Yann Laurent-Corniquet (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES-ParisTech CRI), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)

A/637/CRI :

Virtual Promenade: A New Serious Game for the Rehabilitation of Older Adults with Post-fall Syndrome
IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA
HAL = hal-01266471
02/02/2016
Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Edmond Phuong (CEN Stimco), Kévin Marivan (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Serge Reingewirtz(Univ. Paris Descartes, CEN Stimco), Gilles Kemoun (Univ. de Poitiers), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)

Articles soumis :

Autres articles et rapports techniques :

A/670/CRI :

A Dynamic to Static DSL Compiler for Image Processing Applications
Rapport technique
Version longue de l'article A/640/CRI présenté à Valladolid
HAL = hal-01665055
Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

A/664/CRI :

Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence
IN: Genie Logiciel, Juillet 2016, vol. 117, pp. 47-59
HAL = hal-01531341
Pierre Jouvelot (MINES-ParisTech CRI - PSL), Karel De Vogeleer (Université Paris Saclay, Telecom ParisTech, LTCI), Gérard Memmi (Université Paris Saclay, Telecom ParisTech, LTCI)

A/654/CRI :

Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
IN : 22nd International Conference on Types for Proofs and Programs, TYPES 2016
Novi Sad, Serbia - 23-26 Mai 2016
HAL = hal-01441751
Ali Assaf (Inria, Ecole polytechnique), Guillaume Burel (ENSIIE), Raphal Cauderlier (Cnam, Inria), David Delahaye (Cnam, Université de Montpellier), Gilles Dowek (Inria, Ecole Normale de Sup´erieure de Cachan), Catherine Dubois (ENSIIE), Frédéric Gilbert (Ecole des Ponts, Inria, CEA), Pierre Halmagrand (Cnam, Inria), Olivier Hermant (CRI, MINES Paristech, PSL), Ronan Saillard (CRI, MINES Paristech, PSL)

A/651/CRI :

FEEVER : Faust Environment Everyware
Les rencontres du numérique de l'ANR
16 novembre 2016 - Paris
HAL = hal-01430875
Jouvelot (MINES ParisTech, PSL Research University), Yann Orlarey (Grame), Pottier Laurent (CIEREC, Univ. St-Etienne), Talpin Jean-Pierre (TEA, Rennes)

A/648/CRI :

SLIDES : Compilation efficace d’applications de traitement d’images pour processeurs manycore
Thèse soutenue le 30 novembre 2016
Lieu : MINES ParisTech, Paris
Pierre Guillou (MINES ParisTech, PSL Research University)

A/647/CRI :

SLIDES : Virtual human technologies for cognitively-impaired older adults’ care: the LOUISE and Virtual Promenade experiments
Thèse soutenue le 25 novembre 2016
Lieu : MINES ParisTech, Paris
Pierre Wargnier (MINES ParisTech, PSL Research University)

A/645/CRI :

How Information Systems Enable Digital Transformation: A focus on Business Models and Value Co‐production
HEC Paris Research Paper No. MOSI-2016-1161
Disponible sur le site "Social Science Reseach Network"
(http://ssrn.com/abstract=2806887)
HAL = hal-01369141
Janvier 2016
Marie‐Hélène Delmond (HEC, Paris), Fabien Coelho (MINES ParisTech, PSL Research University), Alain Keravel (HEC, Paris), Robert Mahl (MINES ParisTech, PSL Research University) ;

Rapports internes :

E/416/CRI :

SLIDES : Not Incompatible Logics
the Dagstuhl Perspectives Workshops and the GI-Dagstuhl Seminars : Universality of Proofs
16-21 octobre 2016 - Dagstuhl, Allemagne
HAL = hal-01463138
Olivier Hermant (MINES ParisTech CRI - PSL)

E/414/CRI :

SLIDES : Compilation efficace d’applications de traitement d’images pour processeurs manycore
Séminaire au CEA LIST, Saclay
HAL = hal-01436782
Pierre Guillou (MINES ParisTech CRI - PSL)

E/413/CRI :

POSTER : Broadcast And Surveillance TechnologIes Over Networks
Congrès : Nano Electronics Forum
22-25 novembre 2016 - Rome, Italie
Projet Européen BASTION
HAL = hal-01433575
Mark Verhoeven (Axon), Willem-Jan Dirks (Axon), Egwin Wesselink (Axon), Teun Selten (Axon), Sander van Kolck (Axon), Jochem Herrmann (Adimec), Adriaan Umans (Adimec), Joost van Kuijk (Adimec), Marcel Dijkema (Adimec), Klaas Jan Damstra (GVN), John Hommel (GVN), Robert Pot (GVN), Joost Uijtdehaag (GVN), Patrick Henckes (Caeleste), Bart Dierickx (Caeleste), Bert Luyssaert (Caeleste), Pascal Douine (e2v), Jean-Luc Diverchy (e2v), Alain Prevost (e2v), Philippe Kuntz (e2v), Christophe Guettier (Sagem), Marc Bousquet (Sagem), Romuald Perinelle (Sagem), François Gendry (Sagem), Corinne Ancourt (Armines), François Irigoin (Armines), Claude Tadonki (Armines), Peter Brookes (Altera/Intel)

E/412/CRI :

POSTER : FEEVER : Faust Environment Everyware
Les rencontres du numérique de l'ANR
16 novembre 2016 - Paris
HAL = hal-01430904
Jouvelot (MINES ParisTech, PSL Research University), Yann Orlarey (Grame), Pottier Laurent (CIEREC, Univ. St-Etienne), Talpin Jean-Pierre (TEA, Rennes)

E/411/CRI :

SLIDES : Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelle
Colloque ParaChutes, organisé par Télécom SudParis, Evry
HAL = hal-01431263
23 novembre2016
Pierre WARGNIER (MINES-ParisTech CRI, Univ. Paris Descartes)

E/408/CRI :

SLIDES : From Data to Effects Dependence Graphs: Source-to-Source Transformations for C
IN: 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016)
2-3 Octobre 2016 - Raleigh, NC, USA
HAL = hal-01431340
Nelson Lossing (MINES ParisTech CRI - PSL), Pierre Guillou (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

E/407/CRI :

POSTER : Louise : ECA pour Alzheimer et troubles liés à l’âge
Journées rencontre entre les partenaires industriels et les chercheurs de l’Institut Mines-Télécom
"Santé, autonomie et qualité de vie"
Paris
HAL = hal-01410123
16-17 mars 2016
Pierre Jouvelot (MINES ParisTech CRI - PSL)

E/405/CRI :

POSTER : EUC2016 / CSE 2016 / DCABES 2016
Poster pour 3 conférences organisées à l'école par Corinne Ancourt
24-26 Août 2016
Corinne Ancourt (CRI MINES ParisTech)

E/404/CRI :

POSTER : Optimisation des performances et profilage d'algorithmes de traitement d'images sur architectures parallèles
Journées de 2nde année de l'Ecole Doctorale
HAL = hal-01430178
31 mai 2016
Florian Gouin (MINES ParisTech, PSL Research University)

E/402/CRI :

SLIDES : Automatic Code Generation of Distributed Parallel Tasks
Onzième rencontre de la communauté française de compilation
7-9 Septembre 2016 - Aussois, France
HAL = hal-01431386
Nelson Lossing (MINES ParisTech, PSL Research University), Corinne Ancourt (MINES ParisTech, PSL Research University), François Irigoin (MINES ParisTech, PSL Research University)

E/401/CRI :

SLIDES: Automatic Code Generation of Distributed Parallel Tasks
IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016
Nelson Lossing (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), (François Irigoin (MINES ParisTech CRI - PSL)

E/400/CRI :

SLIDES : Threewise: A Local Variance Algorithm for Graphical Processors
IN: 19th IEEE International Conference on Computational Science and Engineering (CSE)
Lieu : Ecole MINES ParisTech, Paris, France
24-26 Août 2016
Florian Gouin (MINES ParisTech CRI - PSL), Corinne Ancourt (MINES ParisTech CRI - PSL), Christophe Guettier (SAFRAN)

E/399/CRI :

Participation au projet FEEVER sur le développement du langage musical Faust
Rapport de stage, 4ème année
Polytech Clermont-Ferrand
Filière : Génie Mathématique et Modélisation
31 août 2016
Zouhair MORTABIT

E/398/CRI :

SLIDES : A Dynamic to Static DSL Compiler for Image Processing Applications
IN: 19th Workshop on Compilers for Parallel Computing (CPC 2016)
8 juillet 2016 - Valladolid, Espagne
Pierre Guillou (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL), Fabien Coelho (MINES ParisTech CRI - PSL), François Irigoin (MINES ParisTech CRI - PSL)

E/397/CRI :

SLIDES: Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs
IN : International Conference on Software & Systems Engineering and their Applications (ICSSEA'16)
25-27 mai 2016 - Paris
HAL = hal-01531505
26 mai 2016
Karel De Vogeleer (TELECOM ParisTech), Pierre Jouvelot (MINES-ParisTech CRI - PSL)

E/396/CRI :

Wilson-Dirac Operator Revisited on Multicore Vector Computers
Rapport technique
HAL = hal-01433283
Juin 2016
Claude Tadonki (MINES-ParisTech CRI - PSL)

E/395/CRI :

Automated Code Generation for Lattice QCD Simulation
Rapport technique
HAL = hal-01433302
Juin 2016
Denis Barthou (LaBRI - Laboratoire Bordelais de Recherche en Informatique, INRIA Bordeaux), Gilbert Grosdidier (LAL - Laboratoire de l'Accélérateur Linéaire), Konstantin Petrov (INRIA Saclay), Michael Kruse (INRIA Saclay), Christina Eisenbeis (INRIA Saclay - LRI), Olivier Pene (LPT - Laboratoire de Physique Théorique d'Orsay), Olivier Brand-Foissac (LPT - Laboratoire de Physique Théorique d'Orsay), Claude Tadonki (MINES ParisTech CRI), Romain Dolbeau (CAPS - CAPS Enterprise)

E/394/CRI :

Signal Rate Inference for Multi-dimensional Faust
Rapport technique pour le projet FEEVER
30 mai 2016
Yann Orlarey (Grame), Pierre Jouvelot (MINES ParisTech, PSL Research University)

E/393/CRI :

SLIDES : Virtual Promenade: A New Serious Game for the Rehabilitation of Older Adults with Post-fall Syndrome
IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA
Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Edmond Phuong (CEN Stimco), Kévin Marivan (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Frédéric Bloch (Univ. Paris Descartes, Hôpital Broca), Serge Reingewirtz(Univ. Paris Descartes, CEN Stimco), Gilles Kemoun (Univ. de Poitiers), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)

E/392/CRI :

SLIDES : Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise
IN: 4th International Conference on Serious Games and Applications for Health (SeGAH 2016)
11-13 mai 2016 - Orlando, USA
Pierre Wargnier (MINES-ParisTech CRI, Univ. Paris Descartes), Giovanni Carletti (CEN Stimco, Institut Marcel Mauss CNRS-EHESS), Yann Laurent-Corniquet (CEN Stimco), Samuel Benveniste (MINES ParisTech, CEN Stimco), Pierre Jouvelot (MINES-ParisTech CRI), Anne-Sophie Rigaud (Univ. Paris Descartes, Hôpital Broca)

E/391/CRI :

SLIDES : High Performance Computing - Synopsis of Technical and Programming Concepts
IN : Universidade Federal of Rio de Janeiro & Universidade Federal Fluminense - Brésil
18 avril 2016
Claude Tadonki (MINES-ParisTech CRI)

E/385/CRI :

List of utterances used for the ECA in experiments for "Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise"
Document de travail
Pierre Wargnier (MINES-ParisTech CRI, CENSTIMCO)