Browsing Dept. of Computer Science by Issue Date
Now showing items 1-20 of 311
-
Analytical differentiation by computer using a Symmetrical List Processor
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1972)The Symmetrical List Processor SLIP; developed by Professor Joseph Weizenbaum of MIT, was implemented with considerable modifications and additions on the University of Cape Town computer. A package to perform automated ...
-
A fast procedure for generating random numbers by a modification of the Marsaglia-Maclaren method
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1974)Marsaglia and Maclaren combined two linear congruential generators in order to produce a pseudo random number sequence uniformly distributed in the range [0,2³⁵]. Their method is a considerable improvement compared with ...
-
Implementation of a structured PL/I subset compiler
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1974)The thesis describes the design and implementation of a PL/I subset compiler which produces a hypothetical stack code as output. The compiler was based on a Pascal compiler developed by N. Wirth and U. Amman of Eidgenössische ...
-
Evaluation of a multiprogramming time sharing system through simulation.
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1975)The thesis describes the design and implementation of a simulation model. The model is patterned after the EXEC-8 multiprogramming time sharing operating system on the UNIVAC 1106 computer at the computer centre of the ...
-
An integrated payroll-pension system
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1977)An integrated payroll-pension system designed specifically for commercial users with limited computer resources is presented. This system combines in a single system the usual functions of both a payroll system and a pension ...
-
The design and implementation of an image processing system
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1978)Three of the branches of image processing are touched upon herein: image capture, enhancement and display. Image capture here means 'the making available of an image for further processes to be carried out on it'. This is ...
-
A high level disc controller
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1979)Since the emergence of the digital computer in the 1940s, computer architecture has been largely dictated by the requirements of mathematicians and scientists. Trends have thus been towards processing data as quickly and ...
-
Electronic text processing in the large South African life assurance companies
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1981)The use of computer technology and magnetic storage media for production typing led to a new term "word processing". In this research word processing is considered to be part only of a more comprehensive concept - electronic ...
-
Viaduct : an interactive, very-high-level data manipulation language for a microcomputer-based database system.
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1982)A very-high-level data manipulation language for a database system is one in which the user specifies in non-procedural terms the operations that are to be performed on the data stored in the database; the actual method ...
-
Measuring the efficiency of software development in a data processing environment
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1982)The development of software for data processing systems has, during the last 25 years, grown into a large industry. Thus the efficiency of the software development process is of major importance. It is indicative of the ...
-
The semantic database model as a basis for an automated database design tool
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1983)The automatic database design system is a design aid for network database creation. It obtains a requirements specification from a user and generates a prototype database. This database is compatible with the Data Definition ...
-
The implementation of a front end processor for a subset of ADA
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1983)ADA is a high level programing language sponsored by the United States Department of Defence primarily for use in real-time systems. It has all the structures present in modern algorithmic languages with additional features ...
-
FLOW : a programming environment using diagrams
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1984)A graphical language is developed as a generalization of the structured flowcharts proposed by Nessi and Shneiderman. This language can be used in the specification of procedures, procedure interfaces and data structures. ...
-
Specification and verification of context conditions for programming languages
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1986)Context conditions - also called static semantics - are the constraints on computer programs that cannot be reasonably expressed by a context-free grammar, but that can be statically checked without considering the execution ...
-
The implementation of a generalized table driven back end processor
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1987)This thesis discusses the University of Cape Town implementation of a table driven back end processor. The back end processor takes as input an intermediate tree representation of a high level programming language. It ...
-
Using CAMAC hardware for access to a particle accelerator
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1988)The design and implementation of a method to software interface high level applications programs used for the control and monitoring of a Particle Accelerator is described. Effective methods of interfacing the instrumentation ...
-
The development of an expert system shell with a mixed knowledge representation, explicit control of reasoning and a truth maintenance system
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1988)This thesis concentrates on several important issues in expert system research, namely - representation of knowledge - control of reasoning - implementation of non-monotonic logics via truth maintenance systems. There are ...
-
An Estelle compiler
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1988)The increasing development and use of computer networks has necessitated international standards to be defined. Central to the standardization efforts is the concept of a Formal Description Technique (FDT) which is used ...
-
A file server for the DistriX prototype : a multitransputer UNIX system
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1989)The DISTRIX operating system is a multiprocessor distributed operating system based on UNIX. It consists of a number of satellite processors connected to central servers. The system is derived from the MINIX operating ...
-
DistriX : an implementation of UNIX on transputers
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1989)Two technologies, distributed operating systems and UNIX are very relevant in computing today. Many distributed systems have been produced and many are under development. To a large extent, distributed systems are considered ...