University
of the
Witwatersrand,
Johannesburg

School of Computer Science

Recent Publications

At the moment only a few recent publications are available here. We hope to build this up over time. Other documents are available on personal home pages.

BibTeX list of entries

2007

C. Bhika, S. Ewert, R. Schwartz, M. Waruhiu. Table-Driven Context-Free Picture Grammars. Technical Report TR-Wits-CS-2007-0, January, 2007.Abstract Document pdf (25 pages)
S. Hazelhurst. Computational Performance Benchmarking of the wcd EST Clustering System. Technical Report TR-Wits-CS-2007-1, May, 2007.Abstract Document PDF (10 pages)
S. Hazelhurst. Algorithms for the clustering of expressed sequence tags in the wcd tool. Technical Report TR-Wits-CS-2007-2, May, 2007.Abstract Document PDF (17 pages)
S. Hazelhurst. The wcd 0.4 EST Clustering Tool Manual . Technical Report TR-Wits-CS-2007-3, August, 2007.Abstract Document PDF (35 pages)

2006

B. Kumwenda; S. Rauchas; I. Sanders. The effect of prior programming experience in a Scheme-based breadth-first curriculum. Technical Report TR-Wits-CS-2006-0 , January, 2006.Abstract Document PDF (8 pages)

2005

V. Galpin; I. Sanders. Perceptions of Computer Science among first year students at the University of the Witwatersrand. Technical Report TR-Wits-CS-2005-0, September, 2005.Abstract Document PDF (34 pages)
J Haenen. The suitability of connectionist knowledge representation for artificial creativity. October 2005.

2004

J. Zimmerman; Z. Liptak; S. Hazelhurst. A Method for Evaluating the Quality of String Dissimilarity Measures and Clustering Algorithms for EST Clustering. Technical Report TR-Wits-CS-2004-0, March, 2004.Abstract Document PDF (21 pages)
T. Gotschi. Mental Models of Recursion. Technical Report TR-Wits-CS-2004-1, April, 2004.Abstract Document pdf (87 pages)
D. Wilkins; I. D. Sanders. Axial Line Placement in Deformed Urban Grids. Technical Report TR-Wits-CS-2004-2, April, 2004.Abstract Document gzipped, PostScript (14 pages)
I. D. Sanders; A. Russell. Using Syntax to Improve Word Prediction in a Programming Environment. Technical Report TR-Wits-CS-2004-3, April, 2004.Abstract Document gzipped, PostScript (30 pages)
S. Hazelhurst. An Exploration of Semantics and Implementation for Dynamic Access Lists for TCP/IP Packet Filtering. Technical Report TR-Wits-CS-2004-4, July, 2004.Abstract Document PDF (24 pages) A shorted version appears in the December 2004 issue of the South African Computer Journal: S. Hazelhurst. Semantics, implementation and performance of dynamic access lists for TCP/IP packet filtering South African Computer Journal, 33, November 2004, pp. 38-51.

2003

V.C. Galpin; I. Sanders; H. Turner; B. Venter. . Gender and educational background and their effect on computer self-efficacy and perceptions. Technical Report TR-Wits-CS-2003-0 , April, 2003.Abstract Document PDF (31 pages)
S. Hazelhurst and A. Bergheim. ESTsim: A tool for creating benchmarks for EST clustering algorithms. Technical Report TR-Wits-CS-2003-1, April, 2003.Abstract Document PDF (8 pages)
Scott Hazelhurst and Gloria Aikhorin. Fast Matching of CBG Patterns using FPGAs. Technical Report TR-Wits-CS-2003-2, April, 2003. Postscript
S. Hazelhurst and Z. Liptak and J. Zimmerman . A Comparative Study of Biological Distances for EST Clustering. Technical Report TR-Wits-CS-2003-3, May, 2003.Abstract Document PostScript (13 pages)
I. D. Sanders. Determining the exact solution for placing axial lines to cross the adjacencies between orthogonal rectangles. Technical Report TR-Wits-CS-2003-4, August, 2003.Abstract Document gzipped, PostScript (23 pages)
S. Hazelhurst. The wcd manual: EST clustering using d2. Technical Report TR-Wits-CS-2003-5, July, 2003.Abstract Document PDF (19 pages)
S. Hazelhurst. An Implementation of the d^2 distance function for DNA sequences. Technical Report TR-Wits-CS-2003-6, September, 2003. (9 pages), Abstract Document PS (19 pages)

