Bielecki, W.; Siedlecki, K.
(Электронное моделирование, 2007)
Algorithms, permitting us to find sources of synchronization-free slices of perfectly nested uniform and non-uniform loops, are presented. Sources extracted are to be used for creating synchronization-free-slices that can ...