Search Results for "research" - Page 64

A Finite States Machine (FSM) implementation in Ada.

simplus is c++ library for constructing event driven simulations with a virtual time. Use it e.g. for telecomm., engineering, traffic simulations or simulation based games. It is lean, fast and portable and easily scales to millions of simulated objects.

Anogram is a flow-based, dynamic system development environment.

This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.

Weeno is an software-only extension of Wiring / Arduino for potentially all and any Atmel AVR MCUs. And potentially all chip architectures from all companies, whether Freescale, SiLabs, TI, even ARM. Basically, the goal is to make AVR-Weeno, ARM-Weeno, 8

Neural - is neural network engine with object-oriented design. Features: - Supports: backpropogation, RPROP algorithms. - Flexible input/outputs framework. - Distributed calculations.

Open extensible system analysis report tool for Java, based on numerous open source analysis initiatives. The XML/XSL batch-processing framework produces integrated HTML/SVG reports of the systems current state and the development over time.

New computer science theory. OO databases generated with TROM are as relational and normalised as you specify. Predefine queries to be executed at the click of a button, or enter ad-hoc SQL statements. TROM is the future of OO relational databases.

MATmute is a MATLAB code mutation system targeted at developers of scientific software. The package includes a mutator, a MATLAB function to call the mutator and run the mutants, and some examples to demonstrate how to use the system.

With FlexMT each flex program can be easily equipped with multi-touch operation. FlexMT supports symbolic and direct gestures like dragging, rotating or scaling and uses TUIO for touch detection. FlexMT is part of a Tabletop-Project at the FH-Trier.

An open-source configurable virtual testbed (based on the Eucalyptus cloud platform) for Intrusion Detection System Evaluation.

This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

TuBa, the Turorial Base, is an environment for creating developer tutorials with support of elucidative programming (EP). Unlike other EP-systems it is able to handle all artefacts, that appear in a development process.

FastFreeTextSearchFiles (fastfreetextsea) is a external, internal hard disk, USB flash pen, file indexer for Fast Free Text Search.

bc2ld is a command line tool to translate molecular database files from BASECOL (obs. of Paris) to LAMDA format (Leiden University). This command line tool has academic use purposes.

AVL Array is a sequence container (like std::vector or std::list) that allows fast insert/remove AND fast random access. Shiftable Files offers the usual file primitives plus fast insert/remove. Get the latest version via BZR in the Develop section.

WebAPSEE is an open source project which aims to provide automated support for software process management. The users list is: http://groups.google.com/group/webapsee-usuarios

Spyse is a software framework for building multi-agent systems. It allows Python developers to build distributed intelligent systems of multiple cooperative agents based on FIPA, OWL, SOA and many others. Spyse is designed for ease-of-use and fun.

A Simple and Efficient Framework for Infinite Resolution Simulation; provides a Java Thread-like class that executes over simulated time. Time units are user-definable, no time quanta, and neither changes to the VM nor pre-processing are required.

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.

UGL is Java to OpenGL adapter library: designed to be used in scientific applications; works on wide range of host systems: Windows, Linux, Solaris, AIX, IRIX, HP-UX and Mac OS X; supports Java from 1.1.8 to 1.6

Alef++, is a new programming language like Perl and Lisp syntax, with a many changing in classical languages designs, her specification designed to be implemented for any VM, by default can access to any private/protected/default Java fields or methods.

The **libmsgque** project is an infrastructure that allows multiple package-items to be linked together to act as one application. To link, you need to distribute the work from one package-item to another package-item and wait for an answer or not. > Philosophy: Write Once → Run Everywhere The package-item can be a thread, a separate local process that is started by fork or spawn, or even a network of multiple services on multiple hosts. The package-item can be written in any...