Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Proceedings of the 21st international conference on Software engineering
Efficient concurrency control for broadcast environments
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
The Origins of Concurrent Programming: From Semaphores to Remote Procedure Calls
The Origins of Concurrent Programming: From Semaphores to Remote Procedure Calls
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
IEEE Transactions on Computers
Cooperating sequential processes
The origin of concurrent programming
Supporting Read-Only Transactions in Wireless Broadcasting
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Autonomous Transaction Processing Using Data Dependency in Mobile Environments
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Some constraints and tradeoffs in the design of network communications
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Broadcast of Consistent Data to Read-Only Transactions from Mobile Clients
WMCSA '99 Proceedings of the Second IEEE Workshop on Mobile Computer Systems and Applications
Software transactional memory for dynamic-sized data structures
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Versatile low power media access for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Intelligent Highway Safety Markers
IEEE Intelligent Systems
Region streams: functional macroprogramming for sensor networks
DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
TeenyLIME: transiently shared tuple space middleware for wireless sensor networks
Proceedings of the international workshop on Middleware for sensor networks
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Macro-programming wireless sensor networks using Kairos
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Timed virtual stationary automata for mobile networks
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
IEEE Communications Magazine
MDiag: Mobility-assisted diagnosis for wireless sensor networks
Journal of Network and Computer Applications
| Hi-index | 0.00 |
Effectively managing concurrent execution is one of the biggest challenges for future wireless sensor/actor networks (WSANs): For safety reasons concurrency needs to be tamed to prevent unintentional nondeterministic executions, on the other hand, for real-time guarantees concurrency needs to be boosted to achieve timeliness. We propose a transactional, optimistic concurrency control framework for WSANs that enables understanding of a system execution as a single thread of control, while permitting the deployment of actual execution over multiple threads distributed onseveral nodes. By exploiting the atomicity and broadcast propertiesof singlehop wireless communication, we provide a lightweightimplementation of our transactional framework on the motes platform.