Sciweavers

6808 search results - page 699 / 1362
» Distributed Concurrency Control
Sort
View
PPOPP
2011
ACM
14 years 10 months ago
Cooperative reasoning for preemptive execution
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
PPOPP
2012
ACM
14 years 3 months ago
Massively parallel breadth first search using a tree-structured memory model
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
Tom St. John, Jack B. Dennis, Guang R. Gao
SAB
2004
Springer
289views Optimization» more  SAB 2004»
16 years 24 days ago
An Overview of Physicomimetics
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
William M. Spears, Diana F. Spears, Rodney Heil, W...
IFIP
2007
Springer
16 years 1 months ago
Lessons Learned from the Maroochy Water Breach
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
Jill Slay, Michael Miller
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
16 years 1 months ago
Motion Synchronization in Mobile Robot Networks: Robustness
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
Fei Zhang, Weidong Chen, Yugeng Xi