182 search results - page 15 / 37 » Static Program Analysis for Java Card Applets |
131
Voted
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
NAR
2000
15 years 1 months ago
2000
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html ) is aimed at a better dissemination of information on three-dimensional biopolymer stru...
108
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
100
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
121
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...