Search Results for "computer-aided software engineering" - Page 9

GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

GemSIM is a software package for generating realistic simulated next-generation sequencing reads with quality score values. Both Illumina and Roche/454 reads (single or paired end) can be simulated using appropriate empirical error models.

Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this...

The Lightweight Integrating Multiphysics Environment for coupling codes (LIME) is a small software package for creating multiphysics simulation codes. LIME is intended to be especially useful when separate computer codes (which may be written in any standard computer language) already exist to solve different parts of a multiphysics problem. LIME provides the key high-level software (written in C++), a well defined approach (with example templates), and interface requirements to enable the assembly of multiple physics codes into a single coupled-physics simulation code. ...

TRMSim-WSN (Trust and Reputation Models Simulator for Wireless Sensor Networks) is a Java-based simulator aimed to test Trust and Reputation models for WSNs. It provides several Trust and Reputation models and new ones can be easily added.

The software is related to the PhD thesis of Zoltán Farkas, used to simulate work distribution and processing in hierarchical desktop grid systems.

Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.

The Mobile Impairment Simulation tool is targeted to mobile application developers who want to simulate either effects of visual impairment (e.g. blurred vision) or impact of physical environment (e.g. reflection of objects on the display).

Tina's Random Number Generator Library (TRNG) is a state of the art C++ pseudo-random number generator library for sequential and parallel Monte Carlo simulations.

The Global Epidemic Simulator is a platform for modelling directly transmissible human diseases such as influenza, and testing intervention policies that may reduce the duration or severity of an outbreak of such a disease. Building on previous work, this model is spatial and individual-based, using various geographical and demographic data sources to place households at absolute locations, populated with individuals of specific ages who each attend schools or workplaces situated in their...

DIFFR is a menu-driven graphical software whereby the problem of a plane wave diffraction on a rough surface can be solved using several numerical and approximate methods.

CUDA-SPHERE-FWD-MEEG is a CUDA C based toolkit which provides a GPU based implementation of the spherical model forward solution for the 306 channel Elekta Neuromag MEG system and the EEG. The 1-Sphere forward solution for the MEG and the 4-Sphere forward solution for the EEG is implemented in CUDA C and an accelerated solution is obtained using the NVIDIA GPU when the solution is calculated for a large number of dipoles (on the order of 15000 and above) and sensor locations. Speedup by a...

Celeste is a tiny and simple Cellular Automata simulator written in Java. It is a command line application that writes an image of each simulation step. Celeste was designed to run Conway's Game of Life but other rulesets can be implemented as well. It is released under the extremely permissive WTFPL.

***** Discontinued (may still work but will not be updated and supported anymore) ***** This extension connects the simulation platform NetLogo with the statistical analysis software R via Rserve. It adds some new primitives to NetLogo, which offers the interchange of data with R and the call of R functions from NetLogo. See the documentation for more details. There is a similar extension, which use a direct connection to R via rJava/JRI, see http://r-ext.sourceforge.net. This...

PyBact is an open source software written in Python for Bacterial Identification. The software generates simulated data matrix which accurately represents the probabilistic positive/negative results of the tested biochemical test.

This project is based on a personal effort for researches on dynamics of coevovling networks. As a physicist, I am trying to build a framework for discrete-time dynamics of general networks, and its software libraries with APIs.

Footballer and Football Simulation Markup Language and related Software, Football(er) Simulation Markup Language = FerSML

OpenBioGeoSim it's a open source software that simulates the stochastic origin and spread of species geographic ranges in a heterogeneous landscape. It's a free alternative based on Gary Entsminger's BioGeoSim.

libCL is an open-source library for high performance computing in OpenCL. The goal is to provide a comprehensive repository of parallel algorithms and data structures for visual-centric computing.

Software for optimization of multi modal, multi dimensional functions based on SOMA algorithm. Program is implemented on top of hadoop, and is especially well suited for functions with high computational times because of its distributed nature.

This open source software benchmarks the queries per second of an Apache Lucene index. It is an Java implementation and uses MultiFieldQueryParser to form a query.

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

DASM is a new simple platform which helps programmer to implement and evaluate any distributed algorithm. Programmer can implement his/her distributed algorithm using DASM primitives and monitors the results in diagrams during execution.

Synthetic Biology Software Suite (SynBioSS) is composed of a wiki for biochemical kinetic constants, a graphical interface for simulating synthetic biological pathways, and a simulator that runs on either a desktop or supercomputer.