No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Start Free
Build Securely on Azure with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
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
JavArch is a simple gate-level and above simulator. It is written in Java so it is portable and uses Java's builtin event-driven mechanisms to reflect how electronics actually work.
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.
The GPS Simulator simulates a GPS receiver which emits NMEA sentences over Bluetooth. It can be used to test location based applications on real mobile devices, in particular on mobile devices which have a JSR 179 implementation based on a connected GPS.
hive provides a component-oriented plugin-based framework and a GUI system for distributed computing. Please look at the project website for more detailed informations.
This project is A Mitochondrial OxydoReduction Simulation System. It consists of two linked projects: a program for displaying and analysing large biomolecular systems (Floral) and a multi-agent simulator for biomolecular oxydoreduction systems (AMORSS).
Simulates and visualizes swarming algorithms with limited communication. Also provides an interface to animate particle motion by playback (with pause, fastforward, and rewind) of path information from files. Can output EPS figures and avi frames.
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.
JPhysChem - a mathematical modeling toolbox designed to provide an abstract layer and a comprehensive graphical front-end for general model building and specific modeling and data processing in the field of mass spectrometry and physical chemistry.
EcoMod is an OpenGL application for 3D modelling, simulation and visualization of ecosystems. Trees are modelled and used within simulation to render the emerging natural phenomena of spontaneous afforestation process. Multidisciplinary.
The VSC_module is a plug-in to the commercial groundwater flow simulation with FEFLOW (Finite Element Flow System). The VSC_module is specialised on wetlands, and realises a variable storage coefficient for saturated transient flow.
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.
edef - A small simulation framework for logic circuits, autoregressive processes, digital controller circuits and many more. Also there is a GUI application, that integrates a simple development environment and a circuit editor.
Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form).
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.
Qspline does quaternion interpolation such that the quaternion and angular rate and acceleration vectors are continuous functions of time, while maintaining quaternion normalization.