2002

V. Galpin. Women in Computing around the World: an Initial Comparison of International Statistics. Technical Report TR-Wits-CS-2002-0, February, 2002.Abstract Document gzipped PostScript (15 pages)
S. Hazelhurst. On characteristic and parametric representations of boolean sets. Technical Report TR-Wits-CS-2002-1, March, 2002.Abstract Document gzipped postscript (8 pages)
A. Attar. Performance Characteristics of BDD-Based Packet Filters. Technical Report TR-Wits-CS-2002-2, April, 2002.Abstract Document gzipped postscript (135 pages)
P. Machanick; Z. Patel. The Effect of First-Level Cache Improvements on the RAMpage Memory Hierarchy. Technical Report TR-Wits-CS-2002-3, April, 2002.Abstract Document PDF (6 pages)
G.D. Konidaris; I.D. Sanders. Axial Line Placement in Deformed Urban Grids. Technical Report TR-Wits-CS-2002-4, April, 2002. (46 pages)
S. Hazelhurst; G. Aikhorin. Fast Matching of CBG Patterns with Applications to Protein Matching. Technical Report TR-Wits-CS-2002-5, November, 2002.Abstract Document gzip, PostScript (11 pages)
S. Hazelhurs and J. Arlat. Verifying fault tolerant hardware. Appeared in DCC 2002.

2001

A. Salamon. Task Graph Performance Bounds Through Comparison Methods. Technical Report TR-Wits-CS-2001-0, January, 2001.Abstract Document PDF (141 pages)
P. Machanick. Curriculum 2001 Report-Back. Technical Report TR-Wits-CS-2001-1, April, 2001.Abstract Document PDF (6 pages)
S. Hazelhurst. A Proposal for Dynamic Access Lists for TCP/IP Packet Filering. Technical Report TR-Wits-CS-2001-2, April, 2001.Abstract Document gzipped postscript (13 pages)
P. Machanick. The Case for a Multiprocessor on a Die: MoaD. Technical Report TR-Wits-CS-2001-3, May, 2001.Abstract Document PDF (6 pages)
P. Machanick; Z. Patel. Further Cache and TLB Investigation of the RAMpage Memory Hierarchy. Technical Report TR-Wits-CS-2001-4, May, 2001.Abstract Document PDF (9 pages)
P. Machanick. US Revenue, African Costs: How to Play Globalisation and Win. Technical Report TR-Wits-CS-2001-5, July, 2001.Abstract Document PDF (4 pages)
I. D. Sanders; L. Kenny. Heuristics for placing non-orthogonal axial lines to cross the adjacencies between orthogonal rectangles. Technical Report TR-Wits-CS-2001-6, August, 2001.Document Postscript (16 pages)
I. D. Sanders. Empirical analysis of algorithms is easy or is it?. Technical Report TR-Wits-CS-2001-7, August, 2001.Abstract Document Zipped Postscript (10 pages)
R Sinnappan. A Reconfigurable Approach to TCP/IP Packet Filtering. Technical Report TR-Wits-CS-2001-8, February, 2001.Abstract Document Zipped Postscript (86 pages)

2000

