Search Results for "zabbix-4" - Page 19

PIMC++ is a code designed to perform fully-correlated simulations of quantum systems in continuous space at finite temperature using Path Integral Monte Carlo. It is designed in a modular way to facilitate easy addition of new algorithms.

ODog

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org

ComLinC (a COMmunications Library IN C programming language), a C library for communications research and simulation. It's based on GSL. ComLinC aims at providing elegent, fast functionality to the frequently encountered problems in communications area.

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and...

OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)

SpiNet is a neural simulation tool for large spiking networks with highly heterogeneous synapses. Neurons are modelled as I&F units with dual exponential synaptic conductances. Complex network models can be easily built using the included tool NetBuilder

FSEM is a set of freeFEM++ scripts and C++ code to solve the drift-diffusion (DD) semiconductor device equations by the finite element method (FEM). It was initially developed for the nonlinear study of semiconductors under high optical injection.

Neurofitter is a parameter tuning package for electrophysiological neuron models. For more information please take a look at http://neurofitter.sourceforge.net

libLCS is a hardware description library in C++ aiming to be as powerfull and easy as the Verilog HDL. It currently supports logic gates, flipflops, clock, and facilitates delays, continuous assignments and variable value dumping into VCD files.

WaVeSim (Water Vehicle Simulator) is a simulation environment to test water vehicles' on-board software. It simulates surface and underwater vehicles' dynamics and acoustic signal propagation. Virtual sensors and 3D visualization system are available.

This software enable cannabis grower to manage and retrieve statistics about culture, tools included have the goal to help growing indoor cannabis.

Microchip's PIC simulator. Simulates a circuit with dispositives as a P16F84 microcontroller, LEDs, displays and LCDs. Extensible with plugins.

ABPS - Advanced Branch Prediction Simulator - allows: branch prediction simulation using multiple predictors (GAg,PAg,PAp,GShare,Perceptron) and detection of unbiased branches. Results can be seen using charts. Used benchmarks: Stanford, SPEC2000, CBP2.

TAROT is a easy-to-use framework for Monte Carlo simulations in python. Calculations between different kinds of randomly distributed numbers are made as easy as basic arithmetics. Tarot provides an interactive graphical interface for interpretation.

This program reads the output traces of MITSIMLab and converts them into a format which can be read and visualized by Ns 2.

A 64-bit clean (hopefully!), portable, object oriented library of tightly integrated low-level classes, templates and functions targetting realtime multithreaded applications such as midi sequencers, audio synthesisers, games and simulations.

Middlesim is a light-weight HLA simulation middleware framework. Providing relief from many of the annoying programming “features” of the HLA, it provides a simplified API that is both concise and easy to use.

Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.

Java Expert Rule Based Inference Language. Jerbil is an open source rule processing engine written in Java. Currently Jerbil supports a full set of processing functions with text-based and XML interfaces; a Java interface is planned.

YAVISTA is a visualization tool making the debugging and the understanding of the MANET simulators 802.11 MAC layer easier thanks to a timeline representation. It works with NS-2 and Glomosim.

A library of data objects that simulate mathematical neurons, including classic Hodgkin-Huxley neurons and theta neurons.

3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines.