Browsing Dept. of Computer Science by Issue Date
Now showing items 41-60 of 311
-
Visualizing the memory performance of parallel programs with Chiron
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)This thesis describes Chiron, visualization system which helps programmers detect memory system bottlenecks in their shared-memory parallel applications. Chiron is different from most other performance debugging tools in ...
-
Generalised Markovian analysis of timed transition systems
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)This dissertation concerns. analytical methods for assessing the performance of concurrent systems. More specifically, it focuses on the efficient generation and solution of large Markov chains which are derived from models ...
-
Information visualisation
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)Information visualisation uses interactive three-dimensional (3D) graphics to create an immersive environment for the exploration of large amounts of data. Unlike scientific visualisation, where the underlying physical ...
-
Visualizing the performance of parallel programs
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1996)The performance analysis of parallel programs is a complex task, particularly if the program has to be efficient over a wide range of parallel machines. We have designed a performance analysis system called Chiron that ...
-
Visually querying object-oriented databases
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1997)As database requirements increase, the ability to construct database queries efficiently becomes more important. The traditional means of querying a database is to write a textual query, such as writing in SQL to query a ...
-
Exploiting persistence in CASE technology
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1997)A Design Workbench has been built for Napier88 [MBC+94] as part of the natural progression towards developing better product systems and improving software construction tools. The system includes a Metamodeller (enabling ...
-
Distributed shared memory for virtual environments
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1997)This work investigated making virtual environments easier to program, by designing a suitable distributed shared memory system. To be usable, the system must keep latency to a minimum, as virtual environments are very ...
-
Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1997)In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and ...
-
Distributed analysis of Markov chains
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)This thesis examines how parallel and distributed algorithms can increase the power of techniques for correctness and performance analysis of concurrent systems. The systems in question are state transition systems from ...
-
Bisimulation as a verification and validation technique for message sequence charts
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence ...
-
A graphical representation for the formal description technique Estelle
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description ...
-
An extension to optic flow analysis for the generation of computer animated images
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)This dissertation seeks to develop image based animation methods using the technique of optic flow analysis developed for a moving planar object. Image based rendering is presented as a class of algorithm using two dimensional ...
-
Bottom-up evaluation of HiLog in the context of deductive database systems
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language ...
-
Pattern recognition and the nondeterminable affine parameter problem
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)This thesis reports on the process of implementing pattern recognition systems using classification models such as artificial neural networks (ANNs) and algorithms whose theoretical foundations come from statistics. The ...
-
ROLAND : a tool for the realistic optimisation of local access network design
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 1999)Investment in the local access network represents between 50% and 70% of capital investment of a telecommunications company. This thesis investigates algorithms that can be used to design economical access networks and ...
-
Perceptual refinement for hierarchical radiosity
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2000)This dissertation explores the use of a simple model of the human visual system to yield a performance improvement with hierarchical radiosity. Hierarchical radiosity is a physically based rendering algorithm and hence ...
-
Distributed authentication to preserve privacy through smart card based biometric matching
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2000)This thesis focuses on privacy concerns, specifically those relating to the storage and use of biometrics. These concerns result from the fact that biometric information is unique. This uniqueness makes the biometric a ...
-
An extended spreadsheet paradigm for data visualisation systems, and its implementation
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2000)We describe a data visualisation system which uses spreadsheets as its user interface metaphor. Similar systems implemented in the past were hampered by the contradiction between an imperative formula language and the ...
-
Visualisation of ATM network connectivity and topology
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2001)ATM and dynamic reconfiguration allow for rapid changes in a virtual path network depending on traffic load and future demands. This technology improves the utilisation, lowers the call blocking probability and increases ...
-
Investigating cost effective communication alternatives for geographically hostile regions
(University of Cape TownFaculty of ScienceDepartment of Computer Science, 2001)The lack of communication facilities in developing countries is a constraint to social, political and economic empowerment of the people. However, advances in technology promise to deliver voice, video and data communication ...