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

Issue Date	Title	Author(s)
1988	Management of concurrency in a reliable object-oriented computing system	Parrington, Graham D.
1973	Analysis of some algorithms for use on paged virtual memory computers	Knight, J.C.
1974	Interactive use of a computer in the preparation of structured progams	Snowdon, Robert Archer
1992	Selective transparency in distributed transaction processing	McCue, Daniel Lawrence
1970	The evaluation of large information retrieval systems with application to MEDLARS	Miller, W.L.
1982	The effects of size on the function of an information retrieval document collection	Mushens, Brian G.
1966	The manipulation of trees and linear graphs within a computer and some applications	Obruca, Alex Karel
1996	Specification and verification issues in a process language	Pappalardo, Giuseppe
2002	Automated test generation from algebraic specifications	Pietschker, Andrej
1977	Data dependent program generation	Quarendon, Peter
2003	Managing active object scalability on distributed memory: with a case study in parallel VRML	Rischbeck, Thomas
1986	The generation of concurrent code for declarative languages	Rothwell, Nicholas John
1990	A framework for the requirements analysis of safety-critical computing systems	Saeed, Amer
2006	Middleware services for distributed virtual environments	Lu, Fengyun
1972	A numerical investigation of the Rayleigh-Ritz method for the solution of variational problems	Lloyd, John Lionel
1995	Parallel algorithms for numerical linear algebra on a shared memory multiprocessor	Kaya, Dogan
1986	Multicast communications in distributed systems	Hughes, Frank Lawrence Kingsman
1981	The extension and application of Swet's theory of information retrieval	Heine, Michael Hubert
1994	A knowledge-based decision support system for computer disaster prevention in IT centres	Danish, Tawfig Yousef.
1997	Verification and synthesis of asynchronous control circuits using petri net unfoldings	Semenov., Alexei