2114 search results - page 232 / 423 » A model of cooperative threads |
159
click to vote
ICPP
2008
IEEE
16 years 26 days ago
2008
IEEE
The slow speed of conventional execution-driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper proposes and evaluates a f...
153
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
169
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
162
click to vote
SRDS
2006
IEEE
16 years 12 days ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
172
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...