College of Science, Engineering and Technology: Recent submissions

  • Extending local recovery techniques for distributed databases 
    Viktor, HL Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1992)
    The most frequently used local database system failure recovery techniques are logging , shadowing and differential files. In a distributed database these local system failure recovery techniques may be·utilized for recovery ...
  • Integrating similarity-based and explanation-based learning 
    Oosthuizen, GD Avenant, C (South African Institute of Computer Scientists and Information Technologists, 1992)
    Recently, there have been various attempts to combine the strengths of similarity-based learning (SBL) and explanation­-based learning (EBL) in a single learning system. We describe a graph-based learning method called ...
  • Analysing routing strategies in sporadic networks 
    Melville, SW (South African Institute of Computer Scientists and Information Technologists, 1992)
    Communications networks with sporadically available links pose particular problems in terms of delay analysis. This paper presents an approach to determining the effectiveness of various routing strategies when applied to ...
  • Design of an object-oriented framework for optimistic parallel simulation on shared-memory computers 
    Machanick, Philip (South African Institute of Computer Scientists and Information Technologists, 1992)
    Parallel simulation, if it is to become a mainstream technology, must become reasonably accessible to programmers without unusual skills. Since low-cost shared memory machines are becoming an increasing possibility, a ...
  • The design and analysis of distributed virtual memory consistency protocols in an object oriented operating system 
    MacGregor, K.J. Campbell, RH (Soutth African Institute of Computer Scientists and Information Technologists, 1992)
    An object-orientated framework for the design of distributed virtual memory consistency protocols is presented. It is shown that custom designed protocols for different types of applications are easy to construct and use ...
  • An implementation of the parallel conditional 
    Jayasekera, U Philips, N.C.K. (South African Institute of Computer Scientists and Information Technologists, 1992)
    The parallel conditional, a natural generalisation of both Lisp's COND and Dijkstra's guarded commands, is particularly suited to parallel processing. This note describes the implementation of a preprocessor that enables ...
  • Evaluating the motivating environment for information systems personnel in South Africa compared to the United States 
    Couger, JD Smith, DC (South African Institute of Computer Scientists and Information Technologists, 1992)
    The South African computer industry suffers from a shortage of skilled staff. Therefore, an important management issue is to maximise the productivity and motivation of Information Systems (IS ) staff in their current and ...
  • 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 ...

Search UnisaIR


Browse

My Account