1206 search results - page 123 / 242 » Concurrent Abstract Predicates |
168
click to vote
INTERSENSE
2006
ACM
16 years 8 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
151
click to vote
WDAG
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
125
click to vote
ERSHOV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
162
click to vote
IFM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
176
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract—Skip Tree Graph is a novel, distributed, data structure for peer-to-peer systems that supports exact-match and order-based queries such as range queries efficiently. It...