This paper is a first work on the link between two fields: validation and refinement in knowledge base systems and revision in knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The coherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to ...

JUMP-1 is currently under development by seven Japanese universities to establish techniques of an e cient distributed shared memory on a massively parallel processor. It provides a memory coherency control scheme called the hierarchical bit-map directory to achieve cost e ective and high performance management of the cache memory. Messages for maintaining cache coherency are transferred throug...

The integration of many cores per chip will lead to inefficiency of traditional multi-processor techniques. In particular, a hardware cache coherency protocol includes performance and hardware overhead, so that for a growing number of cores the coherence wall problem will become more serious. The Single-chip Cloud Computer (SCC) is a recent research processor of a Cluster-on-Chip architecture, ...

Some parallel applications do not require a precise imitation of the behaviour of the physically shared memory programming model. Consequently, certain parallel machine architectures have elected to emphasise different required coherency properties because of possible efficiency gains. This has led to various definitions of models of store coherency. These definitions have not been amenable t o...

– Usually only GPR reflection amplitudes are imaged, while data contain far more information. Multi-trace coherency visualisations offer new insights into structures otherwise hardly visible. Image fusing permits the combined display of different attributes (amplitude and coherency).

In this paper we use wavelet coherency and phase-difference analysis to classify all Spanish provinces based on Monthly Total Mortgage data in each province and Quarterly Gross Domestic Product data in Spain. The information obtained using wavelet analysis leads us to propose two different classifications for the fifty-two Spanish provinces. First, we use the wavelet coherency level between two...