182 search results - page 16 / 37 » Static Program Analysis for Java Card Applets |
152
click to vote
RTCSA
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
119
click to vote
ICSM
1998
IEEE
15 years 6 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
122
click to vote
ICAS
2006
IEEE
15 years 8 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
128
Voted
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
150
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...