-
PaMPA: Parallel Mesh Partitioning and Adaptation
International audience -
On Randomness in Hash Functions
International audience -
Efficient algorithms for highly compressed data: The Word Problem in Higman's...
International audience -
The FCTOOLS User Manual (Version 1.0)
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common... -
A Probabilistic Analysis of Some Tree Algorithms
In this paper a general class of tree algorithms is analyzed. It is shown that, by using an appropriate probabilistic representation of the quantities of interest, the... -
On-line construction of position heaps
International audience -
Product Quantization for Nearest Neighbor Search
International audience -
An integrated approach to read analysis
International audience -
CRAC: A multi-purpose program to analyse large read collections
National audience -
Towards sustainable intensive computing kernels
This thesis addresses the challenges of developing multitarget code - that is to say, codes whose performance is portable across different hardware targets. We... -
Connectivity Inference in Mass Spectrometry based Structure Determination
International audience -
On improving the ease of use of the software transactional memory abstraction
Multicore architectures are changing the way we write programs. Writing concurrent programs is well known to be difficult task. Traditionally, the use of locks... -
Parameterized and Exact Computation7th International Symposium, IPEC 2012, Lj...
International audience -
Data Structures with Dynamical Random Transitions
International audience -
Partially persistent search trees with transcript operations
International audience -
Hybrid video quality prediction: reviewing video quality measurement for wide...
International audience
