3872 search results - page 50 / 775 » The Java memory model |
165
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
173
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
150
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...
171
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
150
click to vote
VMCAI
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...