-
Vers un calcul fiable de l'intersection de quadriques
Stage de DEA. Rapport de stage. -
Certificated and Efficient Solver for Intersection of three quadric surfaces
Stage de troisieme année du Indian Institute of Technologie, Kanpur. Rapport de stage. -
Network Oriented Application Harmonisation
. Rapport de contrat. -
A Weakest Oracle for Symmetric Consensus in Population Protocols
We investigate the fundamental problem of (terminating) distributed consensus in a challenging environment of large resource-limited mobile sensor networks. Namely, we... -
Acquisition, modélisation et représentation de connaissances pour le raisonne...
Stage de DEA. Rapport de stage. -
Modélisation et Simulation d'une architecture distribuée communicante à l'aid...
Rapport de contrat. -
Distance segment visibility graphs
Rapport interne. -
Distributed Universality: Contention-Awareness, Wait-freedom, Object Progress...
A notion of a universal construction suited to distributed computing has been introduced by M. Herlihy in his celebrated paper "Wait-free synchronization" (ACM TOPLAS,... -
On the mortality problem for matrices of low dimensions
Rapport interne. -
On the complexity of recognizing decomposable perfect graphs
Rapport interne. -
A Data-Parallel Implementation of the Gauss-Seidel Iteration Method Applied t...
En préparation pour soumission à PPL.. Rapport interne. -
Speeding up the inversion of power series
Rapport interne. -
A space optimal algorithm to solve a problem
Rapport interne. -
A monotone lambda-calculus: the example of ordinal terms
Rapport interne. -
Les outils d'administration de données
Rapport interne.
