2 citations · 2 across the 3 of their papers we have counts for
4 papers
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm
Franck Butelle, Christian Lavault, Marc Bui
We present a uniform self-stabilizing algorithm, which solves the problem of distributively finding a minimum diameter spanning tree of an arbitrary positively real-weighted graph.…
A Distributed Algorithm for Constructing a Minimum Diameter Spanning Tree
Marc Bui, Franck Butelle, Christian Lavault
We present a new algorithm, which solves the problem of distributively finding a minimum diameter spanning tree of any (non-negatively) real-weighted graph . As an int…
A Model for Coherent Distributed Memory For Race Condition Detection
Franck Butelle, Camille Coti
We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations, r…
Formal Proof of SCHUR Conjugate Function
Franck Butelle, Florent Hivert, Micaela Mayero +1
The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie groups and s…