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.
UniSorter demonstrates and visualizes some of the standard sorting algorithms used today. It supports QuickSort, QuickSort and Median-of-Three, QuickSort and Median-of-Three and partition visualization, Insertion Sort, Selection Sort, Bubble Sort, Merge Sort, Heap Sort, Shell Sort, Shaker Sort, Straight Radix Sort, and Distribution Counting Sort.