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...

This paper considers the effects of gravitational induced uncertainty on some well-known quantum optics issues. First we will show that gravitational effects at quantum level destroy the notion of harmonic oscillations. Then it will be shown that, although it is possible(at least in principle) to have complete coherency and vanishing broadening in usual quantum optics, gravitational induced unc...

In this paper we investigate coherence sets in polarimetric SAR interferometry. The coherence set is closely related to the numerical range (field of values). This paper aims to bring the numerical range to the attention of the radar research community. The mathematical understanding of the numerical range helps to understand theoretical and physical properties of coherence and coherency matrix...

A simple but novel and applicable approach is proposed to solve the problem of smoothing effect of ordinary kriging estimate which is widely used in mining and earth sciences. It is based on transformation equation in which Z scores are derived from ordinary kriging estimates and then rescaled by the standard deviation of sample data and the sample mean is added to the result. It bears the grea...

As part of the development of a new real-time operating system, an asynchronous communication mechanism, for use between applications, has been implemented in a programming language with an advanced static type system. This mechanism is designed to provide desired properties of asynchronicity, coherency and freshness. We used the features of the type system, including linear and dependent types...

This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard; we develop a formal model of the protocol and perform some verification tasks upon it. In the process of doing so, we extend the previous solution by developing a formal specification of cache coherence that is suita...