Search Results for "linear program solver"

...BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml.

Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped.

...This version does not run on Intel Macs, and is not intended to run under Rosetta (use mainline DOSBox or Dominus' SVN builds instead). Suggested settings are included as a Preferences file. You should copy this to ~/Library/Preferences/DOSBox SVN Preferences before starting the program. All versions are built using Xcode 2.5 with -O3 -fsched-interblock -ftree-loop-linear. The G5 version has additional flags for better performance on the 970. All versions include SDL 1.2.15 and libpng. There is no support for this or any SVN build of DOSBox. These builds are provided strictly as a convenience and you use them at your own risk. ...

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

Changelogs: v9 -- Fixed MSCONFIG flooding bug v8 -- Added Adv Control Panel v7 -- Added keepsafe directory secure v6 -- Improved update system v5 -- Added sudoku solver v4 -- Added initializing screen v3 -- Display current version in main menu v2 -- Fixed netplwiz bug v1 -- New build

Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.

Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.

This program parallelizes the BZIP2 compression process to achieve a near-linear performance increase on SMP machines. On a two-processor Xeon machine, the speedup is around 180%. The tool's main purpose is to aid performing heavy-duty server backup