Sciweavers

1206 search results - page 158 / 242
» Concurrent Abstract Predicates
Sort
View
ICC
2009
IEEE
127views Communications» more  ICC 2009»
14 years 10 months ago
Starburst SSD: An Efficient Protocol for Selective Dissemination
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
Tahir Azim, Qasim Mansoor, Philip Levis
124
Voted
ICDE
2012
IEEE
233views Database» more  ICDE 2012»
13 years 3 months ago
Accuracy-Aware Uncertain Stream Databases
Abstract— Previous work has introduced probability distributions as first-class components in uncertain stream database systems. A lacking element is the fact of how accurate the...
Tingjian Ge, Fujun Liu
PDIS
1993
IEEE
15 years 4 months ago
Log-Based Directory Resolution in the Coda File System
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
Puneet Kumar, Mahadev Satyanarayanan
FLOPS
2006
Springer
15 years 4 months ago
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
Peter Van Roy
141
Voted
PLDI
2012
ACM
13 years 3 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa