College of Science, Engineering and Technology: Recent submissions

  • The design and use of a Prolog trace generator for CSP 
    Kourie, DG (1987)
    The role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described ...
  • Hidden surface elimination in raster graphics using visigrams 
    Gorringe, HP (1987)
    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 ...
  • The representation of chemical structures by random context structure grammars 
    Ehlers, EM; Von Solms, SH (1987)
    A representation of chemical molecules by Random Context Structure Grammars is proposed. Random Context Structure Grammars generate three-dimensional digital structures. Random Context Structure Grammars and Random Context ...
  • The ELSIM language: an FSM-based language for the ELSIM SEE 
    Du Plessis, L; Borman, C (1987)
    A formal requirements specification language, the ELSIM language, is presented. The language uses conceptual models for modelling data processing, and control characteristics and behaviour of real-time systems, and is ...
  • Ada for multi-microprocessors: some problems and solutions 
    Bishop, JM (1987)
    This paper looks at ways of obtaining a distributed version of an Ada program. Since current approaches require a large investment in system software, we propose instead the use of an Adapter, which can be a manual methodology ...
  • A generalised expression structure 
    Van Biljon, WR (1987)
    The expression structure of programming languages is examined. Two weaknesses are identified. The first pertains to the inability, or limited ability, to redefine operators or to define new operators. The second pertains ...
  • A semantic data model approach to logical data independence 
    Berman, S (1987)
    Semantic data models were originally introduced as a tool for data description and design. SDMI (Semantic Data Model Interface) investigates their use in another role - as the basis for a data manipulation language - and ...
  • SPS-ALGOL: Semantic constructs in a persistent programming language 
    Berman, S (1987)
    Persistent data is defined as that which survives on secon­dary store after program execution terminates. In a persistent programming language there is no distinction what ­ever between persistent data and ...
  • A writing support tool for distance students 
    Barrow, J (1995)
    This paper describes SuperText, a computer program designed to support productive expository writing processes among students at a distance teaching university . Being able to write well is an important communication ...
  • Critical success factors for implementing CASE at a selection of companies in South Africa 
    Addison, TM; Hamersma, S (1995)
    We discuss the implementation of Rhoda, our Linda-like Tuple Space server which runs under the Helios operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run time- ...
  • A Java client/server system for accessing arbitrary CANopen fieldbus devices via the Internet 
    Buhler, D; Nusser, G; Gruhler, G; Kuchlin, W (South African Computer Society (SAICSIT), 1999)
    This paper describes the Java CAN API a portable and extensible application interface to arbitrary CANopen fieldbus devices. This API forms the basis for the implementation of JRCC (Java Remote CAN Control), a tool which ...
  • Dynamic deadlock avoidance: a prototype 
    Blewett, CN; Erwin, GJ (South African Computer Society (SAICSIT), 1996)
    In this paper, we describe a prototype of an expert system software advisor for the deadlock treatment of a lock manager in a database system. The software advisor, called EAGLE (External Advisor for Granting Locks ...
  • Some current practices in evaluating IT benefits in South African organisations 
    Sutherland, F (South African Computer Society (SAICSIT), 1994)
    IT has a dynamic impact on organisations and little research has been done especially on the extent to which senior executives take the different system types into account when they appraise an IT investment. The aim of ...
  • A survey of information authentication techniques 
    Smuts, WB (South African Computer Society (SAICSIT), 1994)
    This article provides a survey of techniques which can be used to add authenticity to electronic documents and messages.
  • Object oriented programs and a stack based virtual machine 
    Waldron, JT (South African Computer Society (SAICSIT), 2000)
    Dynamic quantitative measurements of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine are made. Two Eiffel programs are dynamically analysed while executing on the JVM, and the results ...
  • Syntactic description of neighbourhood in quadtree 
    Tapamo, JR (South African Computer Society (SAICSIT), 2000)
    Region representation is very important in Graphics and Image Processing. This paper is concerned with a formalisation of image representation by quadtrees. Indeed an image here is a language over an alphabet of four ...
  • Orthogonal axial line placement in chains and trees of orthogonal rectangles 
    Sanders, ID; Watts, DC; Hall, AD (South African Computer Society (SAICSIT), 2000)
    Previous research has shown that the orthogonal axial line placement problem for orthogonal rectangles is NP-complete in general but also that there are restrictions of the problem for which polynomial time solutions can ...
  • Multilingual training of acoustic models in automatic speech recognition 
    Nieuwoudt, C; Botha, EC (South African Computer Society (SAICSIT), 2000)
    This paper evaluates the performance of a speech recognition system using acoustic models trained on multilingual data. The reason in our case for using data from more than one language is that there may not be enough ...
  • Scalability of the RAMpage memory hierarchy 
    Machanick, P (South African Computer Society (SAICSIT), 2000)
    The RAMpage memory hierarchy is an alternative to the traditional division between cache and main memory: main memory is moved up a level and DRAM is used as a paging device. As the CPU-DRAM speed gap grows, it is expected ...
  • Image coding with fractal vector quantization 
    Cloete, E; Venter, LM (South African Computer Society (SAICSIT), 2000)
    In this paper, we address the time complexity problem associated with fractal image coding. In particular, we describe a new hybrid technique called Fractal Vector Quantization (FVQ), which takes advantage of the best ...

Search UnisaIR


Browse

My Account