172 search results - page 1 / 35 » A type and effect system for deterministic parallel Java |
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
114
click to vote
IJPP
2006
15 years 2 months ago
2006
Abstract. In order to address the problems faced in the wireless communications domain, picoChip has devised the picoArrayTM . The picoArrayTM is a tiled-processor architecture, co...
107
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
105
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
189
click to vote
FIDJI
2004
Springer
15 years 7 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...