an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
an advanced mouse gesture recognition engine and command processor. What is a mouse gesture? Mouse gestures are simple symbols that you "draw" on your screen using your mouse.
a graph editor and a C++ algorithm library essentially concerned with planar graphs. The editor is particularly intended for graph theoretical research.
The only way to share complete DVD movies with multiple audio tracks, subtitles, video angles and bonus materials online - free, fast, powerful and reliable.
a CD-ROm Webserver. That means it is a webserver that can run directly from cdrom without installation. Server2Go allows you to create a working web site or PHP application on a CD-ROM.
component-based, modular and open-architecture simulation environment with strong GUI support and an embeddable simulation kernel. Its primary application area is the simulation of communication networks and because of its generic and flexible architectur
a cross platform audio library and toolset to let you easily implement the latest audio technologies into your title. FMOD now supports 13 platforms! Win32, Win64, WinCE, Linux, Linux64, Macintosh (os8/9/10/x86) PS2, PSP, PS3, Xbox, Xbox 360
automatically hardens software applications against a wide range of bugs. These bugs — known as memory errors — often end up as serious security vulnerabilities, cause crashes, or lead to unpredictable behavior.
a library of C++ classes and templates for high-performance numerical computation. PETE, which stands for "Portable Expression Template Engine", uses a technique called expression templates to eliminate data copying and the creation of temporary variables