Search Results for "real time software"
Sort By:
Showing 44 open source projects for "real time software"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Build Securely on AWS with Proven FrameworksMoving 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.
-
1
OrientDB
DBMS supporting graph, document, full-text and geospatial models
OrientDB is an Open Source Multi-Model NoSQL DBMS with the support of Native Graphs, Documents, Full-Text search, Reactivity, Geo-Spatial and Object Oriented concepts. It's written in Java and it's amazingly fast. No expensive run-time JOINs, connections are managed as persistent pointers between records. You can traverse thousands of records in no time. Supports schema-less, schema-full and schema-mixed modes. Has a strong security profiling system based on user, roles and predicate... -
2
torchvision
Datasets, transforms and models specific to Computer Vision
The torchvision package consists of popular datasets, model architectures, and common image transformations for computer vision. We recommend Anaconda as Python package management system. Torchvision currently supports Pillow (default), Pillow-SIMD, which is a much faster drop-in replacement for Pillow with SIMD, if installed will be used as the default. Also, accimage, if installed can be activated by calling torchvision.set_image_backend('accimage'), libpng, which can be installed via... -
3
Eddy
An editor for the specification of Graphol ontologies
Eddy is a graphical editor for the specification and visualization of Graphol ontologies. Eddy features a design environment specifically thought out for generating Graphol ontologies through ad-hoc functionalities. Drawing features allow designers to comfortably edit ontologies in a central viewport area, while two lateral docking areas contains specifically-tailored widgets for editing, navigating and inspecting open diagrams. Eddy is equipped with design-time syntax validation... -
4
Yaoqiang BPMN Editor
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1). -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
umple
The Umple Model-Oriented Programming Technology
Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal... -
6
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
7
Unified Code Generation
Open-source code generator for Simulink/Stateflow
...Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) The following features are supported by the Simulink/UCGN - Discrete single-rate Simulink models and libraries - Block library with 50+ standard Simulink blocks - Periodic, condition-driven Stateflow charts (including flowgraphs, loops) - Structured data types through bus objects - Simulink native enumer -
8
Cppfunct implements run-time C++ function objects, with creation, invocation, manipulation, and combination. The function object concept abstracts ways to parameterise other classes beyond simple static values.
-
9
JAS-mine
Toolkit for agent-based & dynamic microsimulation modelling
...With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. In addition, the platform provides standard tools which are frequently used both in agent-based modelling and dynamic microsimulations, like design of experiments (DOE), run-time monitoring and visualization with plots and graphs (GUI), I/O communication and statistical analysis. ... -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
PopperFramework
Declarative PageObject description
PopperFramework is a java framework which allows you to create PageObjects for your webapplication-tests in a declarative way. That means you just have to define an interface defining the structure of your website and add some annotation with the basic information like locators. PopperFramework will generate the implementation of that PageObject for you. Key-Goal of PopperFramework is to allow you as a developer of sureface-tests to concentrate on your business => writing PageObjets and... -
11
eddy
An editor for the specification of Graphol ontologies
Eddy is a graphical editor for the specification and visualization of Graphol ontologies. Eddy features a design environment specifically thought out for generating Graphol ontologies through ad-hoc functionalities. Drawing features allow designers to comfortably edit ontologies in a central viewport area, while two lateral docking areas contains specifically-tailored widgets for editing, navigating and inspecting open diagrams. Eddy is equipped with design-time syntax validation... -
12
C++ template library for modular construction of factored probabilistic time-series models, model trainers, and recognizers.
-
13
Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
-
14
COORAD
Configurable Object Oriented Rapid Application Development system
COORAD is a classic LAMP/WAMP stack application. It let you quickly design web pages and configure actions to manage your data. Moreover, it let you self-generate pages/sections/actions/CSS/javascript by COORAD model objects and create your own models. So, you can share all your objects with the COORAD community and speed up your development. COORAD is a real general purpose application to build your own applications: simple sites, Content Managment Systems, Enterprise Resource Planners, etc. -
15
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
16
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
17
...•Full integration of data input, data management, calculation results. This eliminates time spent on manual data transfers between different programs and databases. •Output functionalities, including generation of graphics output.
-
18
dotSource Workflow Tool
Workflow Tool for Eclipse
Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings. The workflow tool is an extension for the open source Eclipse programming tool from IBM. -
19
Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.
-
20
MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
-
21
Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.
-
22
A Simple and Efficient Framework for Infinite Resolution Simulation; provides a Java Thread-like class that executes over simulated time. Time units are user-definable, no time quanta, and neither changes to the VM nor pre-processing are required.
-
23
ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
-
24
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
25
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.