School of Computing Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 361 to 380 of 472
Issue DateTitleAuthor(s)
1997Performance and reliability in distributed systemsThomas, Nigel Anthony
1999Fault-tolerant software: dependability/performance trade-offs, concurrency and system supportXu, Jie
1999A middleware service for fault-tolerant group communicationsMorgan, Graham
1998Synthesis and axiomatisation for structural equivalences in the Petri Box CalculusHesketh, Martin
2006The effect of diverse development goals on computer-based system dependabilityLawrie, Anthony Thomas
2005Design and evaluation of crash tolerant protocols for mobile ad-hoc networksVollset, Einar Wiik
1992Replication and fault-tolerance in real-time systemsWaterworth, Adrian
1989Architectural soup: a proposed very general purpose computerWeaver, Ian Christopher
1979A recursive virtual machine architecture - implementation and associated protection problemsWhite, Peter Roland
1971Computer representation of graphical information with applicationsHarrison, E. S.
1993Dataflow development of medium-grained parallel softwareHarley, Jonathan William
1969The computer solution of problems in integer programming.Guy, M. R.
1974Error analysis of collocation methods for the numerical solution of ordinary differential equationsCruickshank, D. M.
2007Certificate validation in untrusted domainsBatarfi, Omar Abdullah
2009Towards certifiable reconfigurable real-time mission critical software systemsWilkinson, Richard Alexander
1998PRMP : a scaleable polling-based reliable multicast protocolBarcellos, Antonio Marinho Pilla
1988Garbage collection in distributed systemsWiseman, Simon Robert
1999Multiparty interactions in dependable distributed systemsZorzo, Avelino Francisco
1981Collocation algorithms and error analysis for approximate solutions of ordinary differential equationsAhmed, Awad Hag Ali
1983General purpose decentralised computer architectureHopkins, Richard Pinder
Collection's Items (Sorted by Submit Date in Descending order): 361 to 380 of 472