Titlebook: Dependable Computing - EDCC-2; Second European Depe Andrzej Hlawiczka,Jo?o Gabriel Silva,Luca Simoncin Conference proceedings 1996 Springer

開(kāi)頭

On the yield of VLSI processors with on-chip CPU cache,p VLSI processors with a partially good on-chip cache. Also, we investigate how the yield enhancement of VLSI processors with on-chip CPU cache relates with the number of acceptable faulty cache blocks, the percentage of the cache area with respect to the whole chip area and various manufacturing pr

傲慢人

爆米花

松軟

Dynamic testing from bounded data type specifications,which are difficult to find out. As soon as boundaries are clearly identified in a specification, functional testing should be able to address any boundary fault..We propose to enrich a data type specification formalism, namely algebraic specifications, allowing a natural description of data type bo

esculent

江湖郎中

Friends: A flexible architecture for implementing fault tolerant and secure distributed applicationded by the sub-systems. Metaobjects are implemented using object-oriented techniques and can be reused and customised according to the application needs, the operational environment and its related fault assumptions. Flexibility is increased by a recursive use of metaobjects. Examples and experiments are also described.

MEAN

FLOAT

別名

On-line testing of an off-the-shelf microprocessor board for safety-critical applications, a minimum impact on the normal behavior of the whole system. Implementation of the described techniques will significantly improve the system ability to safely react to possible faults. This will be quantitatively determined in the subsequent dependability evaluation phase.

Munificent