PlusCal algorithm - Windows 7 Download

TLA Tools 2.1.5
TLA Tools is a useful collection of utilities and components ...
Tags: simulator , TLA language, PlusCal to TLA , PlusCal algorithm, Cal2TLA

Emsa EZ Encryption Tool 1.0.46
EMSA EZ Encryption Tool is a simple encryption program for ...
Tags: encrypt, encryption utility, utility, encryption tool, tool

WebCab Optimization for .NET 2.6
Add refined procedures for solving and performing sensitivity analysis on ...
Tags: minima, local global, Web service, optimization, C++

VeriFinger Algorithm Demo for MS Windows 6.5
Fingerprint recognition algorithm demo application enrolls and identifies fingers from ...
Tags: demo, roc, fingerprint, security, identification

Java Genetic Algorithm Library 1.6.0
Java Genetic Algorithm Library also known as Jenetics is a ...
Tags:

A2RMS 0.4 Beta
A RMS was developed as an accessible and open source ...
Tags: development , Matlab implementation, A2RMS Matlab, Matlab development

Doboz for .NET 1.0.1.0
Doboz is asymmetric high compression ratio fast decompression LZ-based compression ...
Tags: library , asymmetric compression, LZ compression, compression algorithm

Morpheus 1.0.0.0
Morpheus is a mass spectrometry ...
Tags: genome analysis, genome finder, proteomics search, genetics

ANN 3.6
ANN is a handy application for the users who need ...
Tags: calculate , calculate success rate, back-propagation algorithm, neural network, artificial neural network

msort 1.4.0
msort is a fast sorting indexing example that builds a ...
Tags: index file, depth , sort ASCII, sort file

cwRsync 5.2.2
cwRsync is a packaging of Rsync for Windows with a ...
Tags:

VSTextHash 1.1.3.69
VSTextHash is a simple and reliable cryptographic hash calculation software ...
Tags: