The Maui Scheduler is a tool to to extend the capabilities of existing resource manager systems such as PBS, SGE, Loadleveler, and so forth. It provides powerful tools for managing and optimizing clusters systems and features to enable effective use of t
Banshell is a tool to scriptably execute commands on a remote machine. It was designed with the goal of increasing security by only allowing a specified set of commands to be executed.