Has title
From LRDE
O
On coercion in Context-Oriented Programming +
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson +
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson +
On the Usefulness of Clause Strengthening in Parallel SAT Solving +
On the security of quantum networks: a proposal framework and its capacity +
On-the-fly Emptiness Check of Transition-based Streett Automata +
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures +
Optimisation d'une bibliothèque de traitement d'images +
Optimisation en Common Lisp et son application à Climb +
Optimisations dans le compilateur Tiger +
Optimization in Common Lisp, and its application to Climb +
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 +