Institutional Repository

South African Computer Journal 1992(6)

South African Computer Journal 1992(6)

 

Recent Submissions

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Machanick, P (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 ...
  • MacGregor, KJ; 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 ...
  • Jayasekera, U; Phillips, NCK (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 ...
  • 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 ...
  • Clayton, PG; 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 ...
  • Clayton, PG (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 ...
  • 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.