Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
wtime is a small console program runs another program, then displays information about the resources(time/memory/IO) used by that program, collected by the system while the program was running. It works like 'GNU time', but is under Win32.