283 search results - page 35 / 57 » Effective Program Verification for Relaxed Memory Models |
CCGRID
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper proposes a novel View-based Consistency model for Distributed Shared Memory. A view is a set of ordinary data objects that a processor has the right to access in a data...
221
click to vote
HIPC
2009
Springer
14 years 11 months ago
2009
Springer
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
109
click to vote
AAAI
2008
15 years 4 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
123
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
112
click to vote
JMLR
2006
15 years 1 months ago
2006
An ensemble is a group of learning models that jointly solve a problem. However, the ensembles generated by existing techniques are sometimes unnecessarily large, which can lead t...