587 search results - page 48 / 118 » Improving the Java memory model using CRF |
109
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
125
click to vote
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
113
click to vote
ICS
1999
Tsinghua U.
15 years 6 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
110
click to vote
ISCAS
2002
IEEE
15 years 6 months ago
2002
IEEE
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...
105
click to vote
FOCS
2002
IEEE
15 years 6 months ago
2002
IEEE
A standard load balancing model considers placing Ò balls into Ò bins by choosing possible locations for each ball independently and uniformly at random and sequentially placing...