Results 201 to 210 of about 28,834 (249)
International multicenter retrospective study on pleomorphic rhabdomyosarcoma (P-RMS), a PUSH platform study: outcome of primary localized disease. [PDF]
Giani C +36 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
IEEE Transactions on Education, 2011
Java Virtual Machine (JVM) education has become essential in training embedded software engineers as well as virtual machine researchers and practitioners. However, due to the lack of suitable instructional tools, it is difficult for students to obtain any kind of hands-on experience and to attain any deep understanding of JVM design.
Jean-Luc Gaudiot
exaly +2 more sources
Java Virtual Machine (JVM) education has become essential in training embedded software engineers as well as virtual machine researchers and practitioners. However, due to the lack of suitable instructional tools, it is difficult for students to obtain any kind of hands-on experience and to attain any deep understanding of JVM design.
Jean-Luc Gaudiot
exaly +2 more sources
Interpretation and Simulation of the JVM
2010 Third International Symposium on Information Processing, 2010Java is one of the most popular programming architectures because of its platform-independence. Its platform-independence depends on Java virtual machine JVM. Compared to executing class file on hardware JVM, executing class file on software JVM is much slower.
Hong-Na Zhang, Yi-Jun Liu
exaly +2 more sources
JVM-Bypass for Efficient Hadoop Shuffling
2013 IEEE 27th International Symposium on Parallel and Distributed Processing, 2013Hadoop employs Java-based network transport stack on top of the Java Virtual Machine (JVM) for its data shuffling and merging purposes. Our examination reveals that JVM introduces a significant amount of overhead to data processing capability of the native interface.
Weikuan Yu
exaly +2 more sources
Testing concurrency on the JVM with lincheck
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020Concurrent programming can be notoriously complex and error-prone. Programming bugs can arise from a variety of sources, such as operation re-reordering, or incomplete understanding of the memory model. A variety of formal and model checking methods have been developed to address this fundamental difficulty.
Nikita Koval +4 more
openaire +1 more source
Characteristics of dynamic JVM languages
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, 2013The Java Virtual Machine (JVM) has become an execution platform targeted by many programming languages. However, unlike with Java, a statically-typed language, the performance of the JVM and its Just-In-Time (JIT) compiler with dynamically-typed languages lags behind purpose-built language-specific JIT compilers.
Aibek Sarimbekov +5 more
openaire +1 more source
Assessing the Correctness of JVM Implementations
2014 IEEE 23rd International WETICE Conference, 2014We present a study on a significantly large and varied set of freely available Java virtual machines implementations. The aim of the study is to assess their level of conformity to the structural constraints of the Java language specification. In order to do that we set up a refined framework for the automated generation of a conformance checking test ...
Calvagna A +2 more
openaire +2 more sources
ACM SIGOPS Operating Systems Review, 2003
Nowadays Java technology has become an important reference to application developers. The great acceptance from software developer's community is mainly based on its platform independence execution environment. In this paper, we analyze the degree of dependence between the Java Virtual Machine (JVM) and the underlying platform.
Ruben Pinilla, Marisa Gil
openaire +1 more source
Nowadays Java technology has become an important reference to application developers. The great acceptance from software developer's community is mainly based on its platform independence execution environment. In this paper, we analyze the degree of dependence between the Java Virtual Machine (JVM) and the underlying platform.
Ruben Pinilla, Marisa Gil
openaire +1 more source
2012
We introduce a new kind of hypergraphs and hyperedge replacement grammars, where nodes are associated types. We use them to adapt the abstraction framework Juggrnaut presented by us in [7,8] --- for the verification of Java Bytecode programs. The framework is extended to handle additional concepts needed for the analysis of Java Bytecode like null ...
Jonathan Heinen +2 more
openaire +1 more source
We introduce a new kind of hypergraphs and hyperedge replacement grammars, where nodes are associated types. We use them to adapt the abstraction framework Juggrnaut presented by us in [7,8] --- for the verification of Java Bytecode programs. The framework is extended to handle additional concepts needed for the analysis of Java Bytecode like null ...
Jonathan Heinen +2 more
openaire +1 more source

