725 search results - page 75 / 145 » Escape Analysis for Java |
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
ANSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
PDP
2007
IEEE
14 years 1 months ago
2007
IEEE
—Grid computing is becoming more and more attractive for coordinating large-scale heterogeneous resource sharing and problem solving. Of particular interest for effective Grid co...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...