Search Results for "computer-aided software engineering" - Page 24
Sort By:
2197 projects for "computer-aided software engineering" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
DRAMMS
A Deformable Medical Image Registration Toolbox
DRAMMS is a software package designed for 2D-to-2D and 3D-to-3D deformable medical image registration tasks. Released by Section of Biomedical Image Analysis (SBIA) at the University of Pennsylvania. Some typical applications of DRAMMS include, -- Cross-subject registration of the same organ (can be brain, breast, cardiac, etc); -- Mono- and Multi-modality registration (MRI, CT, histology); -- Longitudinal registration (pediatric brain growth, cancer development, mouse... -
2
fzcal
A calculator capable of complex arithmetics
A command line calculator capable of complex arithmetics. -
3
matImage
An image processing and analysis library for Matlab
MatImage is a Matlab library for image processing and analysis in 2D and 3D. It contains more than 250 fonctions for image enhancement, filtering, analysis, or visualisation, as well as for creating basic test shapes. It is built as a complement of the Mathworks image processing toolbox (IPT). Project is being transfered to GitHub: http://github.com/dlegland/matImage -
4
JUnit Execution & Report Generation Tool
Runs JUnit Test cases and generate HTML report, keeps past run history
This tool pulls all JUnit testcases from the class path and run them all. After completion of test case execution it populates the result in database tables. A report tool fetch the result data from database and produce an HTML report. Highlights of this tool - No coding effort is required from developer to integrate existing JUnit test cases. They just need to put their test case folder to the class path - Since it keep the test result data in a database, it can keep history of... -
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.
-
5
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.
-
6
ocaml-glpk
OCaml bindings for GLPK
OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems. -
7
GeoGit
Geospatial Distributed Version Control System
NOTE: this project has been renamed as GeoGig. Use this URL to get to the GeoGig downloads: https://sourceforge.net/p/geogig Welcome to the GeoGit project, exploring the use of distributed management of spatial data. GeoGit draws inspiration from Git, but adapts its core concepts to handle versioning of geospatial data. Users are able to import raw geospatial data (currently from Shapefiles, PostGIS or SpatiaLite) in to a repository where every change to the data is tracked. These changes... -
8
-
9
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
Code Red Sim
A low-power ISA design and simulator for a 2010 IEEE competition
This is a student project designed to compete in the 2010 IEEE Computer Society Student Competition: http://www.computer.org/portal/web/competition/2010competition The Code Red architecture is designed for extremely lower power environments, like distributed sensor networks. Included is a design of that architecture, a Java-based simulator, an implementation (without vector instructions) designed as a Logisim circuit (http://ozark.hendrix.edu/~burch/logisim/), and more. The name... -
11
CVM C++ Class Library encapsulates concepts of vector and square, band, symmetric and hermitian matrices in Euclidean space of real and complex numbers. It utilizes BLAS and LAPACK Fortran libraries. See http://cvmlib.com for binaries and more details.
-
12
That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
-
13
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
14
Java Machine Learning Library is a library of machine learning algorithms and related datasets. Machine learning techniques include: clustering, classification, feature selection, regression, data pre-processing, ensemble learning, voting, ...
-
15
The BioNLP UIMA Component Repository provides UIMA wrappers for novel and well-known 3rd-party NLP tools used in biomedical text prosessing, such as tokenizers, parsers, named entity taggers, and tools for evaluation.
-
16
A consumer API that can process the response of an ontology evaluation web service provider.
-
17
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
18
CLUE - C Learning Undergrad Environment
Tools to support the learning of the C programming language
CLUE (C Learning Undergraduate Environment) is a software allowing students to work on assignments in the C language while benefiting from support for peer testing, hyper-linked tutorials to help them understand compiler error messages, detection of "novice errors" with warnings hyper-linked to tutorials. Sponsored by National Science Foundation under award CCLI #0836863. -
19
ParaBWT - parallel BWT construction
a parallel and space-efficient Burrows-Wheeler transfrom constructor
-
20
XièXiè Compiler
High-level, meta-language, trans-compiler with virutal machine
XièXiè is a language with a trans-compiler (or rather source-to-source compiler) which compiles to mainly C++ (C++98 and C++11). It also comes with an own assembler compiler for ARM, IA-32/ x86 and its own byte-code XBC (XièXiè-Byte-Code) including a virtual-machine. XièXiè can be seen as a "Meta Language". --- THIS PROJECT IS IN IT'S FIRST STEPS --- -
21
An object oriented Math library written in C++. This library contains set of template classes that are ready to be used. Currently a 2D Matrix, modular arithmetic, vector, and complex numbers are present. These systems can work together, you can create a matrix of complex numbers. Iterators for matrix and vector classes will be added soon. Please use SVN to access current version.
-
22
GLP-Solve
An IDE for lpsolve made in C language
This IDE replicates the official lpsolve project IDE made in Delphi. Its author is Juan José Gago Martínez. Project stopped at version 1.2, but now is being revived by Hélio Guilherme, starting with version 1.2.1. -
23
SPADE
A toolkit for developing and deploying protein structure algorithms.
The Structural Proteomics Application Development Environment is a Python tool kit for developing and deploying bioinformatics applications. Handles graphics, analysis, and modeling of protein sequence and structure. Source and Win installers available. SPADE source code can be cloned from http://www.github.com/deaconjs/SPADE. -
24
PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.
-
25
HexTool is a simple yet effective calculator/tool; invaluable for people who work with Hex and Binary. Now you can convert between Hex, Binary and Decimal on the fly. No install needed: just unzip and run it!