Results 221 to 230 of about 28,834 (249)
Some of the next articles are maybe not open access.
Invokedynamic for the CACAO JVM
2014Der Java Specification Request 292 (JSR-292)[51] erweitert die Java Virtual Machine (JVM) Spezifikation[34] um die effiziente Implementierung von dynamisch typisierten Programmier- sprachen zu ermöglichen. Der invokedynamic Bytecode ist die wichtigste Neuerung in diesen Zusammenhang.
openaire +1 more source
Deep Differential Testing of JVM Implementations
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019The Java Virtual Machine (JVM) is the cornerstone of the widely-used Java platform. Thus, it is critical to ensure the reliability and robustness of popular JVM implementations. However, little research exists on validating production JVMs. One notable effort is classfuzz, which mutates Java bytecode syntactically to stress-test different JVMs.
Yuting Chen 0001 +2 more
openaire +1 more source
A Security PaaS Container with a Customized JVM
2014 IEEE 7th International Conference on Cloud Computing, 2014PaaS is known as an application engine which third party developers can deploy their application onto. Security of PaaS becomes important as applications shares resources. How to secure and isolation the resources become an important topic. In this paper, a security PaaS container is proposed which is based on a customized JVM.
Rongheng Lin +5 more
openaire +1 more source
A New Type System for JVM Lock Primitives
New Generation Computing, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Futoshi Iwama, Naoki Kobayashi 0001
openaire +2 more sources
A C++ Native Interface for Interpreted JVMs
2003This paper describes JuNI++, a C++ native interface for interpreted Java Virtual Machines. While JuNI++ was initially designed in order to integrate the RTSJ implementation jRate with Juice, a virtual machine for small footprint environments, its engineering and performance advantages outlived the initial goal. The main contribution of this paper is to
A. CORSARO, SANTORO, CORRADO
openaire +2 more sources
Formal JVM Code Analysis in JavaFAN
2004JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concurrent JVM programs by means of symbolic simulation, breadth-first search, and LTL model checking.
Azadeh Farzan +2 more
openaire +1 more source
A New Distributed JVM for Cluster Computing
2003In this work, we introduce CoJVM, a new distributed Java run-time system that enables concurrent Java programs to efficiently execute on clusters of personal computers or workstations. CoJVM implements Java’s shared memo-ry model by enabling multiple standard JVMs to work cooperatively and transparently to support a single distributed shared-memory ...
Marcelo Lobosco +3 more
openaire +1 more source
2010
So far, we’ve been discussing the DLR and its applications. In this chapter, we will look at the framework in the Java world that’s equivalent to the DLR. We will see how that Java framework facilitates running dynamic language code on the Java virtual machine, how to host dynamic languages in a Java program, and what kind of language interoperability ...
openaire +1 more source
So far, we’ve been discussing the DLR and its applications. In this chapter, we will look at the framework in the Java world that’s equivalent to the DLR. We will see how that Java framework facilitates running dynamic language code on the Java virtual machine, how to host dynamic languages in a Java program, and what kind of language interoperability ...
openaire +1 more source
Vincent: Green Hot Methods in the Jvm
SSRN Electronic Journal, 2022Kenan Liu +3 more
openaire +1 more source