Newcastle University eTheses: Search

Search

Results 41-50 of 380 (Search time: 0.001 seconds).

Item hits:

Issue Date	Title	Author(s)
1995	Automatic parallelisation for a class of URE problems	Chen, Xian
1992	Replication and fault-tolerance in real-time systems	Waterworth, Adrian
1993	Dataflow development of medium-grained parallel software	Harley, Jonathan William
1995	Parallel algorithms for numerical linear algebra on a shared memory multiprocessor	Kaya, Dogan
1990	A framework for the requirements analysis of safety-critical computing systems	Saeed, Amer
1997	The optimisation of steam turbine design	Wakeley, Guy Richard
1996	An extended interval temporal logic and a framing technique for temporal logic programming	Duan, Zhenhua
1995	Dependability and the management of large distributed systems	Hodge, Darren Richard
1999	To formalise and implement a categorical object-related database system	Nelson, David Alan
1997	Fault-tolerant parallel applications using a network of workstations	Smith, James Antony