717 search results - page 99 / 144 » Kill-safe synchronization abstractions |
159
click to vote
SAC
2009
ACM
16 years 21 days ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
122
click to vote
ESOP
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
181
click to vote
FASE
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
169
click to vote
ICPPW
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract—A probabilistic analytical framework for decentralized load balancing (LB) strategies for heterogeneous distributed-computing systems (DCSs) is presented with the overal...
148
click to vote
ICRA
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract— In this study, a tactile-roughness transmission system applicable to master-slave systems with a communication time delay is developed. The master-side system construct...