WinDriver automates and simplifies the development of user-mode Linux device drivers for PCI, CardBus, ISA, PMC, PCI-X, PCI-EXPRESS, and CompactPCI as well as USB 1.1/2.0. No internal OS knowledge or kernel level programming is required. It supports kernel 2.0.31 and above, including embedded Linux, x86 and PowerPC processors, and any 32-bit development environment supporting C or Delphi. Applications are source code compatible across Windows 98/Me/NT/2000/XP/XP Embedded/Server 2003/CE, Linux, Solaris, and VxWorks.
UPPAAL is 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.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Multiplication Station will teach your child to add, subtract, and multiply. It is a multi-user application with a simple admin interface. All parameters are configurable, like grid size and the fonts and colors of number ranges. A countdown timer is used to keep the player's attention focused. A list of high scores is maintained.
Suri Pluma is a satellite image processing tool and visualizer. It can open the most common image formats without importing to an internal format and minimizing the memory required for visualization. It is designed to be modular and extensible. It has a meassurement tool (distance and areas with error estimation) and geographical and map coordinate information.
Parallel Performance Wizard (PPW) is a performance analysis tool designed for UPC, MPI, and SHMEM programs. It features an easy-to-use interface and tight integration with GAS programming models via the GASP interface. It is known to work on many platforms. This project is part of a study of existing and emerging performance analysis theory and tools, current and future HPC architectures, and usability and user productivity preferences and methods, along with various programming models.
MPI Parallel Environment (MPE) is a software package for MPI (Message Passing Interface) programmers. It provides users with a number of useful tools for their MPI programs such as a set of profiling libraries that collect information about the behavior of MPI programs, graphical trace file analyzers, serializers, type checkers, collective operations validators, etc.