Search Results for "research"
Sort By:
75 projects for "research" with 2 filters applied:
-
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.
-
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.
-
1
TANGO is an object oriented control system for Linux and Windows. It provides a framework in C++, Java and Python for implementing distributed control objects an accessing them via a well-defined API. This sourceforge project a
-
2
The DaCapo Benchmark Suite
Benchmarking tool
This benchmark suite is intend as a tool for the research community. It consists of a set of open source, real world applications with non-trivial memory loads. -
3
Classic HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
4
Fuzzer Test Suite
Set of tests for fuzzing engines
...Each target is configured to integrate with common sanitizers, ensuring memory safety bugs surface with precise diagnostics. The suite standardizes experiment parameters—runtime, seeds, and environment—so results are reproducible and comparable across machines and research groups. It’s useful both for tuning mutation strategies and for validating new coverage mechanisms before publishing results. By curating diverse targets (parsers, media codecs, serialization libraries), it helps fuzzers demonstrate robustness beyond a single niche. -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
coarrays
A free Fortran 2008, 2018 coarrays course with notes and exercises
Coarrays are native Fortran means for SPMD parallel programming. At runtime multiple copies of the executable (called images) are executing asynchronously. The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io). The course is aimed at experienced... -
6
Integrated packet generator and sniffer for Ethernet, but also works with blocks of data over TCP connection. Enables you to use scripts for automated testing, monitoring, imitating of various network objects, creating custom network tools.
-
7
SystemC Network Simulation Library (SCNSL) is an extension of SystemC to allow modelling packet-based networks such as wireless networks, ethernet, fieldbus, etc. As done by basic SystemC for signals on the bus, SCNSL provides primitives to model packet trasmission, reception, contention on the channel and wireless path loss. The use of SCNSL allows the easy and complete modelling of distributed applications of networked embedded systems such as wireless sensor networks, routers, and...
-
8
pFUnit
Unit testing framework for Fortran with MPI extensions
pFUnit is now hosted and developed on GitHub. And will be completely removed from sourceforge on January 01, 2020 Please use: https://github.com/Goddard-Fortran-Ecosystem/pFUnit GitHub has been the primary host for some time now, but with the release of pFUnit 4.0 earlier in 2019, the sourceforge site is very out of date. -
9
Toldiff is a diff tool that allows tolerable (insignificant) differences between two files to be suppressed showing only the important ones. The tolerable differences are recorded running the tool with an appropriate command line flag.
-
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.
-
10
FAST Simulations
An Open source Analysis and SImulation Toolbox for Fuel Cells
FAST is an Analysis and Simulation Toolbox (FAST) for Fuel Cells (FC) FAST-FC is the doctorate work of David B. Harvey and was developed with support from the U.S. DOE, Ballard, and Queen's University. Derivative works of FAST-FC include FC-APOLLO which is a forked branch of this project intended to capture the code state at the exit of the funded DOE project. FAST-FC is the open and active community branch. FAST-FC is developed and maintained by the original creator and... -
11
-
12
GUITAR - A GUI Testing Framework
A model-based test automation framework for GUI applications
This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated... -
13
alio
An "Alternative IO" layer.
The alio library can be dynamically pre-linked to existing executables and replaces file IO (i.e. calls to glibc's IO functions). This allows to gather statistics about IO, create IO trace files, or even implement a different IO behaviour (e.g. use separate IO servers to handle IO). -
14
The concept behind DataWoo is to create a Spring-based architecture that allows developers to jump-start their coding efforts by providing a hardened and secure foundation when developing new systems; it can also be used as a reference for incorporating new technologies into existing systems. DataWoo is meant to be a research and development platform that can be extended into just about any enterprise-level web application. The architecture will be developed in three phases: 1. Basic Spring Architecture: Provides all the basic components needed to field an enterprise-level application. 2. Programmatic Security Model: Incorporates the components needed to dynamically assign users to user roles and user roles to profiles. 3. ...
-
15
ApproxAdderLib
Library of Approximate Adders
...These MATALB and Verilog models can allow software programmer as well as hardware designers to evaluate their code and design. To the best of our knowledge, this is the first open-source library of approximate adders that facilitates reproducible comparisons and further research and development in this direction across various layers of design abstraction. This work is a result of collaborative effort between Chair for Embedded Systems (CES) at Karlsruhe Institute of Technology (KIT), Germany and Vision Image and Signal Processing (VISpro) Lab at SEECS-NUST, Pakistan. -
16
LittleDarwin
Mutation Analysis Framework for Java
Mutation testing has been proven to be a reliable method to estimate the quality of a test suite. Most of current mutation tools require the architecture of their target system to be in a certain way in order to apply the technique; thus making it impossible to use them in complex build environments. LittleDarwin is a mutation testing tool designed primarily with the premise of easy deployment in complex systems; in order to provide mutation testing where other tools fail. -
17
TDD MAS Toolkit
A set of powerful tools to perform TDD on MAS based on JADE
The TDD MAS Toolkit provides a set of tools to perform Test Driven Development of MAS based on Jade. The toolkit allows developers to set up simulation based and test case scenario based testing, providing powerful insights of the MAS under construction and assuring that the interation protocols and agent interaction in general are been enacted as expected. -
18
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. By using gcRadar you can monitor the lifetime of the objects that are created by your application in runtime,... -
19
Java/C Comparative Benchmarks
Java and C Comparative Performance Benchmarks
A collection of software benchmarks developed to compare the performance of Java with C on identical code. No language libraries were used to avoid implementation differences. Some of the benchmarks are also implemented in Python and Scala. There are benchmarks for bit twiddling, numerical computing, data structure manipulation, concurrent computing, callouts to native libraries, and, graphics processing units (GPU) utilization. -
20
dbtesma
efficient data generation for benchmarks and performance analysis
Highly efficient Data Generator for Benchmarks and Algorithm Performance Analysis. Supports fully configurable schemata as well as meta structures like Foreign Keys and Functional Dependencies. -
21
r4st
A database rapid application development tool
The r4st ("Our Forest") project is a set of tools to assist with the rapid development of a database application. It uses shell scripts to drop/add Postgresql database tables/views with data loaded from sql and csv files. This process allows users to apply changes then re-build the system. It is essentially a customizable database regression system. The base schema and data module represent a plant database intended for educational and scientific usage. -
22
SCHEDuler SIMULAtor (originally sched_sim) is a simple C++ event driven simulator of scheduling policies (single processor). Currently supported scheduling policies are: FIFO, LIFO, EDF, LST, RM, DM.
-
23
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
24
SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.
-
25
Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.
