Search Results for "user mode linux" - Page 4
Sort By:
Showing 319 open source projects for "user mode linux"
View related business solutions-
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.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.
-
2
Medea is a pragmatic code generation framework. It takes UML class and state diagrams in XMI format and uses XSLT templates to generate code for various technologies, tiers and complete applications: J2EE, CMP, Hibernate, JSP, Struts, JSF, jBPM, XSD
-
3
Unimozer intends to be a universal modelizer for Java™. It allows the user to draw UML diagrams and generates the relative Java™ code automatically and vice-versa.
-
4
umpledot
Uses GraphViz to draw UML class diagrams
Some code collected from my old UML/Dot project with a view to submitting it to the Umple project. Just draws an UML class diagram using GraphViz. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this... -
6
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and... -
7
GenLab abbreviation of Genetics Laboratory .It is a user-friendly bioinformatics tool to support your bioinformatics lab work. GenLab creates a software user-friendly environment, which makes users to make a large number of protein, DNA, and RNA sequence analysis and excellent graphical viewing. It also provides powerful environment for simulations of Protein 3D molecular models. GenLab typically provides: •User-friendly graphical tools used for finding and working with relevant...
-
8
OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.
-
9
In two words, Active is to eat the beans. In three, Active is JavaBeans for application : how an application can know herself, how beans can form an application.
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
10
A MOF 2 for Java is an implementation of the new OMG MOF 2 Recommandations. It provides an enhanced JMI interface to utilize new Java features, such as generics, and new MOF/UML features, like property redefinitions and subsettings.
-
11
Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.
-
12
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) -
13
JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.
-
14
SCOPE
SCOPE: Space-Based Coordination Process Engineering
SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework. -
15
Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.
-
16
This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.
-
17
The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.
-
18
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
-
19
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
20
Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.
-
21
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
22
redVoodo uses Vaadin + OSGI and provides informations, HowTo's and also a framework to design und develop dynamic and modular business web applications. You'll get best practices HowTo use Vaadin and OSGI together.
-
23
PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...
-
24
Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
-
25
is a loadable application for the jrc-framework, that helps managing db schema. Support for scanning of db-schema, export/import to/from XML, creation and versionizing of db-schema. Column-Definitions are domainbased and the GUI supports drag&drop.
