12 citations · 23 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 3 cited
The Combinatorics of Barrier Synchronization
Olivier Bodini, Matthieu Dien, Antoine Genitrini +1
In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executi…
cs.DS2019
Binary Decision Diagrams: from Tree Compaction to Sampling
Julien Clément, Antoine Genitrini
Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common…