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

Electronics - DC Current flow - Basic Electronics - Resistor Value Test - Simple DC Circuits - Types of Switching - Variable Voltages - Ohm's Law - DC Voltage - DC Current - Series/Parallel Resistors - AC Measurements - AC Voltage and Current - AC Theory - RCL Series Circuits - RCL Parallel...


Platforms: Windows, Linux

Electronics - DC Current flow - Basic Electronics - Resistor Value Test - Simple DC Circuits - Types of Switching - Variable Voltages - Ohm's Law - DC Voltage - DC Current - Series/Parallel Resistors - AC Measurements - AC Voltage and Current - AC Theory - RCL Series Circuits - RCL Parallel...


Platforms: Windows, Linux

Name: Soft Cleaner About: Automatically speed up your slow computer systems. Anti-Spyware. Advanced web and very advanced file search engine utility. Advanced features. This software is very useful for every computers to instant speed up which is automated with the same configuration....


Platforms: Windows, Windows 8, Windows 7, Windows Server

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

WinGuides Tweak Manager enables casual and experienced computer users alike to effortlessly make their computer systems faster, more efficient and more secure! With just a few mouse clicks you can customize virtually every aspect of your computer, including tweaks for popular software like...


Platforms: Windows

Postal and Banking Barcode Download is helpful and reliable software for organize postal and banking records and other activities in protected and professional way by your stand alone computer systems. Application provides facility to create multiple barcode images in a same time. Postal and...


Platforms: Windows

Post office barcode downloads is powerful software to create and design amazing barcode labels from standalone computer systems. Barcode generator application creates higher quality barcodes in several shape and size with advanced color, font and printing style. Post office barcode download...


Platforms: Windows

Computers are commonplace; every other house, office, shop, school, hospital etc depend upon these computer systems for proper and systematic functioning of their operations. In such a scenario, data loss incidences are common than any other thing in this fast paced computer world. Data loss...


Platforms: Windows

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

About OpenEmulator aims to be an accurate, portable emulator of legacy computer systems. By using a software components framework, it is easy to expand a software emulation with additional software devices, just as a real system could be expanded with real devices. Donate! OpenEmulator took a...


Platforms: Mac