Search - Recherche en informatique (CRI)
 Access content directly

Filter your results

134 Results
Deposit type : Fulltext
Image document

Tala Sound, un Projet Interdisciplinaire Innovant en Design Social pour la Santé

Luc Perera , Pierre Jouvelot
Innovations - Revue d’économie et de management de l'innovation, A paraître
Journal articles hal-03137520v1
Image document

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Frédéric Blanqui , Guillaume Genestier , Olivier Hermant
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩
Conference papers hal-01943941v4
Image document

DeLIA: Dependability Library for Iterative Applications

Carla dos Santos Santana , Idalmis Milian , Hervé Chauris , Claude Tadonki , Samuel Xavier-de-Souza
ISC 2023, May 2023, Hambourg, Germany
Conference poster hal-04143236v1
Image document

Compilation pour machines à mémoire répartie : une approche multipasse

Nelson Lossing
Génie logiciel [cs.SE]. Université Paris sciences et lettres, 2017. Français. ⟨NNT : 2017PSLEM005⟩
Theses tel-01831194v1
Image document

Optimisation des performances et profilage d'algorithmes de traitement d'images sur architectures parallèles

Florian Gouin
Journée de seconde année de l'Ecole Doctorale SMI 432, May 2016, Paris, France
Conference poster hal-01430178v1
Image document

Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems

Dounia Khaldi , Pierre Jouvelot , Corinne Ancourt
Parallel Computing, 2015, 41, pp.66 - 89. ⟨10.1016/j.parco.2014.11.004⟩
Journal articles hal-01097328v1
Image document

Compiling Image Processing Applications for Many-Core Accelerators

Pierre Guillou
ACACES Summer School : Eleventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Jul 2015, Fiuggi, Italy.
Conference poster hal-01254412v1
Image document

Esprits critiques : application au projet Tala Sound

Luc Perera , Pierre Jouvelot
7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France.
Conference poster hal-03245110v1
Image document

Performance of OpenMP loop transformations for the acoustic wave stencil on GPUs

Jaime Freire de Souza , Leticia Suellen Farias Machado , Edson Satoshi Gomi , Claude Tadonki , Simon Mcintosh-Smith , et al.
SC22 The International Conference for High Performance Computing, Networking, Storage, and Analysis, Nov 2022, Dallas, United States.
Conference poster hal-03888100v1
Image document

A service-based modelling approach to ease the certification of multi-core COTS processors

Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Kevin Delmas , Claire Pagetti , et al.
SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers hal-02441365v1
Image document

A Big Data Placement Strategy in Geographically Distributed Datacenters

Laila Bouhouch , Mostapha Zbakh , Claude Tadonki
The 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, May 2020, Marrakesh, Morocco
Conference papers hal-02958822v1
Image document

MIMO Telecommunications with Near Ultrasounds

Arthur Aubertin , Julien de Rosny , Pierre Jouvelot
1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France
Conference poster hal-02437001v1
Image document

Towards Principled Compilation of Ethereum Smart Contracts (SoK)

Emilio Jesús Gallego Arias
10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019, Jun 2019, Iles Canaries, Spain. ⟨10.1109/NTMS.2019.8763856⟩
Conference papers hal-02434176v1
Image document

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Frédéric Blanqui , Guillaume Genestier , Olivier Hermant
TYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31
Conference papers hal-02442484v1
Image document

La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France

Luc Perera , Pierre Jouvelot , Patrick Renaud
2018
Preprints, Working Papers, ... hal-01950848v1
Image document

Génération de systèmes de gestion de données personnalisés fondée sur les ontologies : une application à la physique expérimentale des particules

Blerina Gkotse
Operations Research [cs.RO]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM017⟩
Theses tel-02987043v2
Image document

A Foundational Framework for the Specification and Verification of Mechanism Design

Pierre Jouvelot , Emilio Jesús Gallego Arias
EC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
Conference poster hal-03715847v1
Image document

L'anosmie : un handicap alimentaire

Angèle Luccatio , Luc Perera
Colloque création-recherche en olfaction, Feb 2022, Toulouse, France
Conference poster hal-03519591v1
Image document

Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation

Blerina Gkotse , Pierre Jouvelot , Federico Ravotti
[Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022
Reports hal-03565114v1
Image document

Liquid Clocks - Refinement Types for Time-Dependent Stream Functions

Jean-Pierre Talpin , Pierre Jouvelot , Sandeep Kumar Shukla
[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Reports hal-01166350v3
Image document

Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov

Olivier Hermant , Vivien Maisonneuve
AFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
Conference papers hal-01138327v1
Image document

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , Mehdi Amini , François Irigoin
the 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom
Conference papers hal-01112308v1
Image document

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , Mehdi Amini , François Irigoin
[Technical Report] MINES ParisTech. 2015
Reports hal-01254426v1
Image document

Sûreté : de l'analyse à l'instrumentation et à la synthèse de code

Corinne Ancourt
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie (Paris 6), 2015
Habilitation à diriger des recherches tel-01518362v1
Image document

SerAPI: Machine-Friendly, Data-Centric Serialization for COQ

Emilio Jesús Gallego Arias
2016
Preprints, Working Papers, ... hal-01384408v1
Image document

Broadcast And Surveillance TechnologIes Over Networks

Mark Verhoeven , Corinne Ancourt
Nano Electronics Forum, Nov 2016, Rome, Italy
Conference poster hal-01433575v1
Image document

Scalable NUMA-Aware Wilson-Dirac on Supercomputers

Claude Tadonki
The 2017 International Conference on High Performance Computing & Simulation (HPCS 2017), Jul 2017, Genoa, Italy. pp.315-324
Conference papers hal-01529268v1
Image document

Termination checking in the λΠ-calculus modulo theory. From a practical and a theoretical viewpoint

Guillaume Genestier
Logic in Computer Science [cs.LO]. 2017
Master thesis hal-01676409v1
Image document

Memory Efficient Deployment of an Optical Flow Algorithm on GPU using OpenMP

Olfa Haggui , Claude Tadonki , Fatma Sayadi , Bouraoui Ouni
20th International Conference on Image Analysis and Processing, Sep 2019, Trento, Italy. pp.477-487, ⟨10.1007/978-3-030-30645-8_44⟩
Conference papers hal-02437182v1
Image document

Termination of λΠ modulo rewriting using the size-change principle (work in progress)

Frédéric Blanqui , Guillaume Genestier
16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14
Conference papers hal-01944731v1