18 citations · 51 across the 11 of their papers we have counts for
1 paper · 2 filters
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads exe…