Sciweavers

6756 search results - page 350 / 1352
» Distributed Shared State
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
FAC
2007
121views more  FAC 2007»
15 years 6 months ago
On assertion-based encapsulation for object invariants and simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
David A. Naumann
CCGRID
2005
IEEE
16 years 9 days ago
View-oriented update protocol with integrated diff for view-based consistency
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
CSCW
2004
ACM
16 years 3 days ago
Collaborating around collections: informing the continued development of photoware
This paper explores the embodied interactional ways in which people naturally collaborate around and share collections of photographs. We employ ethnographic studies of paper-base...
Andy Crabtree, Tom Rodden, John A. Mariani
ICA3PP
2010
Springer
15 years 11 months ago
Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds
Abstract. There is growing interest in large-scale resource sharing with emerging architectures such as cloud computing, where globally distributed and commoditized resources can b...
Marian Mihailescu, Yong Meng Teo