395 search results - page 35 / 79 » On the Effectiveness of GC in Java |
113
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Agent-based application development must face the issues related to the interactions among agents. In fact, their sociality allows decomposing large applications into collaboratin...
120
click to vote
ESOP
2006
Springer
15 years 5 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...
114
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
146
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
126
click to vote
TSMC
2008
15 years 1 months ago
2008
This paper presents an integrated approach for Web-based collaborative manufacturing, including distributed process planning, dynamic scheduling, real-time monitoring, and remote c...