"Maui Cluster Scheduler"@en . . . "Maui Cluster Scheduler is a job scheduler for use on clusters and supercomputers initially developed by Cluster Resources, Inc.. Maui is capable of supporting multiple scheduling policies, dynamic priorities, reservations, and fairshare capabilities.It improves the manageability and efficiency of machines ranging from clusters of a few processors to multi-teraflops supercomputers. Maui is available for use and modification for non-commercial usage."@en . . .