College of Science, Engineering and Technology: Recent submissions

  • A reusable kernel for the development of control software 
    Fouche, W De Villiers, PJA (1991)
    A kernel has been developed which can be used to simplify the development of control software. It can be used to control several physical machines which are interconnected via a fast local area network. One or more virtual ...
  • Improving a control and sequencing language 
    Fair, CA Smit, GD (1991)
    In a process control environment, batch processes, as opposed to continuous pro­cesses, are characterised by multi-product manufacturing lines producing relatively small quantities which often involves frequent product ...
  • An implementation of Linda tuple space under the Helios operating system 
    Clayton, PG Wentworth, EP Wells, GC de-Heer-Menlah, FK (1991)
    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 ...
  • Concurrency control mechanisms for multidatabase systems 
    Deacon, A (1991)
    In conventional systems, transaction management has been thoroughly investigated and is now considered to be well understood. Transaction management in multidatabase systems, however, is less well understood. A multidatabase ...
  • An extensible system and a programming tool for workstation computers 
    Wirth, N (1987)
  • Petri net topologies for a specification language 
    Watson, AG (1987)
    This paper presents a formal technique for enforcing deterministic exec­ution in Petri nets, and proceeds to demonstrate how the resultant topology may be used to enforce partial sequencing so that various ...
  • A new general-purpose operating system 
    Venter, BH (1987)
    The current generation of widely-used, multi-user, general-purpose operating systems have evolved from versions that were designed when many of the issues that are important today were unimportant or not even thought of. ...
  • Polygon shading on vector type devices 
    Scheepers, CF (1987)
    A method is presented whereby the interior of boundary-defined regions on vector type devices may be shaded using regular line, cross-hatch and dot patterns. Different shades are realized by changing ...
  • Modelling distributed database concurrency control overheads 
    Rennhackkamp, MH (1987)
    Numerous concurrency control methods have been proposed for distributed databases. Various criteria are used to compare these methods. The comparisons range from qualitative overviews through quantitative analyses ...
  • The development of a software fault tolerant system for a real time control environment 
    Morris, MA (1987)
    Difference equation methods are used to develop redundant (n-version) programs required for high reliability computing systems. The n-version programs are developed by exploiting the iterative nature of real time software. The ...
  • Towards a programming environment standard in LISP 
    Mori, R (1987)
    The programming requirements of the Artificial Intelligence ( AI ) community have led to the creation of tools to aid the software development process. One such tool is the programming environment. ...
  • Three packaging rules for information systems design 
    Mende, J (1987)
    After identifying the processing functions required in a computer based information system, the designer needs to combine them into an optimal se t of load un its. Some “packaging” arrangements yield a better system than ...
  • An approximate solution method for multiclass queueing networks with state dependent routing and window flow control 
    Krzesinski, AE (1987)
    A Multidass Queueing Network (MQN) Q ( N, .M ) consisting of M centres with index set .M and population vector N is partitioned into two subnetworks Q ( fJ -V , .M -1) ) and Q (V , V ) . The centres in Q (V , · V ) are ...
  • A protocol validation system 
    Punt, JL (1987)
    This paper discusses a protocol validation system. The input to the system is a protocol definition specified in the specification language ESTELLE. The ESTELLE specification is the input to a translator program which ...
  • An approach to direct end-user usage of multiple databases 
    Philips, MJ (1987)
    The difficulties encountered by users without experience of the use of multiple databases are described, as well as an approach which allow such users to make worthwhile use of these systems, encompassing potentially ...
  • On syntax and semantics related to incomplete information databases 
    Orlowska, ME (1987)
    We propose a mathematical model of a database with incomplete information, which we call the N-system. Basically speaking, such a system stores information concerning properties of some objects. The information may be ...
  • Sums and products of square-zero matrices 
    Hattingh, Christiaan Johannes (2018-03)
    Which matrices can be written as sums or products of square-zero matrices? This question is the central premise of this dissertation. Over the past 25 years a signi - cant body of research on products and linear combinations ...
  • 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 ...

Search UnisaIR


Browse

My Account