degas (discrete event GNU advanced scheduler)

Download [degas.tar.gz] - 5K source + build script

Download degas paper [PDF]