School of Computing: Recent submissions

  • An implementation of Linda tuple space under the Helios operating system 
    Clayton, Peter G.; Wentworth, EP; Wells, GC; de-Heer-Menlah, FK (th African Institute of Computer Scientists and Information Technologists, 1992)
    We discuss the implementation of Rhoda, our Linda(i)-like Tuple Space server which runs under the Helios(ii) operating system. The approach analyses and partitions tuple space at compile time in order to reduce the run ...
  • The CSP notation and its application to parallel processing 
    Clayton, Peter G. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The principles put forward by Hoare' s CSP proposals have been a foundational influence in the development of distributed and parallel processing software and hardware. This paper provides a brief introduction to the ...
  • Modelling the algebra of weakest preconditions 
    Brink, C; Rewitzky, I (th African Institute of Computer Scientists and Information Technologists, 1992)
    Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra. The problem then is to find a reasonable (set-theoretic ) model of this algebra. This paper provides one.
  • The physical correlates of local minima 
    Wessels, LFA; Barnard, E; Van Rooyen, E (South African Institute of Computer Scientists and Information Technologists, 1991)
    The training of neural-net classifiers is often hampered by the occurrence of local minima, which results in the attainment of inferior classification performance. We study the problem of local minima in order to devise ...
  • Knowledge representation using formal grammars 
    Von Solms, S.H.; Ehlers, E.M.; Enslin, DJ (South African Institute of Computer Scientists and Information Technologists, 1991)
    In this paper, formal grammars, specifically random context grammars, are used as a vehicle for knowledge representation in expert systems. Random context grammars and the manner in which they are used to represent knowledge ...
  • An efficient primal simplex implementation for the continuous 2-matching problem 
    Smith, THC; Meyer, TWS; Leenen, L (South African Institute of Computer Scientists and Information Technologists, 1991)
    The continuous 2-matching problem {RMP2) is the relaxation of the symmetric travelling salesman problem {STSP) used by Padberg & Rinaldi to develop a highly successful branch-and-cut algorithm for the STSP. ...
  • An update on UNINET-ZA: The Southern African Academic and Research Network 
    Shaw, V (South African Institute of Computer Scientists and Information Technologists, 1991)
    The UNINET Academic and Research Network is a collaborative project among Universities, Research Councils and the FRD for the development, implementation and promotion of an academic and research network of computers ...
  • PEST - A microcomputer Pascal base expert system shell 
    Sartori-Angus, AG; Neville, R (South African Institute of Computer Scientists and Information Technologists, 1991)
    The PEST System is a totally interactive, forward chaining, rule-based expert system shell. It was primarily, though not exclusively, designed for the development of scientifically related expert systems in Pascal, involving ...
  • Concept network framework for a multi-paradigm knowledge base 
    Kambanis, J (South African Institute of Computer Scientists and Information Technologists, 1991)
    This paper describes a conceptual framework and an implementation medium for constructing multi-paradigm knowledge bases. The idea of a concept network is used as a basis for storing knowledge in different knowledge ...
  • A Linda solution to the evolving philosophers problem 
    Hazelhurst, SE (South African Institute of Computer Scientists and Information Technologists, 1991)
    The dining philosophers problem and the evolving philosophers problems are abstractions of resource sharing problems in parallel and distributed systems. A Linda solution to the dining problem has already been shown; this ...
  • An investigation in the separation of the application from its user interface 
    Greyling, JH; Warren, PR (South African Institute of Computer Scientists and Information Technologists, 1991)
    The separation of an interactive program's application from its user interface is investigated. In order to support good human interaction, the interface requires a deep knowledge of the application. This is in direct ...
  • The placement of subprograms by an automatic programming system 
    Du Plessis, JP; Messerschmidt, HJ (South African Institute of Computer Scientists and Information Technologists, 1991)
    Programming in a procedural language such as Pascal usually involves the development of subprograms. An auto­matic programming system needs a systematic method to determine the placement (position) of a subprogram in a ...
  • A method of controlling quality of application software 
    Crossman, T.D. (South African Institute of Computer Scientists and Information Technologists, 1991)
    This paper describes the inspection team process and explores its value to the application developer. The conclusion reached is that the technique does incur added development costs, but the whole process brings with it ...
  • Cost-effective visual simulation based on graphics workstations 
    Caduri, A; Kourie, D.G. (South African Institute of Computer Scientists and Information Technologists, 1991)
    Visual simulators can play a key role in personnel training and the evaluation of engineering designs. Although commercially available simulators provide realistic 3D perspective images, they are priced in the million ...
  • Why the fuss about neural networks? 
    Barth, G (South African Institute of Computer Scientists and Information Technologists, 1991)
    Currently, there is a certain hype about issues related to neural networks. This is somewhat surprising since the origins of neural nets date back some 40 years. At that time, several researchers experimented with distributed ...
  • The fixpoint theorem in the El-Calculus 
    Postma, SW; McGee, A (South African Institute of Computer Scientists and Information Technologists, 1990)
    The οr.1-calculus is presented as an extension to the standard 1-calculus, and a r.1-term called the strong conditional is discussed. The strong conditional is shown to be non-monotomic, and an extension is made to the ...
  • A review of the use of computers in education in South Africa: Tertiary education 
    Pistorius, MC; Fallick, PM (South African Institute of Computer Scientists and Information Technologists, 1990)
    This informal review is based on personal discussions carried out within the last year with various experts in the field on the current use of computers in tertiary education, particularly at universities. An attempt has ...
  • MINIX for a distributed database system 
    Meumann, MD; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1990)
    A user of a distributed database management system must be able to access data which is stored on a number of different sites, connected by a network, without being aware of the physical data distribution. The NRDNIX ...
  • A file server for a multi-transputer UNIX system 
    Hoffman, PK; Smit, G de V (South African Institute of Computer Scientists and Information Technologists, 1990)
    The DISTRIX operating system is a multiprocessor UNIX-like distributed operating system. It consists of a number of satellite processors connected to central servers. The system is based on the MINIX operating system, ...
  • Review of mapping neural networks in classification systems 
    Hing, RL (South African Institute of Computer Scientists and Information Technologists, 1990)
    An old approach used in classification systems has been revived by the discovery of new algorithms which use this approach to approximate complex non-linear functions. This approach, known as neurocomputing, classifies ...

Search UnisaIR


Browse

My Account