3971 search results - page 16 / 795 » On the Use of Properties in Java Applications |
HCW
1998
IEEE
14 years 1 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
JAVA
2001
Springer
14 years 1 months ago
2001
Springer
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
VEE
2009
ACM
14 years 3 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
SPIN
2000
Springer
14 years 16 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
PLDI
2000
ACM
14 years 1 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...