Sciweavers

570 search results - page 22 / 114
» concurrency 2006
Sort
View
PODC
2006
ACM
15 years 3 months ago
Common2 extended to stacks and unbounded concurrency
Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the fam...
Yehuda Afek, Eli Gafni, Adam Morrison
CONCUR
2006
Springer
15 years 1 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
CORR
2006
Springer
100views Education» more  CORR 2006»
14 years 9 months ago
Confrontation of viewpoints in a concurrent engineering process
We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentativ...
Géraldine Martin, Françoise Dé...
FCS
2006
14 years 10 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
FUIN
2000
76views more  FUIN 2000»
14 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski