2227 search results - page 319 / 446 » Reversibility and Models for Concurrency |
COORDINATION
2007
Springer
14 years 4 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
GTTSE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
FCT
1999
Springer
14 years 2 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...