Search Results for "concurrent"

popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known...

Jafaran (Java Fast Random) provides fast, and for some more random, implementations of java.util.Random, with additional nextXXX() methods, and methods to retrieve and restore state. The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm.

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.

libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported.

ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.

The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it!

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD

Concurrent version of the Life-like cellular automaton written in Erlang. Infinite board, flexible rules, color cells.

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Concurrent Modules for GNU Octave is a framework to help developing modular extensions to Octave. Modules run in separate threads and a timer module is provided as example. It is also the basis of Octave GUI Module that will give Octave GUI capabilities.