Search Results for "code framework"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.

...The CalM scripting language lets you define your own functions and variables. These may be exported and used in other scripts. The scripting framework supports a component type called MComp (Math Component). MComps are implemented as Java classes and allow further extension to the scripting language. Please visit www.calclipse.com for more information about CalclipseMath and other Calclipse products.

LAMA is a framework for developing hardware-independent, high performance code for heterogeneous computing systems. It facilitates the development of fast and scalable software that can be deployed on nearly every type of system with a single code base. By using LAMA for their application, software developers benefit from higher productivity and stay up to date with the latest hardware innovations, both leading to shorter time-to-market.

The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA...

Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca

JEXP is a small Java framework for the evaluation of expressions parsed from text strings. The code generated by JEXP executes very fast and has a small memory footprint.