1370 search results - page 184 / 274 » Synchronization Transformations for Parallel Computing |
124
click to vote
HIPC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
153
Voted
PODC
1998
ACM
15 years 5 months ago
1998
ACM
A contract is a non-repudiable agreement on a given contract text, i.e., a contract can be used to prove agreement between its signatories to any verifier. A contract signing sche...
148
click to vote
DCOSS
2010
Springer
15 years 5 months ago
2010
Springer
A number of protocols have been proposed to date to defend against wormhole attacks in wireless networks by adopting synchronized clocks, positioning devices, or directional antenn...
110
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
119
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Current projects that automate the collection of provenance information use a centralized architecture for managing the resulting metadata - that is, provenance is gathered at rem...