This paper advocates hands-on training on microprogrammable hardware for Computer Science students, and suggests an appropriate microprogram development approach for this purpose. The particular tool discussed is ...

The efficient use of multiprogrammed industrial control computers is largely a function of the relationship between hardware and software. A shift in this relationship is desirable, since multiprogrammed computers typically ...

The advent of Internet Commerce represents a significant threat to taxation revenue collection for governments throughout the world. Governments cannot prevent the creative and innovative commercial use of the Internet in ...

A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...

In any form of display where three-dimensional images are required to be projected onto a two-dimensional display the hidden surface or hidden line removal certainly helps to enhance the realism of the final image. This ...

Two approaches to high-level debugging systems for Pascal are compared, namely the use of a debugging precompiler as against a debugging interpreter. A description is given of a high-level Pascal debugging interpreter ...

The language LISP 1.5 is neither easy to write nor to read. In the McCarthy etal. definitive manual on LISP 1.5 a higher level language, MLISP, is used From the early 1960's various people have proposed higher level ...

HILOG is a new logic programming language with a higher-order syntax allowing the elegant expression of many tasks requiring meta-predicates in Prolog. We are in the process of developing a compiler and programming environment ...

The Homological transfer method is a very efficient research method which is based on similarities between manufacturing, financial, educational, informational and other productive processes. The existence of these ...