444 search results - page 9 / 89 » Declarative Concurrency in Java |
156
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
104
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
117
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
143
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
118
click to vote
FMOODS
2003
15 years 3 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...