3616 search results - page 402 / 724 » Conditional Memory Ordering |
134
click to vote
ICPP
1990
IEEE
15 years 7 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
126
click to vote
AUSAI
2007
Springer
15 years 7 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
120
click to vote
ITP
2010
15 years 7 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
140
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
107
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The task of translating data from one schema into another is usually performed with the help of information stating how the elements between two schemas correspond. Translation mec...