P. Machanick. Scalability of the RAMpage Memory Hierarchy. Technical Report TR-Wits-CS-2000-0, March, 2000.Abstract Document PDF
Y. Chen. Operating Systems for Safety-Critical Applications. Technical Report TR-Wits-CS-2000-1, January, 2000.Abstract Document postscript
S. H. Morton. Software Verification with Symbolic Trajectory Evaluation. Technical Report TR-Wits-CS-2000-2, March, 2000.Abstract Document postscript, gzipped
M. Arteimi. Rule refinement in inductive knowledge-based systems. Technical Report TR-Wits-CS-2000-3, March, 2000.Abstract Document zipped postscript
Y. Chen; Z. He. Evaluating a Dependable Distributed System with Multiple Critical Tasks. Technical Report TR-Wits-CS-2000-4, March, 2000.Abstract Document postscript
Z. He; Y. Chen. Efficient Algorithms for Residual Connectedness Reliability of Distributed Systems. Technical Report TR-Wits-CS-2000-5, March, 2000.Abstract Document postscript
P. Machanick. On the Value of Qualifications: Why go to University or Technikon?. Technical Report TR-Wits-CS-2000-6, May, 2000.Abstract Document PDF
P. Machanick. Experience of Applying Bloom's Taxonomy in Three Courses. Technical Report TR-Wits-CS-2000-7, May, 2000.Abstract Document PDF
I.D. Sanders; D.C. Watts; A. Hall. Orthogonal Axial Line Placement in Chains and Trees of Rectangles. Technical Report TR-Wits-CS-2000-8, June, 2000.Abstract Document Postscript
Y. Chen. Testing for Software Reliability. Technical Report TR-Wits-CS-2000-9, June, 2000.Abstract Document postscript
N. Oren. A Survey of prefetching techniques. Technical Report TR-Wits-CS-2000-10, July, 2000.Abstract Document gzipped postscript
P. Machanick; B. Andrew. Virtual Multicasting as an Example of Information Mass Transit. Technical Report TR-Wits-CS-2000-11, July, 2000.Abstract Document PDF
Z. Patel. Trace Caches in the Context of other Cache Enhancements. Technical Report TR-Wits-CS-2000-12, July, 2000.Abstract Document gzipped,postscript
B. Andrew; P. Machanick. The Virtual Multicasting Approach to Bandwidth Conservation. Technical Report TR-Wits-CS-2000-13, August, 2000.Abstract Document ps.gz
I. D. Sanders. Empirical analysis of algorithms is easy (or is it?). Technical Report TR-Wits-CS-2000-14, September, 2000.Abstract Document PostScript, gzipped
N. du Plessis; I. D. Sanders. Partial Edge Visibility in Chains of Orthogonal Rectangles. Technical Report TR-Wits-CS-2000-15, September, 2000.Abstract Document Postscript, gzipped
T. S. Herbert. Women Role Models in Computer Science at the University of the Witwatersrand. Technical Report TR-Wits-CS-2000-16, October, 2000.

1999

S. Hazelhurst. Generating and Model Checking a Hierarchy of Abstract Models. Technical Report TR-Wits-CS-1999-0, March, 1999.Abstract Document PostScript, gzip

P. Machanick. Innovation and Research in Computer Science and Information Systems: An Academic Perspective. Technical Report TR-Wits-CS-1999-1, April, 1999.Abstract Document PDF

L. Pompe van Meerdevoort. Performance Implications of Context Switches on Misses to DRAM. Technical Report TR-Wits-CS-1999-2, April, 1999.Abstract Document gzipped, PostScript

P. Machanick. Correction to RAMpage ASPLOS Paper. Technical Report TR-Wits-CS-1999-3, May, 1999. Abstract Document,gzipped, PostScript

P. Machanick. The Future of Computer Science and Information Systems in South Africa. Technical Report TR-Wits-CS-1999-4, June, 1999.Abstract Document gzipped, PostScript

S. Hazelhurst. Algorithms for Analysing Firewall and Router Access Lists. Technical Report TR-Wits-CS-1999-5, July, 1999.Abstract Document Gzipped PostScript

S. Hazelhurst. Generalised Unification of Temporal Logic Formulas. Technical Report TR-Wits-CS-1999-6, July, 1999.Abstract Document Gzipped Postscript

Y. Chen. Dependable Computing a Necessity in the Automotive Industry. Technical Report TR-Wits-CS-1999-7, February, 1999.Abstract Document JPG

