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

Issue Date	Title	Author(s)
1996	STRICT: a language and tool set for the design of very large scale integrated circuits	Koelmans, Albertus Maria
1996	An extended interval temporal logic and a framing technique for temporal logic programming	Duan, Zhenhua
1998	Towards quality programming in the automated testing of distributed applications	Chu, Huey-Der
1984	An investigation of mesh selection algorithms in the numerical solution of boundary value problems by piecewise polynomial collocation method	Seleman, Adeeb H.
1996	Fault injection testing of software implemented fault tolerance mechanisms of distributed systems	Tao, Sha
1970	The design and semantic analysis of a programming language and its compiler	Henderson, P.
1989	Design and development of algorithms for fault tolerant distributed systems	Ezhilchelvan, Paul Davadoss
1994	A methodology for the requirements analysis of critical real-time systems	De Lemos, Rogerio
1988	A view mechanism for an integrated project support environment	Brown, Alan William
1987	Load sharing in distributed computer systems	Afzal, Tahir Mahmood
2008	Integrating distributed post-genomic data to infer the molecular basis of bacterial phenotypes	Craddock, Tracy
1979	Numerical analysis of infinite Markov processes	King, P. J. B.
2008	Benefits of traceability in software development	Arkley, Paul
2008	A domain specific language for dynamic interest management within virtual environments	Aaron, Samuel James
1995	Dependability and the management of large distributed systems	Hodge, Darren Richard
1986	Algorithm to layout (ATL) systems for VLSI design	Lynch, Michael Andrew
1984	Programming decentralised computers	Lima, Isabel Gouveia
1995	Parallel implementation of the finite element method on shared memory multiprocessors	Pakzad, Mustapha
1989	Reliability issues in the design of distributed object-based architectures	Mancini, Luigi Vincenzo
1990	Design and evaluation of a shape retrieval system	Eakins, John Paul