18 citations · 34 across the 8 of their papers we have counts for
1 paper · 1 filter
Renaud Sirdey, Pascal Aubry
In this paper, we present linear programming-based sufficient conditions, some of them polynomial-time, to establish the liveness and memory boundedness of general dataflow process…