Institutional Repository

Browsing SAICSIT Digital Archive by Title

Browsing SAICSIT Digital Archive by Title

Sort by: Order: Results:

  • 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 ...
  • Petri net topologies for a specification language 
    Watson, AG (1987)
    This paper presents a formal technique for enforcing deterministic exec­ution in Petri nets, and proceeds to demonstrate how the resultant topology may be used to enforce partial sequencing so that various ...
  • PEW: A tool for the automated performance analysis of protocols 
    Wheeler, G; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1992)
    The Protocol Engineering Workbench (PEW) is an integrated software system or tool for the analysis of communication protocols specified using the Estelle Formal Description Technique or FDT. The execution of systems specified ...
  • pGCL: formal reasoning for random algorithms 
    Morgan, C; McI, A (South African Computer Society (SAICSIT), 1998)
    Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...
  • 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 ...
  • 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 ...
  • Placing processes in a transputer-based Linda programming environment 
    Clayton, Peter G.; de-Heer-Menlah, FK; Wentworth, EP (South African Computer Society (SAICSIT), 1992)
    This paper presents a process placement algorithm, designed for use in a transputer-based implementation of the Linda programming environment. A static, heuristic approach is adopted, which takes cognisance of the special ...
  • PLaVa: a lightweight persistent Java virtual machine 
    Tjasink, S; Berman, S (2000)
    This paper describes the implementation and tuning of an orthogonally persistent Java Virtual Machine (JVM) for small computers. It is based on a JVM that was targeted at a digital satellite television decoder with 1 ...
  • A pluralist systemic framework for the evaluation of factors affecting software development productivity 
    Petkova, O; Roode, JD (1998)
    pAst software development productivity research has taken two main directions: in the first, research has concentrated on determining the factors which have a significant effect on productivity; and in the second, the ...
  • A pluralistic approach to systems development 
    Lai, LSL (South African Computer Society (SAICSIT), 1995)
    It is believed that revolutionary developments in information technology may allow developing countries to leapfrog obsta­cles to development if they can successfully apply the new technology. However, many organizations ...
  • Pointers as a data type 
    Philips, N.C.K.; Postma, Stef W. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    The distinction between an abstract data type and an implementation of a data type is not as clear as is commonly thought. A hash table can be used to implement the type bag but few of our colleagues think of a hash table ...
  • Polygon shading on vector type devices 
    Scheepers, CF (1987)
    A method is presented whereby the interior of boundary-defined regions on vector type devices may be shaded using regular line, cross-hatch and dot patterns. Different shades are realized by changing ...
  • Polygon shading on vector type devices 
    Scheepers, C.F. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    A method is presented whereby the interior of boundary-defined regions on vector type devices may be shaded using regular line, cross-hatch and dot patterns. Different shades are realized by changing shading parameters ...
  • A power-order semantics for Nonmonotonic Logic I & II 
    Heidema, J; Labuschagne, WA; Meyer, TA; Rosenblatt, H (1995)
  • The practical application of a new class of 2D non-linear smoothers for digital image processing. 
    Cloete, E (1996)
    Modern applications in computer graphics and telecommunications command high performance filtering and smoothing corrections to be implemented in real-time. The recent development of a new class of non-linear smoothers for ...
  • Practical experience in running a virtual class to facilitate on-campus undergraduate teaching 
    Brown, S (1998)
    This paper discusses the current use of an Internet Education Support Program (IESP). This software package uses Internet-based tools which allows the educator to use collaborative learning techniques in both face-to-face ...
  • The practice of clausification in automatic theorem proving 
    Sutcliffe, G; Melville, S (South African Computer Society (SAICSIT), 1996)
    In the process of resolution based Automatic Theorem Proving, problems expressed in First Order Form (FOF) are transformed by a clausifier to Clause Normal Form (CNF). This research examines and compares clausifiers. ...
  • A pragmatic approach to bitemporal databases: conceptualisation, representation and visualisation 
    Njovu, C; Gray, WA (South African Computer Society (SAICSIT), 1999)
    In this paper, we describe a pragmatic approach to bitemporal data modelling, logical representation and visualisation. Our proposed approach, herein referred to as the Bitemporal Object, State and Event Modelling Approach ...
  • A pragmatic approach to development information to provide service on a wide scale 
    Mncube, SS (South African Computer Society (SAICSIT), 1996)
    The rapid technological growth in our time has produced an explosion of information. This, in tum, has spawned information systems based on the use of computers and automated systems. These mechanised devices with their ...
  • Predicting the performance of shared multiprocessor caches 
    Goosen, HA; Cheriton, DR (South African Institute of Computer Scientists and Information Technologists, 1990)
    We investigate the performance of shared caches in a shared-memory multiprocessor executing parallel programs, and formulate simple models for estimating the load placed on the bus by such a shared cache. We·analyze three ...

Search UnisaIR


Browse

My Account