3872 search results - page 114 / 775 » The Java memory model |
125
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
MASCOTS
2004
15 years 3 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
112
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several furth...
119
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
105
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...