Search Results for "c programming framework"

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.

PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.

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.

The software resents an executable specification language based on deterministic finite automata, this allows the user to perform tests of word recognition in the state machines that are defined by it. Moreover, it’s possible for the user to assign snippets of code to be executed every transition automaton, these snippets can be described in Lua or PHP programming language. To test that were conducted in the language, was developed a compiler that recognizes words and generates object code.

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.

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.

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

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.

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

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++.

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.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.