Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Keywords ×
All ×
305 results
save search
Document types
Minimize
Conference papers
(97)
Reports
(71)
Theses
(62)
Journal articles
(49)
Habilitation à diriger des recherches
(8)
Preprints, Working Papers, ...
(6)
Book sections
(4)
Directions of work or proceedings
(3)
Poster communications
(3)
Books
(1)
Software
(1)
Author
Minimize
Sid Touati
(12)
Pierre Boulet
(10)
Stéphane Vialle
(9)
Claude-Pierre Jeannerod
(8)
Jens Gustedt
(8)
Christophe Monat
(7)
Frédéric Boussinot
(7)
yann Boniface
(7)
Christian Pérez
(6)
Christine Eisenbeis
(6)
Frédéric Suter
(6)
Laurent Alonso
(6)
Xavier Cavin
(6)
Bogdan Robu
(5)
Frédéric Desprez
(5)
Guillaume Revy
(5)
Jean-Claude Paul
(5)
Jean-Luc Dekeyser
(5)
Radu Stefanescu
(5)
Xavier Pennec
(5)
Albert Cohen
(4)
Alfredo Buttari
(4)
Aurélien Esnard
(4)
Bernard Girau
(4)
Dominique Lavenier
(4)
François Charpillet
(4)
Jacques Guyard
(4)
Jean-Louis Roch
(4)
Khadidja Meguelati
(4)
Laure Gonnord
(4)
Makram Bouzid
(4)
Mathieu Faverge
(4)
Mathieu Giraud
(4)
Naweiluo Zhou
(4)
Olivier Beaumont
(4)
Olivier Coulaud
(4)
Stéphane Ubéda
(4)
Sylvain Contassot-Vivier
(4)
Thierry Priol
(4)
Vincent Chevrier
(4)
yann A Barsamian
(4)
yves Robert
(4)
Andi Drebes
(3)
Arthur Charguéraud
(3)
Bénédicte Fontez
(3)
Caroline Collange
(3)
Emmanuel Agullo
(3)
Emmanuel Jeannot
(3)
Eric Dillon
(3)
Eric Rutten
(3)
Florent Masseglia
(3)
François Moreews
(3)
Frédéric Alexandre
(3)
Grégoire Pichon
(3)
Gwenaël Delaval
(3)
Hervé Knochel
(3)
Hélène Coullon
(3)
Jan Arne Telle
(3)
Jean-François Méhaut
(3)
Jean-Stéphane Varré
(3)
Jean-yves L'Excellent
(3)
Julien Bigot
(3)
Karine Heydemann
(3)
Ludovic Henrio
(3)
Nadine Hilgert
(3)
Nathalie Drach
(3)
Nicholas Ayache
(3)
Philippe Marquet
(3)
Raymond Namyst
(3)
Shafqat Khan
(3)
Tawfik Es-Sqalli
(3)
Thierry Gautier
(3)
Tuan Tu Tran
(3)
Vincent Boudet
(3)
Abdou Guermouche
(2)
Ahcène Bendjoudi
(2)
Albert Cohen
(2)
Alena Shilova
(2)
Alexandre Termier
(2)
Antoniu Pop
(2)
Bruno Arnaldi
(2)
Bruno P Marmol
(2)
Bruno Raffin
(2)
Carsten Fuhs
(2)
Christian Bertin
(2)
Denis Barthou
(2)
Dominique Méry
(2)
Eddy Caron
(2)
Emmanuel Casseau
(2)
Enrique S Quintana-Ortí
(2)
Eric Dillon
(2)
Eric Lenormand
(2)
Eric Sonnendrücker
(2)
Fabrice Rastello
(2)
Fernando Magno Quintão Pereira
(2)
Francisco Heron de Carvalho Junior
(2)
François Broquedis
(2)
Gil Utard
(2)
Guillaume Latu
(2)
Guillaume Sylvand
(2)
Subject field
Minimize
Computer Science [cs]
(291)
Mathematics [math]
(11)
Engineering Sciences [physics]
(11)
Life Sciences [q-bio]
(10)
Chemical Sciences
(1)
Physics [physics]
(1)
Cognitive science
(1)
Humanities and Social Sciences
(1)
Laboratory
Minimize
Inria Grenoble - Rhône-Alpes
(63)
Laboratoire de l'Informatique du Parallélisme
(57)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(47)
INRIA Lorraine
(46)
Institut de Recherche en Informatique et Systèmes Aléatoires
(40)
Inria Rennes – Bretagne Atlantique
(39)
Laboratoire Bordelais de Recherche en Informatique
(36)
Inria Bordeaux - Sud-Ouest
(32)
Inria Sophia Antipolis - Méditerranée
(29)
Inria Lille - Nord Europe
(22)
Inria Saclay - Ile de France
(21)
Laboratoire de Recherche en Informatique
(21)
Laboratoire d'Informatique Fondamentale de Lille
(20)
Inria Paris-Rocquencourt
(19)
Laboratoire d'Informatique de Grenoble
(17)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(13)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(11)
Inria Nancy - Grand Est
(10)
INRIA Rennes
(8)
Parallélisme, Réseaux, Systèmes, Modélisation
(8)
INRIA Futurs
(7)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(7)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(6)
Institut de Recherche Mathématique Avancée
(6)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(5)
Grenoble Images Parole Signal Automatique
(5)
Institut de recherche en informatique de Toulouse
(5)
Laboratoire d'Informatique de Paris 6
(5)
Laboratoire d'informatique de l'école normale supérieure
(5)
Laboratoire Jean Kuntzmann
(4)
Laboratoire des Sciences du Numérique de Nantes
(4)
Centre Européen de Recherche et de Formation Avancée en Calcul Scientifique
(3)
Informatique et Distribution
(3)
Inria de Paris
(3)
Institut de Mathématiques [Mons]
(3)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(3)
Centre de recherche sur l'Information Scientifique et Technique
(2)
Computer Science Department [Belo Horizonte]
(2)
DAM Île-de-France
(2)
Institut de Mathématiques de Bordeaux
(2)
Institut de Recherche sur la Fusion par confinement Magnétique
(2)
Institut Élie Cartan de Lorraine
(2)
Instituto de Informática da UFRGS
(2)
Laboratoire d'Intégration des Systèmes et des Technologies
(2)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(2)
SUPELEC-Campus Metz
(2)
Système d'Information des GENomes des Animaux d'Elevage
(2)
CEA Tech en régions
(1)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
CSIE, NDHU
(1)
Centre de Recherche et d'Application en Traitement de l'Image et du Signal
(1)
Computer & Embedded Systems
(1)
Departamento de Ciência da Computação [Minas Gerais]
(1)
Departamento de Informática y Matemática Aplicada [Girona]
(1)
Department of Biomedical Informatics [Columbus]
(1)
Department of Computer Science [Ioannina]
(1)
Department of Computer Science [Pisa]
(1)
Department of Computer Science and Engineering [Colombus]
(1)
Department of Computer Science. University of Tennessee
(1)
Department of Electrical and Computer Engineering [Auckland ]
(1)
Department of Mathematics [Manchester]
(1)
Department of Music Studies
(1)
Department of mathematics and physics
(1)
Dipartimento di Informatica [Torino]
(1)
Dipartimento di Ingegneria Civile Edile ed Ambientale [Padova]
(1)
Distributed Programming Laboratory
(1)
Département d'Electricité, Electronique & Informatique
(1)
Electronique, Informatique, Automatique et Systèmes
(1)
Embedded Computing Laboratory [Gif-sur-Yvette]
(1)
INRIA Rocquencourt
(1)
Information and Computer Sciences [Hawaii]
(1)
Informatique, Biologie Intégrative et Systèmes Complexes
(1)
Institut Rhône-Alpin des systèmes complexes
(1)
Institut Universitaire de France
(1)
Institut de Biologie Computationnelle
(1)
Institut de Recherche Mathématique de Rennes
(1)
Institut für Mathematik
(1)
Institut méditerranéen d'océanologie
(1)
Institut Élie Cartan de Nancy
(1)
Intel Corporation [Hillsboro]
(1)
Kalray
(1)
LIP6
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire Photonique, Numérique et Nanosciences
(1)
Laboratoire d'Etude du Rayonnement et de la Matière en Astrophysique
(1)
Laboratoire d'Informatique Théorique et Appliquée
(1)
Laboratoire d'informatique Fondamentale de Marseille
(1)
Laboratoire d'ingénierie des systèmes d'information
(1)
Laboratoire de Mécanique et Génie Civil
(1)
Laboratoire de Sciences de l'Image, de l'Informatique et de la Télédétection, équipe ICPS
(1)
Laboratoire des sciences et matériaux pour l'électronique et d'automatique
(1)
Mathematics and Computing Technology
(1)
Microsoft Research [Redmond]
(1)
Parallel Computing Laboratory
(1)
Procédés, Matériaux et Energie Solaire
(1)
School of Computer Engineering
(1)
School of Computer Science [Manchester]
(1)
THALES Research \& Technology, Lab. Systèmes Embarqués (Palaiseau)
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Thales Research and Technology [Palaiseau]
(1)
Universitat de Girona
(1)
Visual Information Processing
(1)
Language
Minimize
English
(250)
French
(54)
Unknown or Invalid Language
(1)
Keyword
Minimize
Parallelism
(169)
Parallélisme
(76)
Type of deposit
Minimize
Fulltext
(242)
Notice
(63)
Year
Minimize
2022
(3)
2021
(6)
2020
(11)
2019
(7)
2018
(9)
2017
(8)
2016
(23)
2015
(20)
2014
(11)
2013
(13)
2012
(9)
2011
(14)
2010
(17)
2009
(10)
2008
(16)
2007
(8)
2006
(4)
2005
(3)
2004
(11)
2003
(13)
2002
(11)
2001
(12)
2000
(16)
1999
(12)
1998
(10)
1997
(5)
1996
(7)
1995
(7)
1994
(5)
1993
(3)
1992
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
inria-00071946
v1
Reports
Jens Gustedt
.
Randomized Permutations in a Coarse Grained Parallel Environment
[Research Report] RR-4639, INRIA. 2002, pp.12
inria-00147379
v1
Conference papers
Tawfik Es-Sqalli
,
Jacques Guyard
,
Eric Dillon
.
Using MeDLey for the Grid-Decomposition Methods
International Conference on Parallel & Distributed Processing Techniques & Applications - PDPTA'99
, 1999, Las Vegas, Nevada/USA, pp.1868-1873
hal-02926459
v1
Conference papers
Felipe Rodrigo de Souza
,
Marcos Dias de Assuncao
,
Eddy Caron
,
Alexandre da Silva Veith
.
An Optimal Model for Optimizing the Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Computing
SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing
, Sep 2020, Porto, Portugal
inria-00073201
v1
Reports
Frédéric Boussinot
.
SugarCubes Implementation of Causality
RR-3487, INRIA. 1998
inria-00073406
v1
Reports
Tanguy Risset
,
Florent de Dinechin
,
Sophie Robert
.
Structured Scheduling of Recurrence Equations
[Research Report] RR-3282, INRIA. 1997
inria-00073444
v1
Reports
Luc Renambot
,
Bruno Arnaldi
,
Thierry Priol
,
Xavier Pueyo
.
Towards Efficient Parallel Radiosity for DSM-based Parallel Computers Using Virtual Interfaces
[Research Report] RR-3245, Inria. 1997
inria-00073542
v1
Reports
Luc Moreau
,
Christian Queinnec
.
On the Finiteness of Resources in Distributed Computing
[Research Report] RR-3147, INRIA. 1997
inria-00072747
v1
Reports
Assefaw Hadish Hadish Gebremedhin
,
Isabelle Guérin Lassous
,
Jens Gustedt
,
Jan Arne Telle
.
Graph Coloring on a Coarse Grained Multiprocessor (extended abstract)
[Research Report] RR-3906, INRIA. 2000, pp.11
inria-00072760
v1
Reports
Pascal Fradet
,
Julien Mallet
.
Compilation of a Specialized Functional Language for Massively Parallel Computers
[Research Report] RR-3894, INRIA. 2000
inria-00073648
v1
Reports
Luc Bougé
.
The Data-Parallel Programming Model: a Semantic Perspective (Final Version)
[Research Report] RR-3044, INRIA. 1996
hal-00158869
v1
Conference papers
David Monniaux
.
Verification of Device Drivers and Intelligent Controllers: a Case Study
International Conference On Embedded Software (EMSOFT)
, Sep 2007, Salzburg, Austria. pp.30 - 36,
⟨10.1145/1289927.1289937⟩
hal-00563408
v1
Book sections
Jean-Stéphane Varré
,
Bertil Schmidt
,
Stéphane Janot
,
Mathieu Giraud
.
Manycore high-performance computing in bioinformatics
Laura Elnitski, Helen Piontkivska, Lonnie R Welch.
Advances in Genomic Sequence Analysis and Pattern Discovery
, World Scientific, chapter 8, 2011
tel-00322195
v2
Theses
Sébastien Le Beux
.
Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
tel-00084753
v1
Theses
Guillaume Huard
.
Algorithmique du décalage d'instructions
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
tel-00564899
v1
Theses
Pierre Boulet
.
Outils pour la parallélisation automatique
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
hal-02101776
v1
Reports
Michèle Dion
,
Tanguy Risset
,
yves Robert
.
Resource-constrained Scheduling of Partitioned Algorithms on Processor Array.
[Research Report] LIP RR-1994-19, Laboratoire de l'informatique du parallélisme. 1994, 2+29p
hal-02102017
v1
Reports
Mario Fiallos-Aguilar
,
Jean Duprat
.
A digit-serial divider for fine grain heterogeneous parallel-pipelined processing
[Research Report] LIP RR-1993-26, Laboratoire de l'informatique du parallélisme. 1993, 2+11p
hal-02101901
v1
Reports
Eddy Caron
,
Gil Utard
.
Parallel out-of-core matrix inversion
[Research Report] LIP RR-2002-04, Laboratoire de l'informatique du parallélisme. 2002, 2+17p
hal-02101962
v1
Reports
Mario Fiallos-Aguilar
,
Jean Duprat
.
Some issues on CARESSE, a new heterogeneous fine grain parallel-pipelined architecture
[Research Report] LIP RR-1994-03, Laboratoire de l'informatique du parallélisme. 1994, 2+26p
hal-02102055
v1
Reports
Fabrice Rastello
,
Thierry Dauxois
.
Parallelization of the Numerical Lyapunov Calculation for the Fermi-Pasta-Ulam Chain
[Research Report] LIP RR-2001-42, Laboratoire de l'informatique du parallélisme. 2001, 2+24p
hal-02101759
v1
Reports
Jean-yves Peterschmitt
,
Bernard Tourancheau
.
Trace2au: Audio Monitoring Tools for Parallel Programs
[Research Report] LIP RR-1993-24, Laboratoire de l'informatique du parallélisme. 1993, 2+20p
inria-00071834
v1
Reports
Denis Caromel
,
Ludovic Henrio
.
Asynchronous Sequential Processes
[Research Report] RR-4753, INRIA. 2003
hal-00777293
v1
Reports
Olivier Beaumont
,
El Mostafa Daoudi
,
Nicolas Maillard
,
Pierre Manneback
,
Jean-Louis Roch
.
Tradeoff to minimize extra-computations and stopping criterion tests for parallel iterative schemes
[Research Report] 2004, pp.13
hal-01132037
v1
Journal articles
Joao Vicente Ferreira Lima
,
Thierry Gautier
,
Vincent Danjean
,
Bruno Raffin
,
Nicolas Maillard
.
Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures
Parallel Computing
, Elsevier, 2015, 44, pp.37-52.
⟨10.1016/j.parco.2015.03.001⟩
hal-01082649
v1
Books
Sid Touati
,
Benoît de Dinechin
.
Advanced Backend Code Optimization
ISTE, Wiley
, pp.384, 2014, Jean-Charles Pomerol, 9781848215382
ensl-00551245
v1
Journal articles
Christian Bertin
,
Claude-Pierre Jeannerod
,
Christophe Monat
.
Bringing fast floating-point arithmetic into embedded integer processors
HiPEAC Info
, HiPEAC, 2010, pp.11-12
inria-00128840
v3
Reports
Pierre Boulet
.
Array-OL Revisited, Multidimensional Intensive Signal Processing Specification
[Research Report] RR-6113, INRIA. 2007, pp.24
inria-00615978
v1
Journal articles
Radu Stefanescu
,
Xavier Pennec
,
Nicholas Ayache
.
A Grid Service for the Interactive Use of a Parallel Non-Rigid Registration Algorithm
Methods of Information in Medicine
, Schattauer, 2005, 44 (2), pp.239-43.
⟨10.1055/s-0038-1633954⟩
hal-00931694
v1
Directions of work or proceedings
Kenneth Mcmillan
,
Xavier Rival
.
Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan and Xavier Rival. 8318, Springer, pp.493, 2014, 978-3-642-54012-7
ensl-00532829
v1
Preprints, Working Papers, ...
Claude-Pierre Jeannerod
,
Jingyan Jourdan-Lu
,
Christophe Monat
,
Guillaume Revy
.
How to square floats accurately and efficiently on the ST231 integer processor
2010
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.