Elite Computer Systems

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...

Ibis is an open source Java grid software project of the Computer Systems group, which is part of the Computer Science department of the Faculty of Sciences at the Vrije Universiteit, Amsterdam, The Netherlands. Using Ibis, software can be developed which runs reliably and efficiently on a...

This is a Flash simulation of the Stargate Atlantis Computer systems including Dial Home Device and Outgoing Gate screen.


Platforms: Windows, Mac

System Integrity Checker can make sure that no unauthorized changes have been made to your computer systems. Installation: $ tar zxvf sic-x.y.z.tar.gz $ cd sic-x.y.z $ ./configure $ make $ make install Whats New in This Release: - Threading support was improved. - Support for...


Platforms: *nix

Z-Cron is a scheduler that allows you to automatically execute tasks on computers according to a schedule. It acts as a central managing tool for the automation and monitoring of computer systems. Z-Cron scheduler does not only start other applications, it also includes a large variety of...


Platforms: Windows

PIKT® is cross-categorical, multi-purpose software to monitor and configure computer systems, report and fix problems, manage system security. Use it to arrange job scheduling, format documents, install files, assist command-line work, and perform many other common systems administration tasks....


Platforms: *nix

Sussen is a tool that checks for vulnerabilities and configuration issues on computer systems. It is based on the Open Vulnerability and Assessment Language..


Platforms: *nix

Computing - Data Structures - Data Files - Computer Systems - Data Handling - System Development - Computer Programming - Binary Numbers - Binary Arithmetic - Number Systems - Digital Techniques - Logic Gates - Logic Gates 2 - Logic Families - Flip Flops - Combinational Logic - Counters -...


Platforms: Windows

The Java Framework for Computer Emulation (JFraCE) is a framework written completely in Java for emulating (old) computer systems on the software level. Currently only an emulator of a Z80-based CP/M machine is implemented.


Platforms: Windows, Mac, Linux

Software from LoCI Laboratory is devoted to information logistics, the study of the flexible coscheduling of the physical resources that underpin computer systems: storage, computation, and data transmission. We use IBP, L-Bone, exNode and LoRS.


Platforms: Windows, Mac, BSD, Linux

QuickOrder is:- restaurants software- pizza restaurant software- restaurant pos software - software for restaurants- restaurant reservations software- restaurant point of sale- restaurant computer systems


Platforms: Mac, Linux

VolksForth is a 16bit Forth System with the goal to produce a manageable Forthsystem for computer systems with restricted system resources.


Platforms: Mac

iCMS is a web based control and monitor application that allows for the remote control and monitoring of (computer) systems. It is supports icmp and snmp polling, mibs, recovery, distributed deployment, high performance multithreading, logging in levels


Platforms: Mac

The Grid Programming Environment (GPE) turns a collection of computer systems into a Grid and provides graphical user interfaces and interoperable GridBeans for application development. It supports Globus Toolkit and Unicore-based infrastructures.


Platforms: *nix

Grainsboro is a light GTK theme powered by the Murrine engine. Metacity and Xfwm4: Xfwm4 theme name's Candido Redux Flat. Xfwm4 and Metacity themes can be found here: http://candido.berlios.de/pages/themes.php Wallpaper: Cloud and Moon 1 http://gnome-look.org/content/show.php?content=92520...


Platforms: *nix

Bacula is an Open Source set of computer programs that permits the system administrator to manage backup, recovery, and verification of computer data across a network of computers of different kinds. Bacula can also run entirely upon a single computer and can backup to various types of media,...


Platforms: Windows, *nix

X10 is an experimental new language currently under development at IBM in collaboration with academic partners. The X10 effort is part of the IBM PERCS project (Productive Easy-to-use Reliable Computer Systems) in the DARPA program on High Productivity Computer Systems. The PERCS project is...


Platforms: *nix

Kamaelia is a toy box, a toolkit, a library of components you can take and bolt together, customise and create your own. This includes components for TCP/multicast clients and servers, backplanes, chassis, Dirac video encoding & decoding, Vorbis decoding, pygame & Tk based user interfaces and...


Platforms: *nix

Sleeper is a small utility program developed by PassMark Software to help test the ability of PC systems to enter and recover from sleep and hibernation. It has been designed to work with PassMark BurnInTest but will also work with 3rd party applications. Sleeper allows you to, * Put a PC into...


Platforms: Windows

McAfee GetSusp is intended for users who suspect undetected malware on their computer. GetSusp eliminates the need for deep technical knowledge of computer systems to isolate undetected malware. It does this by using a combination of heuristics and querying the McAfee Global Threat Intelligence...


Platforms: Windows