Institutional Repository

Browsing SAICSIT Digital Archive by Author "Melville, SW"

Browsing SAICSIT Digital Archive by Author "Melville, SW"

Sort by: Order: Results:

  • Analysing routing strategies in sporadic networks 
    Melville, S (1991)
    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 ...
  • 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 ...
  • Investigation of timetabling in tertiary institutions in Southern Africa 
    Nepal, T; Melville, S (1995)
    This paper deals with approaches to the timetabling problem, focusing on tertiary institutions in Southern Africa. A questionnaire which dealt with, inter alia, student population, number of class groups, methods used for ...
  • 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. ...

Search UnisaIR


Browse

My Account