-
Labeling of data-driven complexes for surface reconstruction
This thesis introduces a new flexible framework for surfaceconstruction from acquired point sets. This framework casts the surface reconstruction problem as a cells... -
A BSP algorithm for on-the-fly checking LTL formulas on security protocols
International audience -
Using BSP and Python to simplify parallel programming
Scientific computing is usually associated with compiled languages for maximum efficiency. However, in a typical application program, only a small part of the code is... -
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
International audience -
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-...
This thesis takes part in the formal verification of parallel programs. The aim of formal verification is to ensure that a program will run as it should, without...
