Institutional Repository

Browsing South African Computer Journal 1992(6) by Title

Browsing South African Computer Journal 1992(6) by Title

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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.
  • Using statecharts to design and specify a direct-manipulation user interface 
    Van Zijl, L; Mitton, D (South African Institute of Computer Scientists and Information Technologists, 1992)
    Statecharts were developed by Harel et al [10] to specify complex reactive systems. In this paper we report on our application of statecharts as a design and specification tool for an X-Windows based Graphical User Interface ...

Search UnisaIR


Browse

My Account