MPI-Spin is an extension of the model checker Spin used to verify MPI programs.
Generic System for Data Processing
The Network Security Response Framework (NSRF) allows for testing different computer security response engines and methodologies. It supports simulated and real: Intrusion Detection Systems (sensors), Attacks, and Responses.
This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).
Quantitative Equity Portfolio Management Code Library: OS independent and cross-compiler compatible library in C/C++ used to support investment strategies.
* 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
state machine, active object and reactive system framework.
This project implements a hierarchical state machine and active object framework, and a reactive system application framework based on it. Also , this project provides corresponding auto-coding tools.
An framework to allow developers to create modular applications from smaller, special-purpose programs. Access the API to communicate between processes in a structured system. Highly configurable, security a central theme, extensible, expandable.
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.
Stochastic parameter sensitivity analysis for chemical networks
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 package includes basic stochastic simulation algorithms. The package includes several example networks which can be easily modified for other networks. Serial and parallel MPI implementations can be built and called from the command line. The serial implementation of the package can also be called from Matlab via the MEX interface with limited functionality. It supports many user specified options, including the use of antithetic sampling that can be used in some cases to increase efficiency.
Live Music Compositor learning base on TPG
This android app is producing music and partition sheets in real time. Furthermore, the AI module can be activated and be trained to learn you prefered style and play it. You can also team play your music with the interconnect mode. Finally, move your phone like a 'chef d'orchestre' and see how it changes the music...
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
UML StateWizard provides a cross-platform state-oriented framework with good visual and lexical presentation. Also it is a full-featured UML tool, which runs in Visual C++.
Users-Grid is a true virtualized infrastructure for Grid computing which provides computing power transparently. Its defining feature is automatic or seamless job submission. It enables existing software or applications to run on the grid.
This project aims to model parasites in order to assist in the analysis and prediction of their behavior.
The 3d Default: One computer room, a utility room, and living space, optional outdoors. The computer room should simulate. Utility-room: 3d-designed actions. Living space for designs andor avatar use.
Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
The fastest XML/HTML/XHTML tag parsing library, it is suitable in the case you don't need all the features of a complete tag parsing. Allows the most basic input from an XML source and can automatically parse doctype entites.
This source is used to build a static flow diagram on a 80386 (or before) DOS executable
Yakindu Statechart Tools (SCT) is an Open-Source-Tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
Anogram is a flow-based, dynamic system development environment.
ansible is a research framework for developing neural networks, written in Python. ansible provides three basic capabilities; a UI server; network statistics for system analysis; and a 3-layered network processing architecture.
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.
Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.