Search
Now showing items 21-30 of 219
RC-BB switch a high performance switching network for B-ISDN
(1995)
Multistage networks are strong candidates for implementation of ATM switching fabrics in B-ISDN networks. Among a number of proposed multistage networks, the Banyan network with its self-routing property, modular structure ...
Advanced Array Optimizations for High Performance Functional Languages
(1995)
In this paper, we discuss and evaluate three opti- mizations for reducing memory management overhead and data copying costs in SISAL 1.2 programs that build arrays. The first, called framework preconstruction, eliminates ...
Coordination of systems with real-time properties in manifold
(IEEE, 1996)
This paper combines work done in the areas of asynchronous timed computations and coordination models in order to derive a framework able to express real-time coordination without adhering to special architectures or ...
Control-driven coordination programming in shared dataspace
(1997)
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers and consumers, as well as a clear distinction ...
Coordination of distributed and parallel activities in the IWIM model
(1997)
We present an alternative way of designing new as well as using existing coordination models for parallel and distributed environments. This approach is based on a complete symmetry between and decoupling of producers and ...
Coordination Models and Languages
(1998)
A new class of models, formalisms, and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of "CO-ordination." The purpose of a coordination model and associated ...
Probabilistic resource failure in real-time process algebra
(1998)
PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...
Reasoning about systems with evolving structure
(University of Warwick, 1996)
Social confluence in client-server systems
(1997)
An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, ...
On sharing and determinacy in concurrent systems
(1995)
The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic ...