Search Results for "java to c# converter"

...LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.

Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac...

gfit creates an interface between computational models and experimental data and provides tools for their analysis

MATLAB Engine for Java is a library that uses the C API of the MATLAB Engine to: put variables from Java to Matlab, evaluate Matlab commands, get results from Matlab to Java.

VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner.

This project collect several data mining methods, such as: 1) clustering methods; 2) biclustering methods; 3) FCA methods and etc.