Search Results for "eclipse-jpf" - Page 6
Sort By:
Showing 240 open source projects for "eclipse-jpf"
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
-
2
Anna is lightweight Java framework to build pipeline systems of any kind. It will take care of recurrent needs such as dependency management, data serialisation and synchronization as well as parallelization of execution.
-
3
An environment for building and executing actor/dataflow models, including support for the CAL actor language.
-
4
The Edinburgh Pathway Editor (EPE) is a tool and framework that allows the drawing and manipulation of Biological Networks, such as signalling or matabolic pathways. The editor supports several notations including SBGN and Cytoscape notations.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
6
GeoAssistant is a project denoted to spatial analysis & spatial informations. The goal is to provide usalbe & easy GIS functions. It is based on GeoTools.
-
7
Network Coding Simulator. Basic scanarios include batterfly network, wireless network and LDPC-style networks.
-
8
Cyberinfrastructure Shell (CIShell) is an open source, community-driven framework/application for the integration and utilization of datasets, algorithms, tools, and computing resources. Algorithms can be integrated using most programming languages.
-
9
URBAN – a Unified Rule-Based and Allosteric Network compiler and simulator for quantitative modelling in systems and synthetic biology
-
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
Java Metaheuristics (JMH) is a Java library aimed at the design and implementation of exact and approximated algorithms for optimization problems. JMH is specifically tailored for the design of metaheuristic procedures.
-
11
-
12
LogicAnalyzer is a framework as well as an application to operate a PC based logic analyzer. It's built using the Eclipse RCP and designed with extensibiliy in mind. Integrating new devices or creating completely new functionality is easy.
-
13
D-finder is a bioinformatic search algorithm for the identification of D-sites in JNK interacting proteins. The algorithm is a combination of pattern matching and a hidden markov model (HMM) based on a training set of known JNK D-sites.
-
14
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
-
15
-
16
KADis is a software architecture reconstruction utility, which uitilizes the Knowledge Discovery Meta-Model of the OMG. It uses source nagivator NG for parsing the architecture and enables saving the architecture as an XML file.
-
17
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.
-
18
The Minervan project aims at aiding intelligent software development. It integrates reporting, analysis and data mining to support better decision making.
-
19
A Cytoscape Plug-in Project to Predict transcription states of genes in a Biological Network based on a Bayes Network model
-
20
AnnaF is an automatic gene annotation framework, that is used to do some automatic annotation for C. higginsianum. It was also tested on F. graminearum and should work well for fungi in general. AnnaF was build upon the pipeline framework Anna.
-
21
GeoTech is a GIS based on Eclipse RCP. It uses OpenGL for visualization.
-
22
The project is targeted at building a framework for describing businesses with natural language or structured natural language. Starting from these definitions different components for automated code and workflow generation will be integrated
-
23
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
-
24
SOLAPLayers is a cartographic component which enables navigation in geospatial (Spatial OLAP or SOLAP) data cubes. It aims to be integrated into existing dashboard frameworks in order to produce interactive geo-analytical dashboards.
-
25
This is a visual pipeline framework for batch processing data. It is a plugin to Eclipse Platform. It is a general framework designed to be customized for specific field. One example is http://sf.net/projects/camba