3872 search results - page 298 / 775 » The Java memory model |
131
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
128
click to vote
ANSS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we present JSIM, a Java-based simulation and animation environment being developed at the University of Georgia. The JSIM library includes many Java classes to make...
124
click to vote
WSC
2000
15 years 5 months ago
2000
Recent developments in software component technology have renewed the promise of reusable software. Combining this with the possibilities of sharing simulation results and models ...
130
click to vote
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
127
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...