Search Results for "analysis"

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.

* 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

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

SPSens is a complete software package written in C that estimates parameter sensitivities for stochastic models of chemical and biochemical reaction networks using Monte Carlo (MC) stochastic simulations. It is possible to estimate sensitivities with respect to system parameters using the following algorithms: finite difference methods (crude monte carlo, common reaction path, coupled finite differences); likelihood ratio methods; and regularized pathwise derivatives. Additionally the...

This project aims to model parasites in order to assist in the analysis and prediction of their behavior.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.