587 search results - page 33 / 118 » Improving the Java memory model using CRF |
138
Voted
WSC
1997
15 years 3 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
DCC
2003
IEEE
16 years 1 months ago
2003
IEEE
The Prediction by Partial Matching (PPM) algorithm uses a cumulative frequency count of input symbols in different contexts to estimate their probability distribution. Excellent c...
103
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
97
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
1 One common assumption of the existing models of load balancing is that the weights of resources and I/O buffer size are statically configured. Though the static configuration ...
137
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...