Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework.

Pourya Gohari, Geoffrey Nelissen, Jeroen Voeten, Mitra Nasri

Browse the full RTNS paper archive.