3872 search results - page 50 / 775 » The Java memory model |
ISOLA
2010
Springer
14 years 10 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...
111
click to vote
PPPJ
2003
ACM
15 years 5 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...
ISPDC
2003
IEEE
15 years 5 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...
100
click to vote
IPPS
2003
IEEE
15 years 5 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...
VMCAI
2009
Springer
15 years 6 months 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...