Search Results for "computer-aided software engineering" - Page 45
Sort By:
2197 projects for "computer-aided software engineering" with 2 filters applied:
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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.
-
1
This project contains the source code to accompany the Multithreading Study paper published by Dalmo Cirne.
-
2
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
-
3
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
-
4
OnuriS (Open soURce wImax Simulator) is a simulation platform designed for WiMAX in order to analyze network performances and develop particular allocators for better bandwidth allocation strategies that could greatly improve the overall system.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
This project aims to model parasites in order to assist in the analysis and prediction of their behavior.
-
6
GraphTK is a graph-generation toolkit. Providing a GUI frontend, it enables you to generate graphs describing build systems (Make, Ant) and API (Java APIs) dependencies. The generated graph data can be stored in common data formats like GraphML or GML. This project is no longer actively developed.
-
7
-
8
It is a library for parsing standard configuration files which supports extensions over the standard syntax. It also has a very extensive reference substitution system.
-
9
Fuzzy numbers and basic fuzzy arithmetics (+, -, *, /, 1/x) implementation written in Java. Should be used as a library, but it also has a GUI which demonstrates its capabilities (using SWT widgets).
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
A univariate and multivariate analysis UI. This project is no longer under development. Please use as you wish.
-
11
The `Turing Machine Compiler Collection' (tmcc) contains a virtual machine which emulates a Turing Machine such as an assembler and a C-like compiler which assemble/compile the written code into the delta-notation.
-
12
A java tool for anytime and interactive sequence mining. Aims at providing users with a way of analyzing her activity traces and extract activity schemes from them.
-
13
The fast, flexible, extensible, and easy to use C++ template class for creating your own customized math expression parser for both built-in and user-defined numerical data types. The parsed tree perform fast and can be used in multi-threaded OpenMP apps
-
14
ReDuino - is the IDE for developing programms for Arduino. It's written on Qt framework so it's crossplatform and really cool.
-
15
"Java Textual Desktop" project stands for the classical TEXT screen with java implementation inspired with Curcus which used for decades in the history of UNIX (linux).
-
16
-
17
-
18
-
19
Realistically and Acronymically Named Generalized Engine. Sometimes shortened to RANGE or RANGEngine. This is primarily a 2D computer game engine that provides all major functions required. See http://p.sf.net/rangengine/wiki
-
20
OpenMDE
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework. For more information visit: http://www.openmde.org. -
21
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
-
22
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
-
23
A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.
-
24
This Project Aims To Port Various Open Source Software Onto Stratus Open VOS Architecture. Please Refer The Following URLs For More Information On The Architecture. http://www.stratus.com http://www.openvos.com
-
25
NG4J - 'Named Graphs API for Jena' is an extension to the Jena Semantic Web framework for parsing, manipulating and serializing sets of Named Graphs. For details about Named Graphs see http://www.w3.org/2004/03/trix/