1. Newcastle University eTheses

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 321-330 of 381 (Search time: 0.0 seconds).
Item hits:
Issue DateTitleAuthor(s)
1999Fault-tolerant software: dependability/performance trade-offs, concurrency and system supportXu, Jie
1992Replication and fault-tolerance in real-time systemsWaterworth, Adrian
1997Verification and synthesis of asynchronous control circuits using petri net unfoldingsSemenov., Alexei
1999A middleware service for fault-tolerant group communicationsMorgan, Graham
1998Synthesis and axiomatisation for structural equivalences in the Petri Box CalculusHesketh, Martin
1995Parallel algorithms for numerical linear algebra on a shared memory multiprocessorKaya, Dogan
1990A framework for the requirements analysis of safety-critical computing systemsSaeed, Amer
1990The exploitation of parallelism on shared memory multiprocessorsStoker, Michael Allan
1996Specification and verification issues in a process languagePappalardo, Giuseppe
1994Fault-tolerant group communication protocols for asynchronous systemsMacedo, Raimundo Jose de Araujo

Discover