3616 search results - page 38 / 724 » Conditional Memory Ordering |
109
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
112
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
93
Voted
AAAI
2006
15 years 3 months ago
2006
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...
141
Voted
EAAI
2010
14 years 9 months ago
2010
The purpose of this article is to present a method for industrial process diagnosis with Bayesian network, and more particularly with Conditional Gaussian Network (CGN). The inter...
116
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...