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
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Graphical Interface for Medical Image Analysis and Simulation
GIMIAS is a workflow-oriented environment for solving advanced biomedical image computing and individualized simulation problems, which is extensible through the development of problem-specific plug-ins. In addition, GIMIAS provides an open source framework for efficient development of research and clinical software prototypes integrating contributions from the Physiome community while allowing business-friendly technology transfer and commercial product development.
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and VisualBasic.
math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
...MCloudSim has following characteristics:
(1) The overlay protocol can be freely replaced, and we have already ported Pastry, Kadmelia, Chord from PeerSim;
(2) A Petri-Net workflow theory based task model is implemented to simulate distributed tasks;
(3) A distributed cloud can be easily built by assembling and expanding the basic resource entities provided by the simulator.
(4) ...
If you have any questions, please contact nova@dsp.ac.cn.
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.