717 search results - page 26 / 144 » Kill-safe synchronization abstractions |
GLOBECOM
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— In this paper we consider the problem of constructing a distributed feedback law to achieve synchronization for a group of k agents whose states evolve on SO(n) and whi...
AVSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Applications such as surveillance and human motion capture require high-bandwidth recording from multiple cameras. Furthermore, the recent increase in research on sensor...
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
ICALP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...