Sciweavers

3616 search results - page 119 / 724
» Conditional Memory Ordering
Sort
View
HIPS
1998
IEEE
15 years 9 months ago
Constructive and Adaptable Distributed Shared Memory
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
Jordi Bataller, José M. Bernabéu-Aub...
CAV
2006
Springer
165views Hardware» more  CAV 2006»
15 years 8 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
ICIC
2007
Springer
15 years 11 months ago
On the Convergence Properties of Quantum-Inspired Multi-Objective Evolutionary Algorithms
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
Zhiyong Li, Zhe Li, Günter Rudolph
AIPS
2007
15 years 7 months ago
Act Local, Think Global: Width Notions for Tractable Planning
Many of the benchmark domains in AI planning are tractable on an individual basis. In this paper, we seek a theoretical, domain-independent explanation for their tractability. We ...
Hubie Chen, Omer Giménez
HPCA
2006
IEEE
16 years 5 months ago
Store vectors for scalable memory dependence prediction and scheduling
Allowing loads to issue out-of-order with respect to earlier unresolved store addresses is very important for extracting parallelism in large-window superscalar processors. Blindl...
Samantika Subramaniam, Gabriel H. Loh