52 search results - page 4 / 11 » Towards an Algebraic Specification of the Java Virtual Machi... |
IFIP
2010
Springer
13 years 1 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
APLAS
2003
ACM
13 years 10 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
SIGMETRICS
2012
ACM
11 years 9 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
CARDIS
1998
Springer
13 years 10 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...