Institutional Repository

Browsing SAICSIT Digital Archive by Title

Browsing SAICSIT Digital Archive by Title

Sort by: Order: Results:

  • A data structure for exchanging geographical information 
    Cooper, A.K. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    Geographical information consists of non-spatial information (alphanumeric) and spatial information (vector and raster), the relationships between the non-spatial information and the spatial information, as well as ...
  • A data structure for exchanging geographical information 
    Cooper, AK (1987)
    Geographical information consists of non-spatial information (alphanumeric) and spatial information (vector and raster), the relationships between the non-spatial information and the spatial information, as well as the ...
  • Data Structure Traces 
    Schach, Stephen R. (Computer Society of South Africa (on behalf of SAICSIT), 1983)
    Three levels of traces for data structures (as opposed to simple variables) are defined. A machine-code core dump is essentially a low level trace. A high level trace reflects the high level language in which the data ...
  • Data Structures for Generalized Network Algorithms 
    Currin, Desmond C. (Computer Society of South Africa (on behalf of SAICSIT), 1983)
    Generalized network problems involve the optimization of a flow through a network. In contrast to normal networks, generalized networks include multipliers which alter the flow as it passes through the arcs. This enables ...
  • Data structuring via functions 
    Venter, BH (South African Institute of Computer Scientists and Information Technologists, 1990)
    A programming language data model is introduced, based on the notions that variables are functions and types are sets of values. It is shown that, despite the simplicity of the underlying mathematical formalism, the data ...
  • Data-dependence of semantic information 
    Heidema, J; Labuschagne, W.A. (South African Institute of Computer Scientists and Information Technologists, 1990)
    The theory of semantic information is sketched in an algebraic setting, and automorphisms characterising various degrees of incompatibility are introduced. Data-dependent measures of semantic information are defined in ...
  • Database consistency under UNIX 
    Viktor, HL; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1991)
    A recovery technique, to facilitate the recovery from system failures should ensure a consistent database state at all times. The UNIX write system call uses a delayed-write policy. Data blocks are kept in a buffer cache ...
  • Database Design: Choice of a Methodology 
    King, M. C. F.; Naude, G.; von Solms, S. H. (Computer Society of South Africa (on behalf of SAICSIT), 1979)
    Aspects are discussed of the pract.Ical applicat.Ion of recent relatlonal theory The relevant defirut.Ions, extracted from vanous papers, have been restated usmg a common notat.Ion An attempt is made to descnbe unambiguously ...
  • Decision tables as a knowledge representation formalism 
    Podevyn, D. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    A knowledge engineering tool called GESS (General Expert System Shell) is presented which is used for building different types of expert systems. Knowledge representation is based on direct extensions of the idea of decision ...
  • A declarative and non-determinist framework for dynamic object-oriented and constraint logic programming 
    Abdulrab, H; Ngomo, M; Drissi-Talbi, A (South African Computer Society (SAICSIT), 1999)
    LOP (Logic, Object, Parallelism) is a system that integrates object-oriented and constraint logic programming. It is entirely designed and implemented, using object-oriented methodology, under the form of hierarchical ...
  • A declarative framework for temporal discrete simulation 
    Abdulrab, H; Ngomo, M; Drissi-Talbi, A (South African Computer Society (SAICSIT), 2000)
    The aim of this paper is to introduce temporal processes and linear constraints on naturals for solving temporal discrete simulations problems. We first describe a new approach for solving such constraints, based on the ...
  • Deduction systems based on resolution 
    Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...
  • Denotational semantics and domain theory 
    Goslett, J.; Hulley, H; Melton, A (South African Computer Society (SAICSIT), 1993)
    This tutorial is an introduction to denotational semantics and domain theory. For this reason the presentation is not entirely rigorous, with some proofs being omitted and certain simplifying assumptions being made. Instead, ...
  • The design and analysis of distributed virtual memory consistency protocols in an object oriented operating system 
    MacGregor, KJ; Campbell, RH (1991)
    An object-orientated framework for the design of distributed virtual memory consistency is presented. It is shown that custom designed protocols for different types of applications are easy to construct and use within this ...
  • 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 ...
  • Design and implementation of a C++ package for two-dimensional numerical integration 
    Laurie, D; Pluym, L; Cools, R (2000)
    Numerical integration in two dimensions is dominated by the geometry of the region. Good integration formulas are known only for a few simple regions, making it necessary in general to subdivide regions into simpler ...
  • The Design and Microprogrammed Implementation of a Structured Language Machine 
    Finnie, G.R. (Computer Society of South Africa (on behalf of SAICSIT), 1982)
    A computer architecture is described which is suitable for the execution of structured languages (such as Pascal or Algol) at the intermediate language level. The design is heavily stack oriented and consists basically ...
  • The design and usage of a new Southern African Information Systems textbook 
    Erwin, GJ; Blewett, CN (1996)
    Changes in South African society have brought about changes in the background of student audiences and these have stimulated a review of the areas of governance, syllabus, curriculum, teaching methods and research in ...
  • The design and use of a Prolog trace generator for CSP 
    Kourie, DG (1987)
    The role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described ...
  • A design environment for semantic data models 
    Kambanis, J. (South African Institute of Computer Scientists and Information Technologists, 1990)
    This paper describes the functionality and architecture of a Semantic Data Modeling environment. It integrates User Interface techniques used in Computer Aided Software Engineering-and Expert Systems shells into a system ...

Search UnisaIR


Browse

My Account