Section: New Software and Platforms
OpenOrdo
OpenStream scheduler
Functional Description
Finding polynomial schedules for the streaming language OpenStream. Main use: detecting deadlocks.
OpenStream scheduler
Functional Description
Finding polynomial schedules for the streaming language OpenStream. Main use: detecting deadlocks.