7 search results - page 1 / 2 » Making Sequential Consistency Practical in Titanium |
SC
2005
ACM
13 years 10 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
KDD
2006
ACM
14 years 4 months ago
2006
ACM
An organization makes a new release as new information become available, releases a tailored view for each data request, releases sensitive information and identifying information...
SPAA
1998
ACM
13 years 8 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
KDD
2012
ACM
11 years 6 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
ICECCS
2005
IEEE
13 years 10 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...