Sciweavers

2825 search results - page 412 / 565
» Globalization of Belief Distributions
Sort
View
ADC
2007
Springer
93views Database» more  ADC 2007»
15 years 10 months ago
A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
Hui Ma, Klaus-Dieter Schewe, Qing Wang
BIOWIRE
2007
Springer
15 years 10 months ago
Self-organizing Desynchronization and TDMA on Wireless Sensor Networks
Desynchronization is a novel primitive for sensor networks: it implies that nodes perfectly interleave periodic events to occur in a round-robin schedule. This primitive can be us...
Julius Degesys, Ian Rose, Ankit Patel, Radhika Nag...
PODC
2010
ACM
15 years 10 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
GRID
2007
Springer
15 years 10 months ago
Multi-objective planning for workflow execution on Grids
Utility Grids create an infrastructure for enabling users to consume services transparently over a global network. When optimizing workflow execution on utility Grids, we need to c...
Jia Yu, Michael Kirley, Rajkumar Buyya
ATAL
2006
Springer
15 years 10 months ago
History-based traffic control
What if traffic lights gave you a break after you've spent a long time waiting in traffic elsewhere? In this paper we examine a variety of multi-agent traffic light controlle...
Gabriel Catalin Balan, Sean Luke