PlusCal algorithm - Windows 7 Download

TLA Tools 2.1.5
TLA Tools is a useful collection of utilities and components ...
Tags: Cal2TLA , simulator , 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: encrypt, decrypt, utility, encryption, encryption tool

WebCab Optimization for .NET 2.6
Add refined procedures for solving and performing sensitivity analysis on ...
Tags:optimization, C#, XML, Web service, VB.NET

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

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

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

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

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

msort 1.4.0
msort is a fast sorting indexing example that builds a ...
Tags: sort file, sort ASCII, depth , index 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: