Centre de recherche en informatique

Mathématiques et systèmes




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  

2018

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


Articles publiés :

A/694/CRI :

Meta-programming for Cross-Domain Tensor Optimizations
IN: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE)
5-6 novembre 2018 - Boston, USA
DOI = 10.1145/3278122.3278131
Pages 79-92
HAL = hal-01939656
Adilla Susungi (MINES ParisTech CRI, PSL), Norman A. Rink (TU Dresden), Albert Cohen (INRIA, DI ENS), Jeronimo Castrillon (TU Dresden), Claude Tadonki (MINES ParisTech CRI, PSL)

A/689/CRI :

Runtime Analysis of Whole-System Provenance
IN: 25th ACM Conference on Computer and Communications Security (CCS'18)
15-19 octobre 2018 - Toronto, Canada
HAL = hal-01859773
Thomas Pasquier (University of Bristol,Harvard University), Xueyuan Han (Harvard University), Thomas Moyer (University of North Carolina at Charlotte), Adam Bates (University of Illinois at Urbana-Champaign), Olivier Hermant (MINES ParisTech CRI - PSL), David Eyers (University of Otago), Jean Bacon (University of Cambridge), Margo Seltzer (University of British Columbia)

A/685/CRI :

Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS
IN: IEEE International Conference on Systems, Man, and Cybernetics (SMC2018)
07-10 octobre 2018 - Miyazaki, Japon
HAL = hal-01857859
Bruno Massoni Sguerra (MINES ParisTech CRI, PSL), Amine Benamara (MINES ParisTech CRI, PSL), Samuel Benveniste (CEN STIMCO), Pierre Jouvelot (MINES ParisTech CRI, PSL)

A/682/CRI :

Polarized Rewriting and Tableaux in B Set Theory
IN: 3RD International Workshop about Sets and Tools (SETS 2018)
5 juin 2018 - Southampton - UK
HAL = hal-01820522
Olivier Hermant (MINES ParisTech CRI - PSL)

A/681/CRI :

E-HEFT: Enhancement Heterogeneous Earliest Finish Time algorithm for Task Scheduling based on Load Balancing in Cloud Computing
IN: The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018)
16–20 juillet 2018, Lab’O, Orléans Val de Loire Technopole, Orléans, France
HAL = hal-01820514
Samadi Yassir (National School of Computer science and Systems Analysis, Rabat), Zbakh Mostapha (National School of Computer science and Systems Analysis, Rabat), Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/680/CRI :

An up to date Mapping Methodology for GPUs
IN: 20th Workshop on Compilers for Parallel Computing (CPC 2018)
16-18 avril 2018 - Dublin, Irlande
HAL = hal-01759238,
Florian Gouin (MINES ParisTech, PSL Research University, SAFRAN), Corinne Ancourt (MINES ParisTech, PSL Research University), Christophe Guettier (SAFRAN)

A/679/CRI :

Graph-based Model and Algorithm for Minimizing Big Data Movement in a Cloud Environment
IN: International Journal of High Performance Computing and Networking (IJHPCN)
HAL = hal-01711063
Samadi Yassir (National School of Computer science and Systems Analysis, Rabat), Zbakh Mostapha (National School of Computer science and Systems Analysis, Rabat), Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/678/CRI :

Harris corner detection on a NUMA manycore
IN: Future Generation Computer Systems (Elsevier)
DOI = 10.1016/j.future.2018.01.048
Volume 88, pp.442-452, Novembre 2018
HAL = hal-01711050
Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Lionel Lacassagne (University Pierre and Marie Curie, LIP6, SoC department / ALSoC team), Fatma Sayadi (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia) , Bouraoui Ouni Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia)

Articles soumis :

A/697 :

IEDM, an Ontology for Irradiation Experiment Data Management
Submitted to: ESWC 2019 (European Semantic Web Symposium)
2-6 juin 2019 - Portorož, Slovenia
HAL = hal-01950879
Novembre 2018
Blerina Gkotse (MINES ParisTech, PSL University, CERN, Geneve), Pierre Jouvelot (MINES ParisTech, PSL University) and Federico Ravotti (CERN, Geneve)

Autres articles et rapports techniques :

A/702/CRI :

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
Document de travail avec l'INRIA
HAL = hal-01943941
Frédéric Blanqui (DEDUCTEAM, Inria) Guillaume Genestier (ENS, MINES-ParisTech CRI), Olivier Hermant (MINES-ParisTech CRI)

A/701/CRI :

Termination of λΠ modulo rewriting using the size-change principle
IN: 16th International Workshop on Termination
18 juillet 2018 - Oxfoed, UK
arXiv = 1812.01853
HAL = hal-01944731
Frédéric Blanqui (DEDUCTEAM, Inria) Guillaume Genestier (ENS, MINES-ParisTech CRI)

A/700/CRI :

Certified Graph View Maintenance with Regular Datalog
IN: 34th International Conference on Logic Programming
14-17 juillet 2018 - Oxford, UK

In: Theory and Practice of Logic Programming
Volume 18, Special Issue 3-4, pp. 372-389

arXiv = 1804.10565
DOI = 10.1017/S1471068418000224
HAL = hal-01932818
Angela Bonifati (LIRIS, INRIA) Stefania Dumbrava (LIRIS, INRIA), Emilio Jesus Gallego Arias (MINES ParisTech CRI - PSL)

A/699/CRI :

CHAPITRE: Towards Aligning legivoc Legal Vocabularies by Crowdsourcing

Ouvrage: AI Approaches to the Complexity of Legal Systems (Pagallo U., Palmirani M., Casanovas P., Sartor G., Villata S.)
Pages 220-232
ISBN 978-3-030-00178-0, , Springer, 2018

HAL = hal-01951041
Vibert Hughes-Jehan (Ministère de la Justice), Pin Benoit (MINES ParisTech CRI - PSL), Jouvelot Pierre (MINES ParisTech CRI - PSL)

A/696/CRI :

La communauté d'écoute de sonorités indiennes : une expérimentation
de design sonore dans une institution paramédicale en France
IN: Hybrid, revue des arts et médiations humaines
HAL = hal-01950848
Novembre 2018
Luc Perera (EnsAD, PSL Université, MINES ParisTech, PSL Université), Pierre Jouvelot (MINES ParisTech, PSL Université), Patrick Renaud (EnsAD, PSL Université)

A/695/CRI :

Usability Assessment of Interaction Management Support in LOUISE, an ECA-based User Interface for Elders with Cognitive Impairment
IN : Technology and Disability
Vol. 30, no. 3, pp. 105-126, 2018
DOI: 10.3233/TAD-180189
HAL = hal-01939799
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)

A/693/CRI :

On the semantics of loop transformation languages
Published in: Proceeding Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
9-12 avril 2018 - Nice
Pages 230-231
ISBN = 978-1-4503-5513-1, ACM 2018
DOI = 10.1145/3191697.3213796
HAL = hal-01939516
Adilla Susungi (Mines ParisTech CRI - PSL Research University)

A/692/CRI :

La preuve de théorèmes pour les masses (soniques)
Published in: Revue francophone Informatique et Musique, vol.6
HAL = hal-01877004
Juin 2018
Emilio Gallego Arias (MINES ParisTech CRI - PSL), Pierre Jouvelot (MINES ParisTech CRI - PSL), Benoît Pin (MINES ParisTech CRI - PSL)

A/690/CRI :

DT-MG: many-to-one matching game for tasks scheduling towards resources optimization in cloud computing
Published in: International Journal of Computers and Applications
DOI = 10.1080/1206212X.2018.1519630
HAL = hal-01872245
Samadi Yassir (National School of Computer science and Systems Analysis, Rabat), Zbakh Mostapha (National School of Computer science and Systems Analysis, Rabat), Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/688/CRI :

Evaluation of an OpenMP Parallelization of Lucas-Kanade on a NUMA-Manycore
IN: 9th Workshop on Applications for Multi-Core Architectures (WAMCA 2018)
24-27 septembre 2018 - ENS Lyon, Lyon, France
HAL = hal-01859701
Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Lionel Lacassagne (University Pierre and Marie Curie, LIP6, SoC department / ALSoC team), Fatma Sayadi (Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia) , Bouraoui Ouni Electronics and Microelectronics Laboratory, Faculty of Sciences, University of Monastir, Tunisia)

A/687/CRI :

CFDlang: High-level code generation for high-order methods in fluid dynamics
Published in: International Workshop on Real World Domain Specific Languages 2018 (RWDSL 2018) in conjunction with the CGO'18 international symposium on Code Generation and Optimisation
24 février 2018 - Vienne, Austria
DOI = 10.1145/3183895.3183900
ISBN = 978-1-4503-6355-6
HAL = hal-01857925
Norman Rink ( TUD - Technische Universität Dresden), Adilla Susungi (Mines ParisTech CRI - PSL Research University), Jeronimo Castrillon (TUD - Technische Universität Dresden), Jörg Stiller ( TUD - Technische Universität Dresden), Claude Tadonki (Mines ParisTech CRI - PSL Research University)

