Institutional Repository

Browsing Quaestiones Informaticae (QI) by Author "Philips, N.C.K."

Browsing Quaestiones Informaticae (QI) by Author "Philips, N.C.K."

Sort by: Order: Results:

  • Philips, N.C.K. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    This paper presents an axiomatic specification of a data type which is shown to be equivalent to the Vienna data structures. The advantage of this alternative approach is its obvious simplicity.
  • Philips, N.C.K. (Computer Society of South Africa (on behalf of SAICSIT), 1979)
    Despite intensive research the P = NP question is unresolved and the research suggests thatitis hard to answer. The corresponding question for query machines with recursive oracles is undecidable in set theory. Simply ...
  • Postma, Stef W.; Philips, N.C.K. (S W Postma and N C K Phillips (1988) The parallel conditional. Computer Society of South Africa (on behalf of SAICSIT), 1988)
    The parallel conditional is a new but natural programming language construct. It is particularly suited to evaluation on parallel maclunes and generalizes other well known conditionals.
  • 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 ...

Search UnisaIR


Browse

My Account