Browsing Dept. of Computer Science by Issue Date

Now showing items 21-40 of 311

  • Office automation 

    Stutz, Peter (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 

    Everett, Yvonne (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 

    Wassell, Mark P (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 

    Schuilenburg, Alexander Marius (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 

    Norman, Michael John (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 

    Hutchison, Andrew (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 

    Fair, Colin A (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 

    Berman, Sonia (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 

    Donnelly, Hylton (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 

    Brand, Michael Max (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 

    Wheeler, Graham (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 

    Zsilavecz, Guido (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 

    Donaldson, Stephen Richard (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 

    Marais, Patrick (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 

    Post, Elizabeth Anne (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 

    Maharaj, Anish (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 

    Whateley, Brendon J (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 

    Haley, Michael Blake (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 

    Van der Vlugt, Anique (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 

    Machanick, Philip (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 ...