Distributed physical models for the space-time distribution of water, energy, vegetation, and mass flow require new strategies for data representation, model domain decomposition, a-priori parameterization, and visualization. The Geographic Information System (GIS) has been traditionally used to accomplish these data management functionalities in hydrologic applications. However, the interactio...

This paper proposes a novel View-based Consistency model for Distributed Shared Memory. A view is a set of data objects that a processor has the right to access in a data-race-free program. The View-based Consistency model requires that the data objects of a view are updated only before a processor accesses them. Compared with other memory consistency models, the View-based Consistency model ca...

to evaluate and predict component-based software security, a two-dimensional model of software security is proposed by stochastic petri net in this paper. in this approach, the software security is modeled by graphical presentation ability of petri nets, and the quantitative prediction is provided by the evaluation capability of stochastic petri net and the computing power of markov chain. each...

Based on time, processor, and data selection techniques, a group of Weak Sequential Consistency models have been proposed to improve the performance of Sequential Consistency for Distributed Shared Memory. These models can guarantee Sequential Consistency for data-race-free programs that are properly labelled. This paper reviews and discusses these models in terms of their use of the selection ...

In this paper, we present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows us to classify the consistency models in two groups, depending on whether they are fast or not. In the case of non-fast consistency models, we show that they cannot be interconnected in any way. In contrast, in the case of fast consistency models we prov...

Distributed memory multiprocessors and network clusters are being used increasingly as parallel computing resources due to their scalability and cost/performance advantages. However, it is generally believed that shared memory parallel programming is easier than explicit message passing programming. Although the generative communication model provides scalability like message passing and the si...

Épidaure, an Actor based programming environment, is presented. The Actor programming approach is combined with the distributed shared memory (DSM) abstraction. Rather than using processes as compounding structure, memory structures are used. The defined actor segment is a programming abstraction that goes across process and processor boundaries and shields applications from several problems re...