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  

2014

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


Articles publiés :

A/587/CRI :

Dedukti in a Nutshell
IN: vingt-sixièmes Journées Francophones des Langages Applicatifs
7-10 janvier 2015, Val d'Ajol, France
Décembre 2014
Ronan Saillard (MINES-ParisTech CRI)

A/584/CRI :

Automated Code Generation for Lattice Quantum Chromodynamics and beyond
IN: Journal of Physics: Conference Series, Institute of Physics: Open Access Journals, 2014, Vol. 510, pp.012005.
DOI : 10.1088/1742-6596/510/1/012005
arXiv : 1401.2039
HAL = hal-00926513 (INRIA)
Denis Barthou ( LaBRI - Laboratoire Bordelais de Recherche en Informatique, INRIA Bordeaux), Olivier Brand-Foissac (LPT - Laboratoire de Physique Théorique d'Orsay), Olivier Pene (LPT - Laboratoire de Physique Théorique d'Orsay), Gilbert Grosdidier (LAL - Laboratoire de l'Accélérateur Linéaire), Romain Dolbeau (CAPS - CAPS Enterprise), Christina Eisenbeis (INRIA Saclay - LRI), Michael Kruse (INRIA Saclay), Konstantin Petrov (INRIA Saclay, Claude Tadonki (MINES ParisTech CRI) ;;;

A/583/CRI :

A Fine-grained Approach for Power Consumption Analysis and Prediction
IN: International Conference on Computational Science (ICCS 2014), 10-12 Juin 2014 - Cairns, Australia
Procedia Computer Science, vol. 29, P. 2260–2271
DOI : 10.1016/j.procs.2014.05.211
(Copyright)
HAL = hal-01074959v1
Alessandro Ferreira Leite (LRI - Laboratoire de Recherche en Informatique, INRIA Saclay), Claude Tadonki (MINES-ParisTech CRI), Christine Eisenbeis (LRI - Laboratoire de Recherche en Informatique, INRIA Saclay), Alba Cristina M. A. De Melo ( Department of Computer Science, University of Brasilia)

A/582/CRI :

Dendrogram Based Algorithm for Dominated Graph Flooding
IN: International Conference on Computational Science (ICCS 2014), 10-12 Juin 2014 - Cairns, Australia
Procedia Computer Science, vol. 29, P. 586-598
DOI : 10.1016/j.procs.2014.05.053
(Copyright)
HAL = hal-01098077
Meyer Fernand (CMM), Tadonki Claude, Irigoin François

A/577/CRI :

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors
IN: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)
14-17 Juillet 2014 - Samos, Grèce
IEEE : pages 172-180
DOI : 10.1109/SAMOS.2014.6893209
(A paraître)
De Vogeleer Karel (TELECOM ParisTech), Memmi Gérard (TELECOM ParisTech), Jouvelot Pierre (MINES-ParisTech CRI), Coelho Fabien (MINES-ParisTech CRI)

A/570/CRI :

Automatic Streamization of Image Processing Applications
IN: The 27th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014)
15-17 septembre 2014, Hillsboro, OR
HAL = hal-01096735
2014/08/29
Pierre Guillou (MINES-ParisTech CRI), Fabien Coelho (MINES-ParisTech CRI), Francois Irigoin (MINES-ParisTech CRI)

A/565/CRI :

Computing Invariants with Transformers:Experimental Scalability and Accuracy
IN: Electronic Notes in Theoretical Computer Science
Conférence: The Fifth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2014)
10 septembre 2014 - Munich, Allemagne
Electronic Notes in Theoretical Computer Science : Volume 307, 11 September 2014, Pages 17–31
DOI: 10.1016/j.entcs.2014.08.003
HAL = hal-01058298
2014/08/05
Vivien Maisonneuve (CRI MINES ParisTech), Olivier Hermant (CRI MINES ParisTech), Francois Irigoin (CRI MINES ParisTech)

A/563/CRI :

ALICe: A Framework to Improve Affine Loop Invariant Computation
IN: the 5th International Workshop on Invariant Generation (WING 2014)
Lieu : Vienne, Autriche
Date : 23 juillet 2014
HAL = hal-01086957
2014/04/15
Vivien Maisonneuve (MINES-ParisTech CRI), Olivier Hermant (MINES-ParisTech CRI), François Irigoin (MINES-ParisTech CRI)

A/562/CRI :

