3616 search results - page 91 / 724 » Conditional Memory Ordering |
162
click to vote
DC
2010
15 years 4 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
146
click to vote
VW
2000
Springer
15 years 8 months ago
2000
Springer
Architecture experience of order and hierarchies in spatial event plays an important role in virtual environments notion of `presence'. Architecture monument urbane definition...
156
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
130
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
As the size of data storing arrays of disks grows, it becomes vital to protect data against double disk failures. An economic way of providing such protection consists of adding tw...
148
click to vote
SIAMSC
2010
15 years 3 months ago
2010
The emergence of multicore architectures and highly scalable platforms motivates the development of novel algorithms and techniques that emphasize concurrency and are tolerant of ...