Concurrent Validity

ParaPascal is a programming language, an integrated development environment and simulator for learning concurrent programming.

A library to manage 'batches' of (possibly) concurrent processes.

When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.


Platforms: Windows, Mac

SPIZD stands for Stress Probing Invasive Zap Destructor; it's a command-line stress test tool used to determine how many simultaneous (concurrent) connections servers can handle. Protocols: http, pop3, pop3s, imap, imaps, smtp, smtps, ssh, radius.


Platforms: Windows, Mac, Linux

Tapedispatcher is a service which provides coordinated concurrent access to all tape libraries in an organization. Supported are tape drives and libraries attached locally to a host, and those shared over a fibre channel SAN.


Platforms: Windows, Mac, Linux

Ultramagnetic is a concurrent fork of GAIM that provides strong end-to-end encryption using libgcrypt and anonymous routing using the Six/Four protocol.


Platforms: Windows, Mac, BSD, Solaris, Linux

wxCvs is a cross-platform GUI frontend to the GNU Concurrent Versioning System (CVS). It is written in python and uses bindings to the wxWindows C++ cross-platform GUI toolkit (http://wxwindows.org). The python bindings to wxWindows is known as wxPyton


Platforms: Windows, Mac, Linux

Easily produce custom XML from Java code with validity checking and namespace support. Character stream and SAX event outputs are supported now. More can be added via a plug-in interface.


Platforms: Windows, Mac, Linux

TextMate Plug-in: Check XML and XHTML documents for Well-Formedness and Validity while editing them in TextMate with support for DTD, W3C XML Schema, RELAX NG and XInclude.


Platforms: Mac

The EUVAT widget is a simple widget for verify the validity of a VAT number issued by any EU Member State. The check is done using EU's provided service. The service should check not only the validity of the VAT number, but also that such a number was issued.


Platforms: Mac

Supports authentication via all standard CVS protocols, plus Windows specific SSPI and Active Directory, Secure transport support via sserver or encrypted SSPI. After installing CVSNT is integrated into the Apple XCode development environment. CVSNT can be used from the Mac OS X shell or from...


Platforms: Mac

Mail-it Now is an advanced form to mail script, that checks the email and message fields, and the validity of the email address. It works with every hosting provider using mail or email functions. It handles multiple file uploads and generates the reply page automatically.It also supports...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

GNU Common C is a portable and highly optimized class framework for writing C applications that need to use threads and support concurrent sychronization, and that use sockets, XML parsing, serialization, config files, thread-optimized String and data structure classes, etc. This framework offers...


Platforms: *nix, C/C++, BSD

Lurker is not just another mailing list archiver. It is capable of handling gigabytes of mail without slowing down. Lurker has been designed to scale to support sites with thousands of concurrent users and hundreds of new messages a second. If you run a high-volume mailing list archive, you...


Platforms: *nix

It uses ordinary C++ templates and code habits to eliminate some of the threading implementation work.It equires fewer lines of code to achieve parallelism than other threading models.The TBB library is also inherently scalable and no code maintenance is required as more processor cores become...


Platforms: C and C plus plus

This is a Perl script that you can run on your website in order to allow others to send you email through a web interface.Unlike other web to email gateways, Contact Form is designed to thwart spammers. It does not allow email to be sent to unknown addresses, nor does it reveal addresses that it...


Platforms: CGI and Perl

Bribble is a platform that consists of several tools to provide your website with chat-sessions.The BRIBBLE-tools are:- the BRIBBLE-server that runs on a web-server- the BRIBBLE-chatbox which is opened by a user and is used to connect to the server.- a web-based backend to configure the...


Platforms: Java

In this demo, control object (plant) is gas separator. Control Performance of Cascade PID control and Model Predictive Control are compared .This demo shows following contents.[1] Plant modelingGoverning rules of the plant are assumed and modeled on a formula basis. The governing rules are...


Platforms: Matlab

The remarkable advance in hydraulic and electrohydraulic power systems resulted in producing control valves of very short settling time. The rapid closure of hydraulic transmission lines leads to severe pressure surge. The attached Simulink file is developed to evaluate the applicability of...


Platforms: Matlab

Nowadays due to the yearly multiplying data comes always the claim for useful methods and algorithms that make the processing of these data easier. For the solution of this problem data mining tools come into existence, to which the clustering algorithms belong. At the Department of Process...


Platforms: Matlab