725 search results - page 49 / 145 » Escape Analysis for Java |
126
Voted
ISPAN
1999
IEEE
15 years 6 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
119
click to vote
SEUS
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
122
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
119
click to vote
CCS
1998
ACM
15 years 6 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
105
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
A software component graph, where a node represents a component and an edge represents a use-relation between components, is widely used for analysis methods of software engineeri...