-
L'anaphore au sein des " configurations syntactico-discursives "
International audience -
A generic and parallel pattern mining algorithm for multi-core architectures.
In the pattern mining field, there exist a large number of algorithms that can solve a large variety of distinct but similar pattern mining problems. This variety... -
Study and implementation of a domain decomposition method for the modelisatio...
The major part of freshwater comes from sub-surface resources. Our work fits in a process to protect this vital resource, based on modelisation and numerical... -
Parallel Arithmetic Operators for Asymmetric Cryptography
Protocols for asymmetric cryptography require arithmetic computations in several mathematical structures. In particular, many of them need computations in finite... -
Rapid visual categorization of natural scenes: limits of parallelism and spec...
This thesis focuses on the fast processing of visual information in natural scenes. It hinges on 2 chapters<br />both containing a review of the literature and... -
Cellular automata as a model of parallel complexities
The intended goal of this manuscript is to build bridges between two definitions of complexity. One of them, called the algorithmic complexity is well-known to any... -
Design methodology for virtualization and deployment of parallel applications...
Auto-adaptive applications, changing their behavior depending on environmental interactions, are a centerpiece of future computing systems. Moreover, the use of... -
Schlick et le parallélisme psychophysique
This dataset has no description
-
Design of a Software Environment for the Online Visualization and the Computa...
mention très honorable -
Parallel and distributed high-level colored Petri net model checking
This thesis enters in the frame of the automatic verification of concurrent software based on an intermediary formal language : high-level colored Petri nets. We... -
Optimization of memory management on distributed machine
In order to explore further the capabilities of parallel computing architectures such as grids, clusters, multi-processors and more recently, clouds and multi-cores,... -
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
The goal of this thesis is to design algorithms that run with better complexity when compiling or parallelizing loop programs. The framework within which our... -
Bioinformatics Sequence Comparisons on Manycore Processors
Searching similarities between sequences is a fundamental operation in bioinformatics, providing insight in biological functions as well as tools for high-throughput... -
Performances de la Librairie de Squelettes Algorithmiques SkelGIS
National audience -
Vers des stratégies de calcul performantes pour les problèmes multiphysiques ...
En calcul de structures, la simulation de la réponse de structures complexes, et dans une encore plus grande mesure, l'optimisation vis à vis de paramètres de plus en... -
Source-to-source transformations for irregular and multithreaded code optimiz...
In this dissertation, we show that source-to-source optimization is an efficient method to generate a high performance program for irregular and heterogeneous code... -
Instructions shifting algorithmics
The constant evolution of processors architectures, with superscalar, instruction-level parallelism, prediction and speculation capabilities and the multiple number of... -
Fast Deployment of a Commodity VR Cluster
Mise en oeuvre d'un environnement de réalité virtuelle piloté par grappe de PC -
Efficient parallel dynamic load balancing for very large numerical problems
This thesis concerns efficient parallel dynamic load balancing for large scale numerical problems. First, we present a state of the art of the algorithms used to solve... -
Indexation dans les espaces métriques Index arborescent et parallélisation
The efficient indexing and searching of complex data is an increasing need in order to face the size and diversity of current databases. We introduce a tree-based...
