3616 search results - page 403 / 724 » Conditional Memory Ordering |
126
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
112
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
132
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...
161
click to vote
FGR
2006
IEEE
15 years 7 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
184
click to vote
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We apply autocorrelation and Walsh coefficients for the investigation of correlation immune and resilient Boolean functions. We prove new lower bound for the absolute ind...