Tutorial Environment for Cryptographic Protocols (TECP) is a tutorial and visualization environment for public key cryptography. It is intended for students of cryptography courses and can be used to improve understanding of modular arithmetic-based public key algorithms, and for lecturers who want to add some life to boring blackboard-and-chalk presentations about the topic.
GraphPak is a programming library of 2D and 3D charting objects for the Qt toolkit. It provides software developers with a set of C++ objects to easily create charts or graphs that aid in the visual presentation of technical and business data. This release includes Bar, Line, Pie, Ring, Area, Hi-Lo, Box and Whisker, and Polar charts. It is based on the KD Chart product from Klarälvdalens Datakonsult AB.
The OGR Simple Features Library is a C++ library providing read/write support for a variety of Geospatial (GIS) vector file formats including Shapefiles, Mapinfo MID/MIF and TAB, PostGIS, and Oracle Spatial. It attempts to follow an OpenGIS Simple Features geometry model, and use OpenGIS coordinate system standards. C and Python bindings are provided. It is a component of the GDAL project.
PREDICT is a multi-user satellite tracking and orbital prediction program. It can provide a real-time display of data such as a spacecraft's sub-satellite point, azimuth and elevation headings, Doppler shift, path loss, slant range, orbital altitude, orbital velocity, footprint diameter, orbital phase (mean anomaly), squint angle, eclipse depth, the time and date of the next AOS (or LOS of the current pass), orbit number, and sunlight and visibility information.
TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.
FTIDOE is a comprehensive tool for performing the complex process of dynamic energy analysis. This software enables architects and engineers to perform a comprehensive analysis of dynamic heating and cooling loads, simulation of heating and cooling distribution systems, modeling of equipment supplying the required energy, and calculation of the life-cycle costs of owning and operating energy systems for buildings. It can simulate hour-by-hour performance for buildings ranging in size from a small one room residence to a large multi-storied structure for each of the 8760 hours in a year.