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/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/691/CRI :

Building the Case for Temperature Awareness in Energy
Consumption Models: an Application of the Energy-Frequency Convexity Rule
Submitted to: 2nd Workshop on AutotuniNg and aDaptivity AppRoaches for Energy efficient HPC Systems (ANDARE'18)
3 novembre 2018 - Limassol, Chypre
HAL = en attente d'acceptation
Kameswar Vaddina (LTCI - TÉLÉCOM ParisTech), Florian Brandner (LTCI - TÉLÉCOM ParisTech), Gérard Memmi (LTCI - TÉLÉCOM ParisTech), Pierre Jouvelot (MINES ParisTech CRI, PSL)

Autres articles et rapports techniques :

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/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)