The problem of the mutual exclusion of several independent processes from simultaneous access to a “critical section” is discussed for the case where there are two distinct classes ofâ€¦ (More)

This paper deals with the positive eigenvectors of nonnegative irreducible matrices that are merely characterized by a given upper bound ), on their spectral radius and by a given matrix L of lowerâ€¦ (More)

The paper reviews some of the fundamental dijjiculties presented by the design and the validation of sofnvare for safety critical applications. It suggests that sof~are formal documentationâ€¦ (More)

A step-by-step approach to model the dynamic behavior and evaluate the performance of computing systems is proposed. It is based on a technique of variable aggregation and the concept of nearlyâ€¦ (More)

A method is presented to compute, for the steady-state conditional probabilities of a given Markov subchain, the best lower and upper bounds derivable from the submatrix of transition probabilitiesâ€¦ (More)

This work addresses the issue of structuring the validation process of dependable computer based systems. It was motivated by the desire to make the licensing and certification of these systems moreâ€¦ (More)

Models of large and complex systems can often be reduced to smaller sub-models, for easier analysis, by a process known as decomposition. Certain criteria for successful decompositions can beâ€¦ (More)

Existing models of program behaviour are shown to give an incomplete account of program locality. A model based on the distinction between short- and long-run equilibrium states in nearly completelyâ€¦ (More)