3 search results - page 1 / 1 » A Fast Algorithm to Compute Heap Memory Bounds of Java Card ... |
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
IWMM
2010
Springer
13 years 6 months ago
2010
Springer
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
PLDI
1998
ACM
13 years 9 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...