Search Results for "psi-plus-portable- 1.4"

TCSystem provides platform independent c++ framework for streams, templates, threading and networking. It also includes a FOX based MSN Messenger and a file syncronisation program. With version 1.4 an OpenAL based Audio module was started.

... are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.

Tested, portable, standard C++ source code for policy based log stream, configuration data, external string table, field-delimited strings and text file reader. BSD license. Templated for use with any valid instantiation of std::basic_string.

Java 3D Game SDK based on J2SE 1.4 and Java 3D 1.3. No native code is used, so this SDK should be portable to all operating systems, which provide the above SDKs. The SDK provides functions from initializing the window till model animating and renderin