Coordination languages and their significance

@article{Gelernter1992CoordinationLA,
  title={Coordination languages and their significance},
  author={David Gelernter and Nicholas Carriero},
  journal={Communications of The ACM},
  year={1992},
  volume={35},
  pages={97-107}
}

Topics from this paper

LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra
TLDR
This paper presents a minimal, yet sucient, collection of primitive operators that can be composed to (re)construct any out-place, unidirectional MTL. Expand
Expressiveness of Concurrent Languages
TLDR
It is proved that multiple heads augment the expressive power of the language CHR, a language which uses multi-headed (guarded) rules, and shown that if the authors restrict to rules where the head contains at most n atoms they could generate a hierarchy of languages with increasing expressiveness. Expand
Coordinating Patterns of Mobile Information Agents
Mobility is a mechanism to manage accessibility dependencies amongst agents. As such, it is a coordination mechanism in the interaction of agents, users, and information.
Coordination Models and Languages
TLDR
The engineering approach of ASCENS is reviewed and by integrating machine learning techniques the authors complement it to “AISCENS,” and a new machine learning approach for synthesizing agent policies from hard and soft requirements is presented and the performance-safety tradeoff for such requirements is discussed. Expand
Analysis and coordination of mixed-criticality cyber-physical systems
TLDR
This paper aims to demonstrate the efforts towards in-situ applicability of EMMARM, which aims to provide real-time information about concrete mechanical properties such as E-modulus and compressive strength. Expand
It's All About Coordination
TLDR
This paper assumes that a process model is merely a set of places, and defines a partial order on places based on their connections, which shows various monotonicity properties that can be exploited during process discovery. Expand
On the quality properties of model transformations: performance and correctness
TLDR
A novel execution platform is introduced that permits the parallel execution of both out-place and in-place model transformations, regardless of whether the models fit into a single machine memory or not, and a static approach for locating faulty rules in model transformations is introduced. Expand
Introduction to High Performance Scientific Computing
This is a textbook that teaches the bridging topics between numerical analysis, parallel computing, code performance, large scale applications.
Active Space : executando operações no espaço de tuplas
Distributed coordination-based systems have a unique form of communication through a tuple space. In this type of communication only one tuple can be inserted, read, or removed by coordinationExpand
Interaction patterns as composite connectors in component-based software development
TLDR
This thesis investigates the possibility of representing recurring patterns of interaction as composition mechanisms (and other associated component model entities), as distinct from components that define computation; these composition mechanisms would appear as first-class entities in architectures, and can be stored in and reused from repositories. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 25 REFERENCES
Liti-Like Syskm and Their ImplcmenUim (Edinburgh Parallel Computation Centre
  • Liti-Like Syskm and Their ImplcmenUim (Edinburgh Parallel Computation Centre
  • 1991
Preliminaq STING benchmarks. NEC Institute Princeton Internal Memo. randurn
  • Preliminaq STING benchmarks. NEC Institute Princeton Internal Memo. randurn
  • 1991
Real-time data fusion in the intensive care unit
A description is given of the process trellis, a domain- and hardware-independent software architecture. Its usefulness in building the Intelligent Cardiovascular Monitor, a real-time clinicalExpand
The process trellis software architecture for parallel, real-time monitors
TLDR
This dissertation defines the process trellis and shows how it meets the requirements of parallel, real-time, heuristic monitors and permits and encourages the construction of large, extensible programs. Expand
Tolerating failures in the bag-of-tasks programming paradigm
  • D. Bakken, R. Schlichting
  • Computer Science
  • [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium
  • 1991
A simple technique for making distributed programs that are based on the bag-of-tasks programming paradigm, in which the problem space is divided up and parceled out to processes as independentExpand
ACTORS - a model of concurrent computation in distributed systems
  • G. Agha
  • Computer Science
  • MIT Press series in artificial intelligence
  • 1990
TLDR
A foundational model of concurrency is developed and issues in the design of parallel systems and why the actor model is suitable for exploiting large-scale parallelism are addressed. Expand
How to write parallel programs - a first course
TLDR
This straightforward tutorial explains why parallelism is a powerful and proven way to run programs fast and provides the instruction that will transform ordinary programmers into parallel programmers. Expand
Recovery with limited replay: fault-tolerant processes in Linda
  • S. Kambhatla, J. Walpole
  • Computer Science
  • Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990
  • 1990
TLDR
The authors argue that high availability of processes, in addition to their recoverability is crucial, in environments where cooperation among processes is important and propose a simple extension to the recoverable process mechanism that makes processes highly available. Expand
...
1
2
3
...