We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations, remote direct memory access and OS bypass. This model leads to new interpretations of distributed algorithms allowing us to propose an innovative detection technique of race conditions only based on logical clocks. Ind...

A major problem considering parallel computing is maintaining memory consistency and coherency, and ensuring ownership and access rights. These problems mainly arise from the fact that memory in parallel and distributed systems is still managed locally, e.g. using a combination of shared-busand directory-based approaches. As a result, such setups do not scale well with system size and are espec...

This paper presents main ideas of object consistency(OC) a new consistency model for distributed sharedmemory (DSM) systems. It was developed by ana-lyzing various sharing patterns in real parallel appli-cations as well as existing coherency models for bothat and object-based DSMs. OC is an attempt toe ectively integrate entry consistency (EC) and ver-sion consistenc...

Non-local spin injection in lateral spin valves generates a pure spin current which is a diffusive flow of spins (i.e. spin angular momentums) with no net charge flow. The diffusive spins lose phase coherency in precession while undergoing frequent collisions and these events lead to a broad distribution of the dwell time in a transport channel between the injector and the detector. Here we sho...

Since the successful launch of ALOS in 2006, we have seen significant advances in the utilization of fully polarimetric SAR (PolSAR) data. We are now in the phase of PolSAR applications for sensing and monitoring the Earth’s environment. Specific application areas include natural and man-made disaster monitoring, forest monitoring, crop assessment, oceanography, etc. In this report, a method of...

Intègre is a decision-support software specially designed for collective processes. Collecting all required information for decision making, Intègre harmonizes representations and processes collected data to check users’ decisions coherency. During their consultation, specialist doctors access to analysis’ results and to patients’ data, stored in their own databases or in administration’s syste...

A general simulation procedure is described to validate model fitting algorithms for complex likelihood functions that are utilized in periodic cancer screening trials. Although screening programs have existed for a few decades, there are still many unsolved problems, such as how age or hormone affects the screening sensitivity, the sojourn time in the preclinical state, and the transition prob...

Multiprocessor systems-on-chip (MPSoC) with distributed shared memory and caches are flexible when it comes to inter-processor communication but require an efficient memory consistency and cache coherency solution. In this paper we present a novel consistency model, streaming consistency, for the streaming domain in which tasks communicate through circular buffers. The model allows more reorder...

If each phase has an identical crystal structure and small misfit in the lattice parameters in a binary-phase crystalline system, coherent phase boundaries usually form during separation. Although there have been numerous studies on the effect of coherency elastic energy, no attempt has been made to demonstrate how the phase-separation behaviour varies when multiple interfaces meet at a junctio...