Search Results for "vx-linux" - Page 40
Sort By:
Showing 4208 open source projects for "vx-linux"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
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
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
2
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
3
Open HLA (oh-la) provides an open-source implementation of the HLA RTI spec 1.3, IEEE 1516 and IEEE 1516 Evolved. It also provides a framework to wrap the standard RTI classes and FOM to code generation to make life simpler.
-
4
This library aims to provide support for D-dimensional images in Java and to enable high-level implementation of algorithms in dimensionally-invariant manner. Major features: the dimensionality and the access to primitive data types are abstracted.
-
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.
-
5
PlaTypUS
Plasmodium Typing Utility Software
The goal of PlaTypUS is to establish a unified Plasmodium whole genome analysis tool, that aligns short read sequences in an agreed upon manner, with many quality control steps, and calls both SNVs and CNVs in a community agreed standard way. We also seek to provide this analysis in a stand-alone graphic user interface so that labs around the world can analyze their own whole genome sequencing data, rather than relying on outside institutes. -
6
Virtual instrumentation software, currently designed for modifying automobile engines. Intended as a modular framework to communicate with devices on an IO port (serial, parallel etc.) and allow a visual representation of the instrument.
-
7
The Diffraction Image Experiment Repository (DIMER) is an online archive for diffraction experiments, providing secure storage during analysis and publishing of experiments so they can be linked to, searched, and integrated into other databases.
-
8
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
9
Quadriga
Quadruple Network Management System
Quadriga is a web-application that acts as a clearing-house for text annotations -- in the form of contextualized triples, or “quadruples,” that form complex graphs -- generated with the Vogon desktop application (https://sourceforge.net/projects/gobtan/), and as an environment for managing text-annotation projects. It relies on a central authentication system for user authentication, a dictionary service (Wordpower) and an authority file service (Conceptpower). Quadriga can connect to a... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
Conceptpower
Conceptpower is an authority file service.
Conceptpower is an authority file service, which is based on WordNet 3.0 (http://wordnet.princeton.edu) and can be extended as needed. Each entry in Conceptpower is identified by an URI, which should be used to refer to a particular entry. Conceptpower has three parts: a public search function, a management component, and a basic REST interface. The public search function provides the user with basic search functionality. The management component provides a simple user management, and term... -
11
-
12
Factory Equipment Network Testing
Measurement science-based performance & conformance testing framework
Real-time production information is needed to optimize manufacturing activities in a factory, but acquiring this information from isolated proprietary equipment is a manual process that takes time and introduces errors. Connecting equipment to the factory network can make accurate production information immediately available, but widespread interconnection of equipment has been inhibited by the lack of common information models and methods to measure performance and conformance. This project... -
13
famos
Framework for Agent-oriented MOdelling and Simulation
Famos is a Java-based framework for developing agent-based models. It uses the discrete-event simulation framework Desmo-J (http://desmoj.sourceforge.net) as its simulation engine. Famos implements event-driven time advance and focusses on supporting an explicit model of space for the environment, including the movement of agents. Famos was developed in the context of a PhD project. Many aspects of its implementation are therefore still in the prototype stage. It does come with two... -
14
Java VCO Simulator
VCO Simulator written in Java.
This project is a demonstration of a Voltage Controlled Oscillator that is written in Java. -
15
TriageTools
Tools for partitioning and prioritizing fastq data
TriageTools is a collection of tools for partitioning raw data (fastq reads) from high-throughput sequencing projects. The tools are designed for basic data management as well for prioritizing analysis of certain subsets. The project wiki contains usage information. -
16
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
17
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (<... -
18
An integrated set of functions that automate many navigational and tidal calculations which can be time consuming and error prone if performed manually. It can be linked to a GPS to automatically receive position fixes and other information.
-
19
Saferwater
Helping to improve drinking water safety where there isn't much.
This program helps the user risk assess the raw water quality, aids in determining optimum clarification and filtration, aids in developing an understanding of the disinfection process, and puts it together in an easy to follow HACCP plan, which identifies the critical barriers, monitoring and limits that should be applied to ensure a reduction in the raw water risk profile. The mitigated or residual risk profile is also given (i.e. assuming HACCP plan implementation) -
20
FALCON - Text Search Java Project
JSON based text search Java Project
----------------- - What is it? - ----------------- The "Falcon Search" is a JAVA API and tool to search inside the documents. It was originally started to search the content in pdf files under the project "HAWK Search". Searching with this tool is query-based not word-based as in most of the document search tools OR document readers. It also takes care of jumbling of words within query and spelling mistakes. Commonly used techniques in this project are Natural Language... -
21
Temperature converter 4 java
A java program to convert temperatures
This program has an educational purpose only. It demonstrates a very simple application to convert temperatures between Celsius, Kelvin and Fahrenheit scales -
22
Computing with units
Calculator that takes care of measurement units.
Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base. -
23
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
24
RoboStopwatch
Automation scheduler and monitor with stopwatch GUI widget.
This program schedules, launches and monitors any Java Runnable object. Anything you can do from Java, you can schedule and monitor using this program. It includes a nifty stopwatch widget as a metaphor for measuring performance. The monitoring is done via event messages which are displayed in real time in a GUI dialog and stored in a JavaDB database. Any number of tasks (Runnables) can be launched and monitored simultaneously. The user / programmer of the API Jar designs their own... -
25
cy2fluxviz
cy2fluxviz : Cytoscape 2 plugin for flux distribution visualization
cy2fluxviz - Cytoscape 2 Plugin for the visualization of flux distributions in networks. Latest releases from https://github.com/matthiaskoenig/cy2fluxviz
