1974 search results - page 185 / 395 » Conditional Purchase Orders |
147
Voted
ICPP
1990
IEEE
15 years 9 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...
133
Voted
AUSAI
2007
Springer
15 years 9 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...
128
Voted
ITP
2010
15 years 9 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...
153
Voted
HOTOS
2007
IEEE
15 years 8 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...
122
Voted
CAISE
2006
Springer
15 years 8 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...