Results 41 to 50 of about 8,682 (215)
Multi-Layer Real-Time Support for JVM-based Smart Phone Systems
Employing the Java virtual machine (JVM) architecture provides smart phone systems stability and security by sandboxing third-party applications and controlling their behavior.
SEO, E., JUNG, Y., LIM, D., WOO, Y.
doaj +1 more source
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM [PDF]
Software systems contain resilience code to handle those failures and unexpected events happening in production. It is essential for developers to understand and assess the resilience of their systems.
Long Zhang +4 more
semanticscholar +1 more source
Workload characterization of JVM languages [PDF]
Being developed with a single language in mind, namely Java, the Java Virtual Machine (JVM) nowadays is targeted by numerous programming languages. Automatic memory management, Just-In-Time (JIT) compilation, and adaptive optimizations provided by the ...
Sarimbekov, Aibek, Binder, Walter
core +3 more sources
Machine learning-driven prediction of optimal control flow graph traversal strategy [PDF]
Control flow graphs model possible program execution paths and thus are essential for static program analysis. Compilers use control flow graphs as a basis for their intermediate representations, allowing them to apply optimizations.
Ristović Ivan +5 more
doaj +1 more source
Proving Skipping Refinement with ACL2s [PDF]
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Mitesh Jain, Panagiotis Manolios
doaj +1 more source
MCI-Java: A Modified JVM Approach to Multiple Code Inheritance
Java has multiple inheritance of interfaces, but only single inheritance of code via classes. This situation results in duplicated code in Java library classes and application code.
Cutumisu, M. +3 more
core +1 more source
Supplemental material, sj-doc-5-jvm-10.1177_13567667211063206 for Rio 2016 Olympic Games: Brand and the reciprocal effects of touristic destinations by Luciana Brandão Ferreira, Janaina de Moura Engracia Giraldi, Glauber Eduardo de Oliveira Santos and ...
Charbel Jose Chiappetta Jabbour (6626219) +3 more
core +1 more source
Validating JVM Compilers via Maximizing Optimization Interactions
This paper introduces the concept of optimization interaction, which refers to the practice in modern compilers where multiple optimization phases, such as inlining, loop unrolling, and dead code elimination, are not completed in a one-off sequential ...
Zi-Fan Xie +3 more
semanticscholar +1 more source
Lecturas y tertulias de misceláneas químicas
El artículo reporta los hallazgos de una experiencia educativa que consistió en realizar lecturas y tertulias de misceláneos como estrategia didáctica para la comprensión y actualización de conceptos químicos en estudiantes cursantes de las asignaturas ...
Lolymar Romero Maza +3 more
doaj +1 more source
Supplemental material, sj-doc-3-jvm-10.1177_13567667211063206 for Rio 2016 Olympic Games: Brand and the reciprocal effects of touristic destinations by Luciana Brandão Ferreira, Janaina de Moura Engracia Giraldi, Glauber Eduardo de Oliveira Santos and ...
Charbel Jose Chiappetta Jabbour (6626219) +3 more
core +1 more source

