3872 search results - page 73 / 775 » The Java memory model |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
WSC
1997
15 years 1 months ago
1997
The specification of a simulation model of a complex traffic intersection using the Hierarchical Modeling And Simulation System-Java (HiMASS-j) is presented.
WSC
2004
15 years 1 months ago
2004
Distributed simulation promises a range of benefits and opportunities, especially for modeling large-scale complex systems, such as wafer fabs. However, as with many promising tec...
SWAT
2000
Springer
15 years 3 months ago
2000
Springer
We define external memory (or I/O) models which capture space complexity and develop a general technique for deriving I/O-space trade-offs in these models from internal memory mode...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...