Suchergebnisse - "Java bytecodes"

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment von 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 …”
Volltext

Towards a Java bytecodes compiler for Nios II soft-core processor von 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 …”
Volltext

Optimizing Java bytecodes von 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 …”
Volltext

An analytical POC stack operations folding for continuous and discontinuous Java bytecodes von 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 …”
Volltext

Annotating the Java bytecodes in support of optimization von 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 …”
Volltext

A Verifier for Region-Annotated Java Bytecodes von 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 …”
Volltext

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

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

Java runtime systems: characterization and architectural implications von 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 …”
Volltext

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis von 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 …”
Volltext

Code coverage differences of Java bytecode and source code instrumentation tools von 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 …”
Volltext

An Experimental Comparison of Clone Detection Techniques using Java Bytecode von 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 …”
Volltext

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

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

Design, implementation, and application of GPU-based Java bytecode interpreters von 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 …”
Volltext

Modeling the Java Bytecode Verifier von 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 …”
Volltext

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode von 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 …”
Volltext

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications von 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 …”
Volltext

An empirical study of Java bytecode programs von 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 …”
Volltext

CIL to Java-Bytecode Translation for Static Analysis Leveraging von Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

“… A formal translation of CIL (i.e., .Net) bytecode into Java bytecode is introduced and proved sound with respect to the language semantics …”
Volltext

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs von Achour, Safaa, Benattou, Mohammed

“… The verification process of software is of growing importance as it helps to assure that an application is correctly built. However, an efficient verification …”
Volltext

Applying Java bytecode static instrumentation for software dynamic analysis von Vartanov, S.P., Ermakov, M.K.

“… This paper focuses on dynamic analysis of Java programs. We consider the following limitations: analysis tool may not have access to target program source …”
Volltext