Performance evaluation of systems of concurrent evaluation

Performance evaluation of systems of concurrent evaluation

Bibliographic Details
Main Author:	Ikekeonwu, G. A. M.
Published:	University of Manchester 1982
Subjects:	005 Software evaluation
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356004

Similar Items

A flexible mechanism for concurrency control in database systems
by: Borges, M. R. S. da
Published: (1986)

A refinement calculus for concurrent systems with communications
by: Lai, Lu Ming
Published: (1990)

MC : A concurrent programming language for distributed computer systems
by: Rizk, A.
Published: (1986)

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

On the measurement of concurrent software designs
by: Rose, Julian H. M.
Published: (1992)

Support system for concurrent tasks in a multiple processor/local network environment
by: Shoja, G. C.
Published: (1981)

Management of concurrency in a reliable object-oriented computing system
by: Parrington, Graham D.
Published: (1988)

Communications in concurrent systems - programming language primitives and interconnection networks
by: Yantchev, Jelio Todorov
Published: (1992)

Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987)

Theories of translation correctness for concurrent programming languages
by: Millington, M.
Published: (1985)

System architecture metrics : an evaluation
by: Shepperd, Martin John
Published: (1991)

Parallel program monitoring : the logical clock approach and its deadlock avoidance
by: Cai, Wentong
Published: (1990)

Typed concurrent programs : specification and verification
by: Nagarajan, R.
Published: (1999)

A concurrent visual language based on Petri nets
by: Usher, Michelle M.
Published: (1999)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

Parallel scheduling of concurrent VLSI simulation modules onto a multiprocessor
by: Rahin, Mohammad A.
Published: (1991)

Performance evaluation and user interface design for isolated speech recognition
by: Tolun, M. R.
Published: (1985)

Deductive and algorithmic analysis of real-time concurrent Ada programs
by: Gerdsmeier, Thorsten
Published: (2001)

TAO - a model for the integration of concurrency and synchronisation in object-oriented programming
by: Mitchell, S. E.
Published: (1995)

Reflective computation in concurrent object-based languages : a transformational approach
by: Yaacob, Norlaily
Published: (1999)

Parallel implementation of concurrent logic languages using graph rewriting techniques
by: Papadopoulos, George Angelos
Published: (1989)

Applied probability models for the performance evaluation of disk file processing
by: Leung, C. H. C.
Published: (1980)

Evaluating innovative multimedia customer handling systems
by: Smith, George Barrett
Published: (2000)

The use of replayable traces in the design and evaluation of operating systems
by: Burton, Ariel Nahum
Published: (1998)

Modelling and evaluating timing constraints in real-time systems
by: Berryman, Steven John
Published: (1993)

Development of a database system for the evaluation of land resources for planning and development in Somalia
by: Nimmo, Jennifer M.
Published: (1991)

A conceptual framework for understanding and evaluating information systems methodologies
by: Jayaratne, Nimal Ananda
Published: (1991)

Systematic method support for CASE-tool evaluation
by: Lundell, BjoÌˆrn Hans Lennart
Published: (2001)

The automated translation of integrated formal specifications into concurrent programs
by: Yang, Letu
Published: (2008)

Expressive and efficient bounded model checking of concurrent software
by: Morse, Jeremy
Published: (2015)

Inference graphs : a structural model and measures for evaluating knowledge-based systems
by: McNaughton, Ross
Published: (1995)

Data-driven and demand-driven evaluation of logic programs
by: Halim, M. Z.
Published: (1984)

Performance and reliability modelling of computing systems using spectral expansion
by: Chakka, Ram
Published: (1995)

Using a quality model approach to define and evaluate metrics for Object-Oriented Programming Systems (MOOPS)
by: Nithi, R. V.
Published: (1999)

Speculative concurrent evaluation in a lazy functional language
by: Checkland, Iain Gavin
Published: (1994)

Strategy generation and evaluation for meta-game playing
by: Pell, Barney Darryl
Published: (1993)

Evaluating declarative programming
by: Clare, A. R.
Published: (1988)

The associative evaluation of logic programs and heuristic search techniques
by: Rodohan, Darren Patrick
Published: (1993)

A framework for quality of service evaluation in distributed environments
by: Bogen, Manfred Adolf
Published: (2000)

Designing performance into transputer-based systems
by: O'Donoghue, Peter Gerard
Published: (1993)