Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
1990	The exploitation of parallelism on shared memory multiprocessors	Stoker, Michael Allan
2006	An algebra of Petri nets with arc-based timing restrictions	Niaouris, Apostolos
1998	A language and toolkit for the specification, execution and monitoring of dependable distributed applications	Ranno, Frederic
1987	Naming issues in the design of transparently distributed operating systems	Stroud, Robert James
1997	Performance and reliability in distributed systems	Thomas, Nigel Anthony
1999	Fault-tolerant software: dependability/performance trade-offs, concurrency and system support	Xu, Jie
1999	A middleware service for fault-tolerant group communications	Morgan, Graham
1998	Synthesis and axiomatisation for structural equivalences in the Petri Box Calculus	Hesketh, Martin
2006	The effect of diverse development goals on computer-based system dependability	Lawrie, Anthony Thomas
2005	Design and evaluation of crash tolerant protocols for mobile ad-hoc networks	Vollset, Einar Wiik
1992	Replication and fault-tolerance in real-time systems	Waterworth, Adrian
1989	Architectural soup: a proposed very general purpose computer	Weaver, Ian Christopher
1979	A recursive virtual machine architecture - implementation and associated protection problems	White, Peter Roland
1971	Computer representation of graphical information with applications	Harrison, E. S.
1993	Dataflow development of medium-grained parallel software	Harley, Jonathan William
1969	The computer solution of problems in integer programming.	Guy, M. R.
1974	Error analysis of collocation methods for the numerical solution of ordinary differential equations	Cruickshank, D. M.
2007	Certificate validation in untrusted domains	Batarfi, Omar Abdullah
2009	Towards certifiable reconfigurable real-time mission critical software systems	Wilkinson, Richard Alexander
1998	PRMP : a scaleable polling-based reliable multicast protocol	Barcellos, Antonio Marinho Pilla