Parallel functional programs based on the graph reduction execution model display considerable locality of reference, favouring the use of large cache lines in the implementation of the shared heap on a shared-memory multiprocessor. They also display a very high rate of synchronisation, making conventional weakly-consistent coherency protocols ineeective at avoiding unnecessary contention for w...

A simple model for the interfacial free energy of a semicoherent interface is used to develop expressions for interface stresses, which are surface thermodynamic quantities associated with solid–solid interfaces. An analysis of the thermodynamics of thin film epitaxy is presented that incorporates the effects of free surface and interface stresses, and an expression for the critical thickness f...

Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such cooperation requires the exchange of state data that is time sensitive and thus, applications should be aware of data temporal coherency. In this paper we describe the architecture of the agents that constitute the CA...

A Fourier series non-stationary coherency model with respect to the site conditions for horizontal component was developed. The evolution of achieved using parameters related site, inter-station distance, and time. First, based on simulation a ground-motion field considering wave-passage effect site-response effect, approach used estimation wavelet transform is presented. Subsequently, formulat...

abstract the urmia lake as an important water body in the northwest of iran, recently is faced with a critical level reduction, which makes it important to evaluate the causes. in this regard understanding of the lake's behavior and assessing effect of tele-connections on lake level oscillations is necessary. this subject constructs objective of the present paper that applies the spectral analy...

The objective evaluation of 2D-shape estimation results for moving objects in a video sequence is still an open problem. First approaches in the literature evaluate the spatial accuracy and the temporal coherency of the estimated 2D object shape. Thereby, it is not distinguished between several estimation errors located around the object contour and a few, but larger, estimation errors. Both ca...

Standard stacking procedures are based on the combination of many scalar traces, and can exploit the coherency of arrivals between traces using non-linear methods. Such stacks can be used with some success for three-component data but do not exploit the vector character of the seismic wave¢eld. A set of stacking methods are introduced to work directly with three-component data and include inter...