Search Results for "tiny-core-plus" - Page 4

1/ WCA interprets a file containing the definitions of variables and expressions to be analysed, computes the worst case analysis, and prints the results. 2/ WCADB extends MathCAD to perform Monte-Carlo W.C.A. based on drifts taken from an external database.

That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.

lilpM32 is a MIPS-like processor designed in Logisim, assembler program and documentation for them. Complete assembler and fully functional instruction set with I/O and subroutines features allow to write full-blown complicated programs.

ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization. ACADO Toolkit is implemented as self-contained C++ code and comes along with user-friendly MATLAB interface. The object-oriented design allows for convenient coupling of existing optimization...

Over 75 C++ function for working with vectors, matrix and quaternions. Inside the package there is no cycles, if's, classes or structures. Ideal for designing 3D engines. Headlines of functions are intuitive. For each headline there is a one line comment in Russian. Matrix are presented in OpenGL form 0 4 8 12 1 5 9 13 2 6 10 14 3 7 11 15 Now we are working on adding 50+ more functions for processing the planes, splines, bezier curves and interpolation methods.

Penacho calculates and draws the gas dispersion of a smokestack in the atmosphere. The plume evolution and the pollutant concentration distribution over the surrounding area can be seen in an interactive 3D graph.

Wavefront is a programme for simulating 2D acoustic systems, with a particular emphasis on determining wavefront shapes at the mouths of horns. It accepts CAD drawings in DXF format and produces animated displays of wave propagation as well as exporting various data as text files. It is GPL software and runns on Linux and Windows.

Create phyiscal simulations easily through IPSA which combines the OpenInventor 3D API with the Open Dynamics Engine (ODE). Scenes are read from .iv files and simulated in the supplied viewer applications. Find it at: http://ipsa.sourceforge.net

representation by relations vs data storage. pile unifies the contradicted qualities of tables/trees (databases) and complex networks, order and flexibility. dynamical data generation on call. fast. natively compressing similarities. search across scopes.

A open platform for the design space exploration of a paramerized architecture based on a EPIC/VLIW core. It includes area, power and performance estimators and the implementation of several exploration algorithms presented in literature.

The Virtual Geoscience Workbench for discontinuous systems is a computer software environment for modelling. We have made the combined Finite-Discrete Element Method (FEMDEM) the core of our solids technology.

The sunflower library provides programming abstractions developed at the Autonomous Systems Lab http://www.asl.ethz.ch/. It contains a complete path planning and obstacle avoidance system, common mobile robotics tasks abstractions, and a 2D simulator.

xswifs stands for: cross SoftWare Interfaces. This project provide examples (snippets) for interfacing various software tools and languages with various mechanism. It has been created to help in HW/SW co-simulation and to provide benchmarks.

AODV-UU is an implementation of the Ad hoc On-demand Distance Vector routing protocol (IETF RFC 3561). It runs in Linux and ns-2 and was initially created at Uppsala University, hence the UU-suffix.

lib_3d_mec_ginac is a library for symbolic multibody system dynamics. It can be used standalone, although it will be the kernel substitute of future version 3.0 of 3d_mec (http://www.imac.unavarra.es/3d_mec).

Headrand is a static library wrote in c that contains functions to simulate complex systems or make statistical analysis with a new approach called "random function computing"

breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.

All pairs n-body simulation of electromagnetic forces on charged particles, adapted from Nvidia SDK 3.2 sample. Uses Lorentz force from EM fields via the Biot-Savart law for moving charged particles (uses relative velocity). Relativistic.

A text-mode simulator for the original 12-bit, 4K core memory PDP-8 desktop computer.

Braincirc is an open source modelling environment for building and sharing models. It is designed for UNIX-like systems, and is particularly appropriate for biological/chemical models. Below is the latest release with some SBML support.

This is a set of tools for simulating fusors/IEC devices in their various forms.

The SBML ODE Solver is a command-line tool and programming library (ISO/ANSI C) for construction and numerical integration of an ODE system, derived from an SBML based description of a biochemical reaction network. Development has moved to https://github.com/raim/SBML_odeSolver . Please download the latest version from there!

Plouf is a set of algorithms that solve partial differential equations on sets of connected points. Emphasis is on fluid mechanics and plasma flows.

SuSim stands for Sukhoi Simulator. It is a multipatform flight simulator developed to implement the most simplistic but realistic flight dynamic simulations possible, targeted in the first place to mimic the behaviour of the Su-27 Flanker.

Knitter produces a 3-dimensional model of a knitting pattern. It supports KnitML, as well as a native language similar to that of traditional knitting patterns.