Centre de recherche en informatique
Mathématiques et systèmes
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
Pages 1601-1616- 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
Pages 1305-1310- 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
Pages 67-72- 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
Pages 601-609- 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 :
Autres articles et rapports techniques :
- A/707/CRI :
- CHAPITRE: Consistency-Latency Trade-Off of the LibRe Protocol: A Detailed Study
- Ouvrage: Advances in Knowledge Discovery and Management
Editors: Pinaud B., Guillet F., Cremilleux B., de Runz C.
Volume 7, pages 83-108
Publishers: Springer, 2018
DOI = 10.1007/978-3-319-65406-5_4
HAL = hal-02066058
- Sathiya Prabhu Kumar (CEDRIC, CNAM), Sylvain Lefebvre (LISITE, ISEP), Raja Chiky (LISITE, ISEP), Olivier Hermant ((MINES ParisTech CRI - PSL)
- 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
Pages 10-14
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
Pages 79-92
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
Pages 18-23- 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)
- A/683/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 septembre 2018 - ENS à Lyon, France- HAL =
- Olfa Haggui (doctorante, Sousse National School of Engineering, Tunisie), Claude Tadonki (Mines ParisTech CRI - PSL Research University), 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)
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)
