2927 search results - page 66 / 586 » An OR Parallel Prolog Model for Distributed Memory Systems |
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
PODC
2010
ACM
14 years 23 days ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
SPAA
2003
ACM
14 years 2 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...