Robots et agents virtuels au service des personnes âgées : une revue de l’actualité en gérontechnologie
IN: NPG Neurologie - Psychiatrie - Gériatrie
Volume 14, Issue 82, August 2014, Pages 184–193
DOI = 10.1016/j.npg.2014.02.007
HAL = hal-00979480
2014-03
J. Wrobela (Living Lab Lusage, université Paris Descartes), M. Pinoa (Living Lab Lusage, université Paris Descartes), P. Wargnier (MINES-ParisTech CRI),A.-S. Rigaud (Living Lab Lusage, université Paris Descartes)

A/559/CRI :

Excalibur: An Autonomic Cloud Architecture for Executing Parallel Applications
IN: Fourth International Workshop on Cloud Data and Platforms (CloudDP 2014)
13 Avril 2014 - Amsterdam, the Netherlands
DOI = 10.1145/2592784.2592786
HAL = hal-01087315/hal-01074998
Mars 2014
Alessandro Ferreira Leite (Université Paris-Sud), Claude Tadonki (MINES-ParisTech CRI), Christine Eisenbeis (INRIA Saclay), Taina Raiol (University of Brasilia), Maria Emilia M. T. Walter (University of Brasilia) and Alba Cristina Magalh˜aes Alves de Melo (University of Brasilia)

A/558/CRI :

Seamless multicore parallelism in MATLAB
IN: Parallel and Distributed Computing and Networks (PDCN 2014)
17-19 février 2014 - Innsbruck, Austriche
DOI = 10.2316/P.2014.811-005
HAL = hal-01086917
01 septembre 2013
Claude Tadonki (MINES-ParisTech CRI) et Pierre-Louis Caruana (Université Paris-Sud Orsay)

A/557/CRI :

Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing
IN: Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)
4-6 juin 2014 - Kanazawa, Japan
HAL = hal-00959351
10 mars 2014
Karim Barkati, Haisheng Wang et Pierre Jouvelot (MINES-ParisTech CRI)

A/499/CRI :

Parallelizing with BDSC, a Resource-Constrained Scheduling Algorithm for Shared and Distributed Memory Systems.
IN : Parallel Computing Journal
Reference: PARCO2224
Parallel Computing : Volume 41, pp. 66-89, Janvier 2015
DOI : 10.1016/j.parco.2014.11.004
(Soumis le 14 décembre 2012, Révisé le 2 novembre 2014, accepté le 18 novembre 2014, et en ligne le 27 novembre 2014)
HAL = hal-01097328
Dounia Khaldi (Department of Computer Science, University of Houston, Houston, TX, United States), Pierre Jouvelot (CRI MINES ParisTech), Corinne Ancourt (CRI MINES ParisTech)

Articles soumis :

A/591/CRI :

Double Negation Translations as Morphisms
Submitted to: The 9th International Computer Science Symposium in Russia (CSR 2015)
13–17 juillet 2015, Listvyanka (Lake Baikal), Russia
20 décembre 2014
Frederic Gilbert (Ponts-ParisTech INRIA) and Olivier Hermant (MINES-ParisTech CRI) ;

A/589/CRI :

Investigating the Potential of Information Flow
Control as a Cloud Security Technology
Submitted to: the IEEE Transactions on Cloud Computing (TCC)
Octobre 2014
Jean Bacon (Fellow, IEEE), Thomas Pasquier (Member, IEEE), Jatinder Singh (Member, IEEE), Olivier Hermant and David Eyers (Member, IEEE)

A/581/CRI :

The Impact of Surface Area on the Radiative Thermal Behavior of Embedded Systems
Submitted to: the IEEE Transactions on Mobile Computing
Décembre 2014
De Vogeleer Karel (MINES-ParisTech CRI et TELECOM ParisTech), Jouvelot Pierre (MINES-ParisTech CRI), Memmi Gérard (TELECOM ParisTech)

Autres articles et rapports techniques :

A/590/CRI :

An Enhanced IFC Label Model to meet Application Policy Requirements
Article soumis à : The 18th International Conference on Principles of Distributed Systems (OPODIS 2014) - Article refusé
16-19 Décembre 2014, Cortina d'Ampezzo, Italie
Thomas F. J.-M. Pasquier (University of Cambridge, UK), Olivier Hermant (MINES-ParisTech CRI), Jean Bacon (University of Cambridge, UK)

A/586/CRI :

The Subject Reduction Property in the Lambda-Pi-calculus modulo
Article soumis à Logical frameworks and meta-languages : Theory and Practice (LFMTP 2014) - Article refusé
17 Juillet 2014, Vienne, Austriche
Ronan Saillard (MINES-ParisTech CRI)

A/585/CRI :

POSTER : Dedukti : un véri ficateur de preuves universel
Journées de seconde année de l'Ecole Doctorale
HAL = hal-01100519
25 et 26 juin 2014
Ronan Saillard (MINES-ParisTech CRI)

A/580/CRI :

Program Sequentially, Carefully, and Benefit From Compiler Advances For Parallel Heterogeneous Computing
Chapitre 6 du Livre : "Patterns for Parallel Programming on GPUs"
Editeur : Frederic Magoulès
Publisher : Saxe-Coburg Publications
Serie : Computational Science, Engineering and Technology Series: 34.
pp. 149-169
ISSN 1759-3158, ISBN 978-1-874672-57-9
(non disponible)
(Déjà enregistré en E/320/CRI en 2012)
HAL = hal-01097342
Mehdi Amini (CRI MINES ParisTech - Silkan), Corinne Ancourt (CRI MINES ParisTech), Beatrice Creusillet (Silkan), Francois Irigoin (CRI MINES ParisTech), Ronan Keryell (Silkan)

A/579/CRI :

POSTER : Compilation d’applications de traitement d’images sur architecture MPPA-Manycore
IN : Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS 2014)
22-25 avril 2014 - Neuchâtel, Suisse
HAL = hal-01096993
Pierre Guillou (MINES-ParisTech CRI)

A/578/CRI :

IT-enabled Business Models
Interview de deux pages par Sébastien Perier et Romain Pogu,
publié dans MSIT Network numéro 5
Mars 2014
Delmond Marie-Hélène (HEC), Coelho Fabien (MINES ParisTech CRI)

A/576/CRI :

POSTER : Inondations dominées de Graphes Valués
IN : Séminaire de l'Institut Carnot M.I.N.E.S
7-8 juillet 2014 - Paris
Projet TIMC (Traitement d'Images Multi-Cible)
Collaboration des centres CMM / CRI - Mines ParisTech
HAL = hal-01093881
Fernand Meyer (MINES-ParisTech CMM), Claude Tadonki et François Irigoin (MINES-ParisTech CRI)

A/575/CRI :

SLIDES : Robots, Avatars et Silver Economy
IN: Le Lab de La Poste (Rencontre annuelle de l’innovation ouverte du Groupe La Poste)
4 décembre 2014 - Paris
M. Pino (Hôpital Broca), Pierre Wargnier (MINES-ParisTech CRI), A. Malaisé (Univ. Paris Descartes), J. Jacquemot (Ecole Polytechnique Fédérale de Lausanne), A.S. Rigaud (Hôpital Broca)

A/574/CRI :

The Incremental Design of Parallel Compiler Intermediate Representations using SPIRE
Rapport technique.
Version longue A/613/CRI
Dounia Khaldi (Department of Computer Science, University of Houston), Pierre Jouvelot (MINES-ParisTech CRI), François Irigoin (MINES-ParisTech CRI), Corinne Ancourt (MINES-ParisTech CRI), Barbara Chapman (Department of Computer Science, University of Houston)

A/573/CRI :

SLIDES: Robots sociaux et agents virtuels pour des personnes âgées : comportement, cognition, émotion
IN: 2nd Congrès Européen de Stimulation Cognitive
22-23 septembre 2014 - Toulouse
M. Pino (Hôpital Broca), Pierre Wargnier (MINES-ParisTech CRI), A. Malaisé (Univ. Paris Descartes), J. Jacquemot (Ecole Polytechnique Fédérale de Lausanne), A.S. Rigaud (Hôpital Broca)

A/572/CRI :

Combining Data and Computation Distribution Directives for Hybrid Parallel Programming
Submitted to: The International Symposium on Code Generation and Optimization (CGO) 2015 (Refused)
February 7-11, 2015, San Francisco
2014/09/18
Rachid Habel (TELECOM SudParis), Frédérique Silber-Chaussumier (TELECOM SudParis), François Irigoin (MINES-ParisTech CRI), Elisabeth Brunet (TELECOM SudParis)

A/571/CRI :

SLIDES: Computing Invariants with Transformers:Experimental Scalability and Accuracy
IN: The Fifth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2014)
10 septembre 2014 - Munich, Allemagne
Voir Article A/565/CRI
2014-09
Vivien Maisonneuve (MINES-ParisTech CRI), Olivier Hermant (MINES-ParisTech CRI), François Irigoin (MINES-ParisTech CRI)

A/569/CRI :

SLIDES: A Constraint-Solving Approach to Faust Program Type Checking
IN: The 20th International Conference on Principles and Practice of Constraint Programming
8-12 Septembre 2014 - Lyon, France

Présentation sur deux jours pour l'équipe TEA de l'IRISA
17-18 décembre 2014 - Rennes, France
2014/09/08
Imré Frotier de la Messelière (MINES-ParisTech CRI), Pierre Jouvelot (MINES-ParisTech CRI), Jean-Pierre Talpin (INRIA, IRISA)

A/568/CRI :

ABSTRACT: A Constraint-Solving Approach to Faust Program Type Checking
IN: The 20th International Conference on Principles and Practice of Constraint Programming
8-12 September 2014 - Lyon, France
2014/09/08
Imré Frotier de la Messelière (MINES-ParisTech CRI), Pierre Jouvelot (MINES-ParisTech CRI), Jean-Pierre Talpin (INRIA, IRISA)

A/567/CRI :

SLIDES : ALICe: A Framework to Improve Affine Loop Invariant Computation
5th International Workshop on Invariant Generation (WING)
23 juillet 2014 - Vienne, Autriche
Vivien Maisonneuve (MINES-ParisTech CRI)

A/566/CRI :

SLIDES : Translation of Lyapunov Stability Proofs to Machine Arithmetic
Huitièmes rencontres de la communauté française de compilation
Nice, le 1er juillet
2014/06
Vivien Maisonneuve (MINES-ParisTech CRI)

A/564/CRI :

POSTER : Préservation de preuve lors de la compilation sur microcontrôleur
IN : Journées nationales GDR - GPL, Conservatoire national des arts et métiers, Paris, 10 au 13 juin 2014
Prix du meilleur poster GDR-GPL
HAL = hal-01006648
2014/05/16
Vivien Maisonneuve (MINES-ParisTech CRI)

A/561/CRI :

Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project
Article Invité, à l'occasion du 25ème anniversaire de la conférence ICS (International Conference on Supercomputing (ICS) 25th Anniversary Volume)
DOI = 10.1145/2591635.2591645
HAL = hal-00984684
2014/04/23
Francois Irigoin (MINES-ParisTech CRI), Pierre Jouvelot (MINES-ParisTech CRI), Rémi Triolet (Simulation Factory)

A/556/CRI :

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic
Rapport technique, soumis à ICECCS 2014 (IEEE International Conference on Engineering of Complex Computer Systems)
4-7 Août 2014 - Tianjin, China
HAL = hal-01086732
2014/02/20
Vivien Maisonneuve (MINES-ParisTech CRI), Olivier Hermant (MINES-ParisTech CRI), Francois Irigoin (MINES-ParisTech CRI)

Rapports internes :

E/410/CRI :

SLIDES : Automatic Streamization of Image Processing Applications (LCPC 2014)
IN: The 27th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014)
15-17 septembre 2014, Hillsboro, OR
Pierre Guillou (MINES-ParisTech CRI), Fabien Coelho (MINES-ParisTech CRI), Francois Irigoin (MINES-ParisTech CRI)

E/406/CRI :

POSTER : HPCC2014 / ICESS 2014 / CSS 2014
Poster pour 3 conférences organisées à l'école par Corinne Ancourt
Corinne Ancourt (MINES-ParisTech CRI)

E/369/CRI :

SLIDES : Compilation et optimisation de langages parallèles
En complément du rapport d’avancement 1ere année
26 mai 2014
Nelson Lossing (MINES-ParisTech CRI)

E/368/CRI :

Compilation et optimisation de langages parallèles
Rapport d’avancement 1ere année
26 mai 2014
Nelson Lossing (MINES-ParisTech CRI)

E/362/CRI :

SLIDES : Yet Another Complete Rewrite of Dedukti
Séminaire avec l'équipe KWARC de l'université de Bremen.
26 mai 2014
Ronan Saillard (MINES-ParisTech CRI)

E/361/CRI :

Dedukti : un vérificateur de preuves universel
Rapport d’avancement 2ème année
25-26 juin 2014
Ronan Saillard (MINES-ParisTech CRI)

E/360/CRI :

Agents conversationnels adaptés aux personnes vivant avec une démence
En complément du rapport d’avancement 1ere année
13 mai 2014
Pierre Wargnier (MINES-ParisTech CRI)

E/359/CRI :

Adapted Virtual Agents to Improve Usability and Acceptance of Assistive Technologies for Older Adults Living with Dementias
Rapport d’avancement 1ere année
Pierre Wargnier (MINES-ParisTech CRI)

E/357/CRI :

SLIDES : Double Negation Translations as Morphisms
Talk à UFRN (Federal University Rio Grande Norte)
Natal, Bresil
1er décembre 2014
Olivier Hermant (MINES-ParisTech CRI)

E/356/CRI :

SLIDES : Double Negation Translations as Morphisms
Séminaire Deducteam, INRIA
12 décembre 2014
Olivier Hermant (MINES-ParisTech CRI)

E/355/CRI :

SLIDES : Double Dose of Double-Negation Translations
Présentation au séminaire mensuel du CRI
Fontainebleau, France
2 juin 2014
Olivier Hermant (MINES-ParisTech CRI)

E/354/CRI :

SLIDES : Encoding Zenon Modulo in Dedukti
2nd KWARC-Deducteam workshop, Jacobs University
Bremen, Allemagne
26 mai 2014
Oliver Hermant (MINES-ParisTech CRI)

E/353/CRI :

SLIDES : Seamless multicore parallelism in MATLAB
Parallel and Distributed Computing and Networks (PDCN 2014)
17-19 février 2014 - Innsbruck, Austriche
Claude Tadonki (MINES-ParisTech CRI)

E/352/CRI :

SLIDES : Dendrogram Based Algorithm for Dominated Graph Flooding
Seminaire à l'Université Fédéral Fluminense (Cairns/Australia)
IN: International Conference on Computational Science (ICCS 2014)
10-12 Juin 2014 - Cairns, Australia
11 juin 2014
Claude Tadonki (MINES-ParisTech CRI)

E/350/CRI :

SLIDES : Vector Computing
Séminaire à l'Université de Santiago (Santiago/Chili)
6 août 2014
Claude Tadonki (MINES-ParisTech CRI)

E/348/CRI :

SLIDES : A Constraint-Solving Approach to Faust Program Type Checking
Présentation à la réunion plénière pour le projet FEEVER
Lyon, France
13 octobre 2014
Imré Frotier de la Messelière (MINES-ParisTech CRI), Pierre Jouvelot (MINES-ParisTech CRI), Jean-Pierre Talpin (INRIA)

E/347/CRI :

SLIDES : Formal analysis and implementation of the Faust programming language
Exposé de François Irigoin chez Sanjay Rajopadhye
Fort Collins, US
12 mai 2014
Imré Frotier de la Messelière (MINES-ParisTech CRI)

E/346/CRI :

SLIDES : Formal analysis and implementation of the Faust programming language
En complément du rapport d’avancement 1ere année
26 mai 2014
Imré Frotier de la Messelière (MINES-ParisTech CRI)

E/345/CRI :

Formal analysis and implementation of the Faust programming language
Rapport d’avancement 1ere année
26 mai 2014
Imré Frotier de la Messelière (MINES-ParisTech CRI)

E/343/CRI :

SLIDES : Compilation d’applications de traitement du signal sur accélérateurs matériels à haute efficacité énergétique
En complément du rapport d’avancement 1ere année
26 mai 2014
Pierre Guillou (MINES-ParisTech CRI)

E/342/CRI :

Compilation d’applications de traitement du signal sur accélérateurs matériels à haute efficacité énergétique
Rapport d’avancement 1ere année
19 mai 2014
Pierre Guillou (MINES-ParisTech CRI)

E/341/CRI :

SLIDES : Enhancing your professional effectiveness through software solutions
Présentation au séminaire mensuel du CRI
Fontainebleau, France
07 avril 2014
Pierre Guillou (MINES-ParisTech CRI)

E/340/CRI :

SLIDES : Types liquides
Présentation au séminaire mensuel du CRI
Fontainebleau, France
05 mai 2014
Imré Frotier de la Messelière (MINES-ParisTech CRI)

E/336/CRI :

SLIDES : Dans la Saga du Calcul Haute-Performance
Exposé de Pérennisation lors de la Commission de la Recherche
26 juin 2014
Claude Tadonki (MINES-ParisTech CRI)

E/335/CRI :

LinPy - A polyhedral library for Python based on isl
Accessible : https://scm.cri.ensmp.fr/git/linpy.git
2014/08/25
Danielle Bolan, Vivien Maisonneuve (MINES-ParisTech CRI)

E/334/CRI :

PIPS : Tutorial to use PIPS with Eclipse
Rapport technique
10 Janvier 2014
Nelson Lossing (MINES-ParisTech CRI)