This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
Abstract. We have developped a physically-based model where an object is represented by a set of mass points on its contour. Each object may be defined locally and physically usin...
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
Based on a comparative study of cooperative work practices at two oncology clinics, the paper shows that work practices across these otherwise comparable settings vary significant...