Search Results for "algorithms framework"

An online edition of the book "The Practice of Parallel Programming" and examples from it. The examples include a parallel programming framework of production quality, that has been used in another project, Triceps.

S-Match is a semantic matching framework. S-Match takes any two tree like structures (such as database schemas, classifications, lightweight ontologies) and returns a set of correspondences between those tree nodes which semantically correspond to one another. S-Match contains implementations of the semantic matching, minimal semantic matching and structure preserving semantic matching algorithms.

TraSim is a simple framework for the development of traffic algorithms, and the observation of their behaviour. It comes with an algorithm that handles traffic lights dynamically, based on the presence of cars and pedestrians. Both cars and pedestrians can be spawned randomly; however, user interaction is also supported for both entities (e.g. to control destination, crossing decisions).

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

The "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) automatically manages experiments with input generator and algorithm plugins. It already contains some generators and algorithms for graph and scheduling problems.