Y. Chen. Autonomous Decentralised Systems and their Applications. Technical Report TR-Wits-CS-1999-8, May, 1999.Abstract

Y. Chen. Applying Software Testing and Evaluation Techniques in Year 2000 Compliance Testing. Technical Report TR-Wits-CS-1999-9, November, 1999.Abstract Document postscript,gzipped

Y. Chen; S. Hazelhurst; V. Galpin; R. Mateer; C. Mueller. Development of a Decentralised Virtual Service Redirectorfor Internet applications. Technical Report TR-Wits-CS-1999-10, December, 1999.Abstract

R.I. Mateer; Y. Chen. Highly-Available Firewall Service using Virtual Redirectors. Technical Report TR-Wits-CS-1999-11, August, 1999.Document gzipped PostScript

P. Machanick. A Highly Asymmetric Approach to Scalable Video on Demand. Technical Report TR-Wits-CS-1999-12, August, 1999.Abstract Document PDF

M. Arteimi. Rule Refinement in Inductive Knowledge-Based Systems. Technical Report TR-Wits-CS-1999-13, September, 1999.Abstract Document Gzipped postscript

V. Galpin, S. Hazelhurst, C. Mueller, I. Sanders. A survey of the effects of a fourth year Introduction to Research Methods course. Technical Report TR-Wits-CS-1999-14, November, 1999.Abstract Document PostScript, gzipped

T. Herbert; I. D. Sanders. Comment on Gender and Population Group Statistics in the Computer Science Department at Wits. Technical Report TR-Wits-CS-1999-15, December, 1999.

C. Mueller. Program Definition. Technical Report TR-Wits-CS-1999-16, November, 1999.

1998

Pierre Salverda
An SRAM Main Memory Model, Master of Science Research Report, February 1998.
Abstract, PostScript, gzip

R.L. Baber. Software Engineering Education Issues and Alternatives. Technical Report TR-Wits-CS-1998-1, May 1998.Document Adobe Acrobat

R.L. Baber. On the Inadequacy of Ordinary Preconditions for the Practical Design and Verification of Programs. Technical Report TR-Wits-CS-1998-2, August, 1998.Document PDF

S. Hazelhurst; A. Fatti; A. Henwood. Binary Decision Diagram Representations of Firewall and Router Access Lists. Technical Report TR-Wits-CS-1998-3, October, 1998.Abstract Document gzipped PostScript

P. Machanick. The Skills Hierarchy and Curriculum. Technical Report TR-Wits-CS-1998-4, October, 1998.Abstract Document PostScript

P. Machanick. Disk Delay Lines. Technical Report TR-Wits-CS-1998-5, October, 1998.Abstract Document PostScript

P. Machanick and P. Salverda. Implications of Emerging DRAM Technologies for the RAMpage Memory Hierarchy. Technical Report TR-Wits-CS-1998-6, October, 1998.Abstract Document PostScript

P. Machanick. Design of a Scalable Video on DemandArchitecture. Technical Report TR-Wits-CS-1998-7, October, 1998.Abstract Document PostScript

P. Machanick. Curriculum 2020. Technical Report TR-Wits-CS-1998-8, May, 1998.Abstract Document PostScript

P. Machanick. A Scalable Architecture for Video on Demand:SAVoD. Technical Report TR-Wits-CS-1998-9, February, 1998.Abstract Document PostScript

P. Machanick. Streaming vs. Latency in Information Mass-Transit. Technical Report TR-Wits-CS-1998-10, August, 1998.Abstract Document PostScript

P. Machanick. Socio-Cultural Challenges for the Internet in South Africa. Technical Report TR-Wits-CS-1998-11, June, 1998.Abstract Document gzipped PostScript

C.S.M. Mueller . A Static Programming Paradigm. Technical Report TR-Wits-CS-1998-12, November, 1998.

Universityof theWitwatersrand, Johannesburg

Recent Publications

BibTeX list of entries

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

BibTeX list of entries

University
of the
Witwatersrand,
Johannesburg