Browsing Dept. of Computer Science by Issue Date
Now showing items 21-40 of 311
-
Office automation
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1989)Office automation systems have become an essential tool for the operation of the modern office. With the emphasis of a modern office being placed on efficiency and ease of communication, office automation systems have ...
-
Specification and implementation of the Larch shared language
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1989)This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...
-
Semantic optimisation in datalog programs
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1990)Datalog is the fusion of Prolog and Database technologies aimed at producing an efficient, logic-based, declarative language for databases. This fusion takes the best of logic programming for the syntax of Datalog, and the ...
-
Parallelisation of algorithms
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1990)Most numerical software involves performing an extremely large volume of algebraic computations. This is both costly and time consuming in respect of computer resources and, for large problems, often super-computer power ...
-
SSDE : structured software development environment
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1990)Software engineers have identified many problem areas regarding the development of software. There is a need for improving system and program quality at design level, ensuring that design costs remain within the budget, ...
-
Modelling adaptive routing in Wide Area Networks
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1991)This study investigates the modelling of adative routing algorithms with specific reference to the algorithm of an existing Wide Area Network (WAN). Packets in the network are routed at each node on the basis of routing ...
-
A control and sequencing language
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1991)In a process control environment, hatch processes, as opposed to continuous processes, are characterised by multi-product manufacturing lines which often involve frequent product changes. One component of batch control ...
-
P-Pascal : a data-oriented persistent programming language
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1991)Persistence is measured by the length of time an object is retained and is usable in a system. Persistent languages extend general purpose languages by providing the full range of persistence for data of any type. Moreover, ...
-
XSnap : a queueing network analysis package
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1992)This dissertation describes the design and implementation of a sophisticated X-Windows based modelling package called XSnap, which can be used to solve product-form mixed multi-class queueing networks. A Graphical User ...
-
HOOD : a Higher-Order Object-Oriented Database model and its implementation
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1992)There is no accepted standard for the object-oriented database paradigm at present, which has led to different definitions of features and conformance requirements. HOOD is a Higher-Order Object-Oriented Database system ...
-
Protocol engineering from Estelle specifications
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1993)The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes ...
-
Rita+ : an SGML based document processing system
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1993)Rita+ is a structured syntax directed document processing system, which allows users to edit documents interactively, and display these documents in a manner determined by the user. The system is SGML (Standard Generalized ...
-
The complexity of Petri net transformations
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1993)This study investigates the complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most ...
-
Spline wavelet image coding and synthesis for a VLSI based difference engine
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1994)The efficiency of an image compression/synthesis system based on a spline multi-resolution analysis (MRA) is investigated. The proposed system uses a quadratic spline wavelet transform combined with minimum-mean squared ...
-
An efficient parallelization of a real scientific application
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1995)In the past decade the cost of computing has come down considerably making high-powered computing more easily affordable. As a result many institutions and organisations now have networks of high-powered workstations. Such ...
-
The efficient evaluation of visual queries within a logic-based framework
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1995)There has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need ...
-
The influence of protocol choice on network performance
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1995)Computer communication networks are a vital link in providing many of the services that we use daily, and our reliance on these networks is on the increase. The growing use of networks is driving network design towards ...
-
Incremental volume rendering using hierarchical compression
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)The research has been based on the thesis that efficient volume rendering of datasets, contained on the Internet, can be achieved on average personal workstations. We present a new algorithm here for efficient incremental ...
-
A distributed computing environment (DCE) based object request broker
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)Object oriented technology has moved beyond being a tool for design and programming and is now being used to implement enterprise wide computer systems. Also, there has been a move from centralised mainframe systems to ...
-
An object-oriented library for shared-memory parallel simulations
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)Programming shared-memory multiprocessor systems is becoming increasingly difficult as the gap between memory speed and processor speed increases. At the same time, this class of computer-based on standard microprocessors-is ...