Filter your results
- 134
- 58
- 10
- 58
- 22
- 14
- 14
- 11
- 9
- 2
- 2
- 1
- 1
- 8
- 5
- 131
- 13
- 8
- 8
- 3
- 3
- 2
- 2
- 1
- 8
- 8
- 6
- 12
- 17
- 13
- 21
- 23
- 26
- 112
- 22
- 133
- 11
- 8
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 23
- 19
- 14
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Tala Sound, un Projet Interdisciplinaire Innovant en Design Social pour la SantéInnovations - Revue d’économie et de management de l'innovation, A paraître
Journal articles
hal-03137520v1
|
||
|
Dependency Pairs Termination in Dependent Type Theory Modulo RewritingFSCD 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
|
||
|
DeLIA: Dependability Library for Iterative ApplicationsISC 2023, May 2023, Hambourg, Germany
Conference poster
hal-04143236v1
|
||
|
Compilation pour machines à mémoire répartie : une approche multipasseGénie logiciel [cs.SE]. Université Paris sciences et lettres, 2017. Français. ⟨NNT : 2017PSLEM005⟩
Theses
tel-01831194v1
|
||
|
Optimisation des performances et profilage d'algorithmes de traitement d'images sur architectures parallèlesJournée de seconde année de l'Ecole Doctorale SMI 432, May 2016, Paris, France
Conference poster
hal-01430178v1
|
||
|
Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systemsParallel Computing, 2015, 41, pp.66 - 89. ⟨10.1016/j.parco.2014.11.004⟩
Journal articles
hal-01097328v1
|
||
|
Compiling Image Processing Applications for Many-Core AcceleratorsACACES 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
|
||
|
Esprits critiques : application au projet Tala SoundConference poster hal-03245110v1 |
||
|
Performance of OpenMP loop transformations for the acoustic wave stencil on GPUsSC22 The International Conference for High Performance Computing, Networking, Storage, and Analysis, Nov 2022, Dallas, United States.
Conference poster
hal-03888100v1
|
||
|
A service-based modelling approach to ease the certification of multi-core COTS processorsSAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers
hal-02441365v1
|
||
|
A Big Data Placement Strategy in Geographically Distributed DatacentersThe 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, May 2020, Marrakesh, Morocco
Conference papers
hal-02958822v1
|
||
|
MIMO Telecommunications with Near Ultrasounds1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France
Conference poster
hal-02437001v1
|
||
|
Towards Principled Compilation of Ethereum Smart Contracts (SoK)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
|
||
|
Dependency Pairs Termination in Dependent Type Theory Modulo RewritingTYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31
Conference papers
hal-02442484v1
|
||
|
La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France2018
Preprints, Working Papers, ...
hal-01950848v1
|
||
|
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 particulesOperations Research [cs.RO]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM017⟩
Theses
tel-02987043v2
|
||
|
A Foundational Framework for the Specification and Verification of Mechanism DesignEC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
Conference poster
hal-03715847v1
|
||
|
L'anosmie : un handicap alimentaireColloque création-recherche en olfaction, Feb 2022, Toulouse, France
Conference poster
hal-03519591v1
|
||
|
Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation[Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022
Reports
hal-03565114v1
|
||
|
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Reports
hal-01166350v3
|
||
|
Des réels aux flottants : préservation automatique de preuves de stabilité de LyapunovAFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
Conference papers
hal-01138327v1
|
||
|
From Data to Effects Dependence Graphs: Source-to-Source Transformations for Cthe 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom
Conference papers
hal-01112308v1
|
||
|
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C[Technical Report] MINES ParisTech. 2015
Reports
hal-01254426v1
|
||
|
Sûreté : de l'analyse à l'instrumentation et à la synthèse de codeCalcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie (Paris 6), 2015
Habilitation à diriger des recherches
tel-01518362v1
|
||
|
SerAPI: Machine-Friendly, Data-Centric Serialization for COQ2016
Preprints, Working Papers, ...
hal-01384408v1
|
||
|
Broadcast And Surveillance TechnologIes Over NetworksNano Electronics Forum, Nov 2016, Rome, Italy
Conference poster
hal-01433575v1
|
||
|
Scalable NUMA-Aware Wilson-Dirac on SupercomputersThe 2017 International Conference on High Performance Computing & Simulation (HPCS 2017), Jul 2017, Genoa, Italy. pp.315-324
Conference papers
hal-01529268v1
|
||
|
Termination checking in the λΠ-calculus modulo theory. From a practical and a theoretical viewpointLogic in Computer Science [cs.LO]. 2017
Master thesis
hal-01676409v1
|
||
|
Memory Efficient Deployment of an Optical Flow Algorithm on GPU using OpenMP20th 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
|
||
|
Termination of λΠ modulo rewriting using the size-change principle (work in progress)16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14
Conference papers
hal-01944731v1
|