Results 41 to 50 of about 8,682 (215)

Multi-Layer Real-Time Support for JVM-based Smart Phone Systems

open access: yesAdvances in Electrical and Computer Engineering, 2013
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]

open access: yesIEEE Transactions on Software Engineering, 2018
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]

open access: yes, 2014
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]

open access: yesSerbian Journal of Electrical Engineering
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]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2015
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

open access: yes, 2004
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

sj-doc-5-jvm-10.1177_13567667211063206 - Supplemental material for Rio 2016 Olympic Games: Brand and the reciprocal effects of touristic destinations

open access: yes, 2021
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

open access: yesInternational Conference on Architectural Support for Programming Languages and Operating Systems
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

open access: yesEducare, 2021
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

sj-doc-3-jvm-10.1177_13567667211063206 - Supplemental material for Rio 2016 Olympic Games: Brand and the reciprocal effects of touristic destinations

open access: yes, 2021
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

Home - About - Disclaimer - Privacy