Search Results - "Java bytecodes"

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment by Mateos, Cristian, Zunino, Alejandro, Hirsch, Matías, Fernández, Mariano, Campo, Marcelo

“…Computational Grids deliver the necessary computational infrastructure to perform resource-intensive computations such as the ones that solve the problems…”
Get full text

Towards a Java bytecodes compiler for Nios II soft-core processor by Lima, W.S., Lobato, R.S., Manacero, A., Spolon, R.

“…Reconfigurable computing is one of the most recent research topics in computer science. The Altera¿ Nios II soft-core processor can be included in a large set…”
Get full text

Optimizing Java bytecodes by Cierniak, Michał, Li, Wei

“…We have developed a research compiler for Java class files. The compiler, which we call Briki, is designed to test new compilation techniques. We focus on…”
Get full text

An analytical POC stack operations folding for continuous and discontinuous Java bytecodes by Ton, Lee-Ren, Chang, Lung-Chung, Chung, Chung-Ping

“…The execution performance of a stack-based Java virtual machine (JVM) is limited by the true data dependency. To enhance the performance of the JVM, a stack…”
Get full text

Annotating the Java bytecodes in support of optimization by Hummel, Joseph, Azevedo, Ana, Kolson, David, Nicolau, Alexandru

“… The difficulty, however, lies with the Java bytecodes. Their model of a simplistic, platform‐independent stack machine is well…”
Get full text

A Verifier for Region-Annotated Java Bytecodes by Cherem, Sigmund, Rugina, Radu

“…This paper presents a verifier for the memory-safe execution of extended Java bytecodes that support region-based memory management and explicit deallocation primitives…”
Get full text

An instruction set extension for java bytecodes translation acceleration by Sideris, I., Pekmestzi, K., Economakos, G.

“… This paper presents an architecture extension to RISC processors that accelerates Java bytecodes translation…”
Get full text

Java runtime systems: characterization and architectural implications by Radhakrishnan, R., Vijaykrishnan, N., John, L.K., Sivasubramaniam, A., Rubio, J., Sabarinathan, J.

“…The Java Virtual Machine (JVM) is the cornerstone of Java technology and its efficiency in executing the portable Java bytecodes is crucial for the success of this technology…”
Get full text

DALEQ - Explainable Equivalence for Java Bytecode by Dietrich, Jens, Hassanshahi, Behnaz

“…The security of software builds has attracted increased attention in recent years in response to incidents like solarwinds and xz. Now, several companies…”
Get full text

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack by Paganoni, Marco, Furia, Carlo A.

“…A program’s exceptional behavior can substantially complicate its control flow, and hence accurately reasoning about the program’s correctness. On the other…”
Get full text

Efficient Java Bytecode Analysis and Sequence Identification for Embedded Systems by Iqbal, Adeel, Khan, Minhaj Ahmad

“…Conventional tools and techniques of bytecode profiling require a lot of resources to generate bytecode sequences. Embedded devices have limited resources, and…”
Get full text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis by Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“…Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs…”
Get full text

Code coverage differences of Java bytecode and source code instrumentation tools by Horváth, Ferenc, Gergely, Tamás, Beszédes, Árpád, Tengeri, Dávid, Balogh, Gergő, Gyimóthy, Tibor

“…Many software testing fields, like white-box testing, test case generation, test prioritization, and fault localization, depend on code coverage measurement…”
Get full text

An Experimental Comparison of Clone Detection Techniques using Java Bytecode by Schneider, Jean-Guy, Lee, Sung Une

“…It is generally accepted in Software Engineering that code clones - often the result of copy-and-paste of existing code - result in poorer maintainability of…”
Get full text

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR by Dobravec, Tomaž

“…Development of algorithms for solving various kinds of computer related problems consists of several consecutive and possibly repetitive phases. The final and…”
Get full text

Design, implementation, and application of GPU-based Java bytecode interpreters by Celik, Ahmet, Nie, Pengyu, Rossbach, Christopher J., Gligoric, Milos

“…We present the design and implementation of GVM, the first system for executing Java bytecode entirely on GPUs…”
Get full text

Modeling the Java Bytecode Verifier by Reynolds, Mark C.

“… It further describes a system for performing a security analysis on any block of Java bytecodes by converting these bytecodes into relation initializers in Alloy…”
Get full text

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode by Geraldo, Eduardo, Costa Seco, João

“…Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like…”
Get full text

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications by Achour, Safaa, Benattou, Mohammed, Lanet, Jean-Louis

“…This paper presents an analysis method of detecting the inconsistencies between a Java Bytecode program and its formal specification expressed at the Bytecode level, using the Bytecode Modeling Language (BML…”
Get full text

An empirical study of Java bytecode programs by Collberg, Christian, Myles, Ginger, Stepp, Michael

“…We present a study of the static structure of real Java bytecode programs. A total of 1132 Java jar…”
Get full text