The DSDP software is a free open source implementation of an interior-point method for semidefinite programming. It provides primal and dual solutions, exploits low-rank structure and sparsity in the data, and has relatively low memory requirements for an interior-point method. It allows feasible and infeasible starting points and provides approximate certificates of infeasibility when no feasible solution exists. The dual-scaling algorithm implemented in this package has a convergence proof and worst-case polynomial complexity under mild assumptions on the data. Furthermore, the solver offers scalable parallel performance for large problems and a well documented interface. Some of the most popular applications of semidefinite programming and linear matrix inequalities (LMI) are model control, truss topology design, and semidefinite relaxations of combinatorial and global optimization problems.

Static analysis data is, well, awesome! However, there's a problem of suffering from 10,000 different schemas, and unique ways of communicating the results.

Dynamic simulation of solids processes, is a dynamic flowsheet modelling system designed to simulate the time-dependent behaviour of complex production processes in solids processing technology

This is the GNU Go compiler for the arm-linux-gnueabi architecture, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

Like other full-featured batch systems, HTCondor provides a job queueing mechanism, scheduling policy, priority scheme, resource monitoring, and resource management. Users submit their serial or parallel jobs to HTCondor; HTCondor places them into a queue. It chooses when and where to run the jobs based upon a policy, carefully monitors their progress, and ultimately informs the user upon completion.