286 search results - page 1 / 58 » Weak Ordering - A New Definition |
ISCA
1998
IEEE
13 years 9 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
IPL
2010
13 years 3 months ago
2010
Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that cat...
JSYML
2011
12 years 7 months ago
2011
We locate winning strategies for various Σ0 3-games in the L-hierarchy in order to prove the following:
CSL
2010
Springer
13 years 6 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...