Institutional Repository

South African Computer Journal 1992(6)

South African Computer Journal 1992(6)

 

Recent Submissions

  • 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 ...
  • Efficient evaluation of regular path programs 
    Wood, PT (South African Institute of Computer Scientists and Information Technologists, 1992)
    The next generation of query languages for database systems should have the ability to express recursive queries, the efficient evaluation of which will be crucial to the success of these systems. One such query language ...
  • 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.