686 search results - page 90 / 138 » Nonmonotonic inference operations |
POPL
1992
ACM
14 years 2 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
HPCA
2009
IEEE
14 years 10 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
SOSP
2005
ACM
14 years 6 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
HPCA
2007
IEEE
14 years 10 months ago
2007
IEEE
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...