Has title
From LRDE
O
Optimization of an image processing library +
Optimization of the Product Configuration System of Renault +
Optimizations in the Tiger Compiler +
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes +
Outils pour la dématérialisation dans SCRIBO +
P
PAIP 2019: Liver Cancer Segmentation Challenge +
PaInleSS: a Framework for Parallel SAT Solving +
Parallel Climb +
Parallel Computation of Component Trees on Distributed Memory Machines +
Parallel Explicit Model Checking for Generalized Büchi Automata +
Parallel Learning Portfolio-Based Solvers +
Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
Parallel approach for the computation of the tree of shapes on n-dimensional images +
Parallelism and Indexation in Quickref +
Parallelization in a generic image processing library +
Parallelizing Quickref +
Parallélisation dans une bibliothèque de traitement d'images générique +
Parallélisation de Climb +
Parallélisation et Indexation de Quickref +