Search Results for "b-processor"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

... version and processor type. The Docker images, used to run training & inference jobs, are built from both corresponding "base" and "final" Dockerfiles. The "base" Dockerfile encompasses the installation of the framework and all of the dependencies needed. All "final" Dockerfiles build images using base images that use the tagging scheme.

DD Thought Tickler is a thinking process recorder. It is a kind of vector graphics editor and idea processor. It has new function not ever known. It records your thinking process, by memorizing every steps that you've operated on this tool.

Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files.

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY

The MuDiSP3 is a set of C++ classes acting as a framework for the execution of Digital Signal Processing (DSP) simulations. The entire simulated system is represented by a "System" class which inherits his properties from a general purpose DSP. The user c

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.

Automates the creation of EMF model adaptors. A model conforming to a metamodel A can thus be "seen" by a tool as a model conforming to metamodel B.