Implementation of checkers on the basis of threshold functions is problematic due to low stability of component threshold schemes. For increasing the implementability, the paper investigates two methods of improving stability of threshold based checkers. One of the methods is majorization of the threshold schemes. The second method is so-called calibration of the mentioned schemes. Both of the ...

The Newman-Penrose-Perjes formalism is applied to Sasakian 3-manifolds and the local form of the metric and contact structure is presented. The local moduli space can be parameterised by a single function of two variables and it is shown that, given any smooth function of two variables, there exists locally a Sasakian structure with scalar curvature equal to this function. The case where the sc...

In this paper 1 we propose a combination of PLA decomposition and unidirectional error detecting techniques which permits concurrent testing for all single faults in a circuit (both in the decomposed modules and on the interconnection lines), for a lower area overhead cost than is normally associated with unidirectional error detecting codes.