Search Results for "school terminal report"

halogenOS test builds (release builds are just a leftover) The test builds and modules are supposed to be only used by our testers. But if you are not a tester, and use these builds anyways, don't expect support if you get problems. You can report the bugs, but you have to be experienced enough to know how to revert back to a working state and how to report bugs and provide logs.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

Command line tool written in Java, that automaticly unpacks (password protected) RAR-Archives or multi-part RARs, if all belonging files are complete. It is designed to do unrar jobs on Linux-based NAS-Devices when downloading from Rapidshare & co.

It is a Process Monitoring Toolkit with the ability of Extend. E.g. You can use it to monitor a specified process. And set a triger like (over 50MB mem use) then do something like (report to DB).