Search Results for "computer-aided software engineering" - Page 82
Sort By:
Showing 3430 open source projects for "computer-aided software engineering"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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
Mixed Analog/Digital Simulator framework - parser and elaborator for Verilog and Verilog-AMS, and an extended C++ (ParC - http://parallel.cc) to be used as the simulation engine.
-
2
This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.
-
3
The "JTAG-GDB server" is a program for integrating the ARM-Embedded ICE logic with the GNU-Debugger GDB.
-
4
NT2 is a multi-platform C++ library providing various template matrix classes that can be used with a Matlab(tm) like syntax whose performances are close to those obtained with hand written C code. NT2 comes with various numerical toolboxes.
-
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
The Domain Specific Modeling Language for Multiagent Systems (DSML4MAS) is a platform independent language for specifying multiagent systems. The DSML4MAS Development Environment (DDE) is a model-driven development environment based on DSML4MAS.
-
6
The BioloidNativeInterface is a C++ library to control bioloid/dynamixel modules including AX12, AXS1. It provides a parser for the bioloid protocoll and methods to read/write packets.
-
7
Deprecated for Collective Knowledge Framework (universal autotuning and predictive analytics): http://github.com/ctuning/ck This is Continuous Collective Compilation (and Parallelization) Framework to enable optimization knowledge reuse among different programs and architectures and optimize programs for performance, size, power consumption and DSE using machine learning.
-
8
BioPerl implemented in JavaScript. The library aims to promote and aid the development of bioinformatics applications in JavaScript much the same way as BioPerl helps bioinformatics development in Perl.
-
9
This project is goaled a r-language wrap of Artificial Neural Network library libfann. also known as R-binding libfann
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
Artificial Life is a free and open sourced Java framework use to simulate Life. It is a multi-agents framework where each agent runs it is own Thread.
-
11
This workbench tries to manage and analyze neuroscientific animal data with an emphasis on behaviorally orientated experiments. It's goal is to use the behavioral experimental data (stimulus, task, species...) as its source and perform analysis to e
-
12
A plug-in for the Protégé ontology editor and knowledge-engineering framework that allows you to use the Java Expert System Shell (Jess) and Protégé together.
-
13
Parse software messages and transform them into actions. LazyBat has a command line utility which can transform input data, and also a parser generator for C/C++. LazyBat doesn't support recursive parsing, but rather focuses on common parsing jobs.
-
14
-
15
ODEM is a C++ class library for process simulation. ODEMx is its successor, greatly enhanced to make real use of C++ features and with improved support for logging.
-
16
Wrapper for the library Libdc1394 to enable communication with the Java programming language. Java Video Capture for ieee 1394 cameras. Support for jfm JMF-2.1.1e, register a new protocol dc1394. ieee1394 camera for jmf, with this library jvc1394
-
17
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
-
18
Parallelizable is a tiny framework in complement for java.util.conccurent api. Parallelizable is an abstract class to extend for making asynchronous parallel execution on a synchronous task. Very usefull if task often calls a very long process.
-
19
Software capaz de procesar un texto y codificarlo según la famosa codificación CRC32 de 32 bits. Es una práctica que hemos hecho en MPII. Soy Darío López Padial, estudiante del curso Liberación de Proyectos de Software Libre.
-
20
MICO is a mature, secure, robust, fully standards-compliant implementation of the CORBA standard. It is available as GNU open source software and is widely used for robust application integration.
-
21
CinsImp empowers non-geeks to do cool stuff with their computer. Use it as a virtual sketchpad, a presentation, an inventory, a planner, a journal, a database, a prototype or anything else you can imagine. CinsImp is inspired by and picks up where HyperCard left off.
-
22
This project contains the source code to accompany the Multithreading Study paper published by Dalmo Cirne.
-
23
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.
-
24
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.
-
25
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.