40 Years of Computing at Newcastle
List of PhD. Students and Thesis Titles
1995
- A. Koelmans. STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits.
[Abstract]
- G. Pappalardo. Specification and Verification Issues in a Process Language.
[Abstract]
- A.J.C. Blyth. Enterprise modelling and Its Application To Organisational
Requirements, Capture and Definition. (British Lending Library DSC stock location number: DX 188286)
[Abstract]
- F.V. Brasileiro. Construction Fail-Controlled Nodes For Distributed
Systems: A Software Approach.
[Abstract]
- R.C. Burnett. A Trade-off Model Between Cost and Reliability During the
Design Phase of Software Development.
[Abstract]
- R. Chakka. Performance and Reliability Modelling of Computing Systems
Using Spectral Expansion. (British Lending Library DSC stock location number: DX 188306)
[Abstract]
- X. Chen. Automatic Parallelisation for a Class of URE Problems
[Abstract]
- G.H. Cho. Location and Routing Optimization Protocols Supporting Internet Host Mobility.
[Abstract]
- M. Pakzad. Parallel Implementation of the Finite Element Method on
Shared Memory Multiprocessors. (British Lending Library DSC stock location number: DX 188276)
[Abstract]
- D. Kaya. Parallel Algorithms For Numerical Linear Algebra on a Shared
Memory Multiprocessor. (British Lending Library DSC stock location number: DX 187252)
[Abstract]
List of PhD. Students and Thesis Titles - Index
Contents Page - 40 years of Computing at Newcastle
List of PhD. Students and Thesis Titles - 1995, 2 July 1997