5343 search results - page 459 / 1069 » Keyword programming in java |
141
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
106
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
134
click to vote
ICTCS
2007
Springer
15 years 11 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
163
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
143
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
Inlining improves the performance of programs by reducing the overhead of method invocation and increasing the opportunities for compiler optimization. Incorrect inlining decision...