5343 search results - page 209 / 1069 » Keyword programming in java |
136
click to vote
ENTCS
2007
15 years 2 months ago
2007
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost rel...
123
Voted
TECS
2010
15 years 29 days ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
126
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
119
Voted
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
105
Voted
DAIS
2003
15 years 4 months ago
2003
Abstract The JAMUS platform is dedicated to providing a safe runtime environment for untrusted Java application programs, while offering each of these programs access to the resour...