1027 search results - page 15 / 206 » A Model for Java with Wildcards |
150
click to vote
SAC
2008
ACM
15 years 8 days ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
120
click to vote
CLUSTER
2002
IEEE
15 years 19 days ago
2002
IEEE
CEJVM is a cluster enabled Java Virtual Machine, which executes in a distributed fashion among collaborating nodes of a dedicated cluster. It extends Java`s multithreading mechani...
148
Voted
ENTCS
2008
15 years 10 days ago
2008
The accurate measurement of the execution time of Java bytecode is one factor that is important in order to estimate the total execution time of a Java application running on a Ja...
95
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
126
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...