4747 search results - page 375 / 950 » Shuffle Memory System |
139
click to vote
IPPS
2006
IEEE
16 years 8 days ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
260
click to vote
FIDJI
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
167
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
168
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a method to index objects moving on the plane in order to efficiently answer range queries about their position in the future. This problem is motivated by real-life a...
142
Voted
WDAG
2001
Springer
15 years 10 months ago
2001
Springer
Distributed queuing is a fundamental coordination problem, arising in a variety of applications, including distributed shared memory, distributed directories, and totally ordered ...