1210 search results - page 78 / 242 » Formal Techniques for Java Programs |
122
click to vote
VEE
2006
ACM
15 years 8 months ago
2006
ACM
Many new Java runtime optimizations report relatively small, single-digit performance improvements. On modern virtual and actual hardware, however, the performance impact of an op...
138
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
141
click to vote
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
110
Voted
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
125
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...