PlusCal algorithm - Windows 7 Download

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

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

WebCab Optimization for .NET 2.6
Add refined procedures for solving and performing sensitivity analysis on ...
Tags: linear programming, local global, COM, XML, .NET

VeriFinger Algorithm Demo for MS Windows 6.5
Fingerprint recognition algorithm demo application enrolls and identifies fingers from ...
Tags: recognition, matching, biometric, demo, verification

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:Matlab implementation, Matlab development, development , A2RMS Matlab

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

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

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

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

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: