PlusCal algorithm - Windows 7 Download

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

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

WebCab Optimization for .NET 2.6
Add refined procedures for solving and performing sensitivity analysis on ...
Tags: XML, .NET, maxima, VB.NET, minima

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

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

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

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

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

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

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: