1833 search results - page 137 / 367 » Mechanized Verification with Sharing |
147
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...
140
click to vote
ECSCW
2001
15 years 6 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
142
click to vote
CRIWG
2003
15 years 6 months ago
2003
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...
146
click to vote
ECSCW
1993
15 years 6 months ago
1993
: Despite the reliance of cooperative applications on the facilities provided by distributed systems, little consideration is given by these systems to the support of cooperative w...
119
click to vote
EOR
2010
15 years 4 months ago
2010
Grid technologies and the related concepts of utility computing and cloud computing enable the dynamic sourcing of computer resources and services, thus allowing enterprises to cu...