A/686/CRI :

CHAPITRE : Workflow Scheduling Issues and Techniques in Cloud Computing: A Systematic Literature Review
Ouvrage : Cloud Computing and Big Data: Technologies, Applications and Security, Zbakh, M., Essaaidi, M., Manneback, P., Rong, C. (Eds.)
Vol 49, Pages 241-263
ISBN 978-3-319-97719-5, Springer, 2018
DOI = 10.1007/978-3-319-97719-5
HAL = hal-01857911
Yassir Samadi (Université de Rabat), Mostapha Zbakh (Université de Rabat), Claude Tadonki (MINES ParisTech CRI - PSL)

A/684/CRI :

Profile-based Vectorization for MATLAB
IN: 5th International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2018)
19 juin 2018 - Philadelphia, United States
HAL = hal-01857852
Patryk Kiepas ((Mines ParisTech CRI - PSL Research University; AGH University of Science and Technology Cracow, Poland), Jaroslaw Kozlak (AGH University of Science and Technology Cracow, Poland), Claude Tadonki (Mines ParisTech CRI - PSL Research University), Corinne Ancourt (Mines ParisTech CRI - PSL Research University)

Rapports internes :

E/442/CRI :

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule
Rapport technique, soumis en novembre 2018
arXiv = 1811.09285
HAL = hal-0193976
Vaddina Kameswar (LTCI - TÉLÉCOM ParisTech), Brandner Florian (LTCI - TÉLÉCOM ParisTech), Memmi Gérard (LTCI - TÉLÉCOM ParisTech), Jouvelot Pierre (MINES ParisTech CRI - PSL)

E/441/CRI :

SLIDES : Meta-programming for Cross-Domain Tensor Optimizations
IN: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE)
5-6 novembre 2018 - Boston, USA
Adilla Susungi (MINES ParisTech CRI, PSL), Norman A. Rink (TU Dresden), Albert Cohen (INRIA, DI ENS), Jeronimo Castrillon (TU Dresden), Claude Tadonki (MINES ParisTech CRI, PSL)

E/440/CRI :

POSTER : Meta-programming for Cross-Domain Tensor Optimizations
IN : ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
4-9 Novembre 2018 - Boston, USA
HAL = hal-01939535
Adilla Susungi (MINES ParisTech CRI, PSL), Norman A. Rink (TU Dresden), Albert Cohen (INRIA, DI ENS), Jeronimo Castrillon (TU Dresden), Claude Tadonki (MINES ParisTech CRI, PSL)

E/439/CRI :

Conception d'un jeu sérieux qui s'adapte aux capacités cognitives de l'utilisateur
Rapport de stage Master 2 "Image et Son pour les Systèmes Intelligents" - Université Pierre et Marie Curie
Encadré par : Bruno MASSONI SGUERRA, Pierre JOUVELOT
Responsable pédagogique : Bruno GAS
HAL = hal-01872549
30 août 2018
Amine BENAMARA

E/438/CRI :

SLIDES : A Rewrite System for Strongly Normalizable Terms
IN : Présentation à l'IRIF (Université Paris Diderot) dans un séminaire invité.
28 Juin 2018
Olivier Hermant & Ronan Saillard ((MINES ParisTech CRI - PSL)

E/437/CRI :

SLIDES : Polarized Rewriting and Tableaux in B Set Theory
IN : 3RD International Workshop about Sets and Tools (SETS 2018)
5 juin 2018 - Southampton - UK
HAL = hal-01820522 (Annexe)
Olivier Hermant (MINES ParisTech CRI - PSL)

E/435/CRI :

High Performance Computing Landscape and Challenges
Rapport technique
Claude Tadonki (MINES ParisTech CRI - PSL)

E/434/CRI :

SLIDES: Harris Corder Detection on a NUMA Manycore
IN: Séminaire du Centre de Recherche en Informatique
16 avril 2018 - Fontainebleau
Claude Tadonki (MINES ParisTech CRI - PSL)

E/432/CRI :

SLIDES: WP15.5–CERN Proton Facility Upgrade
IN : AIDA-2020 satellite meeting
18 janvier 2018 - Zurich
Blerina Gkotse (Doctorante MINES ParisTech CRI, PSL), Georgi Gorine (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), Pierre Jouvelot (MINES ParisTech CRI, PSL), Giuseppe ;;Pezzullo (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), Isidre Mateu Suau (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva), Federico Ravotti (European Organization for Nuclear Research, CERN EP-DT-DD, Geneva)