Results 111 to 120 of about 18,338 (256)
Selected tools for Java class and bytecode inspection in the educational environment
Open Computer Science, 2020 Java is not only a modern, powerful, and frequently used programming language, but together with Java Virtual Machine it represents a novel dynamic approach of writing and executing computer programs.
Dobravec Tomaž
doaj +1 more source
Detecting race conditions in Java programs using dynamic analysis
Труды Института системного программирования РАН, 2018 This article presents a dynamic analysis approach to automatic detection of race conditions in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine to avoid additional dynamic instrumentation overhead ...
M. . Ermakov, S. . Vartanov
doaj +1 more source
Juice: An SVG Rendering Peer for Java Swing [PDF]
, 2006 SVG—a W3C XML standard—is a relatively new language for describing low-level vector drawings. Due to its cross-platform capabilities and support for events, SVG may potentially be used in interactive GUIs/graphical front-ends.
Yuwono, Ignatius
core +1 more source
Java Bytecode Verification: An Overview [PDF]
, 2001 Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards. This paper describes the main bytecode verification algorithms and surveys the variety of formal methods that have been applied to bytecode verification in order to establish its correctness.
openaire +2 more sources
Re-Pair Compression of Inverted Lists
, 2009 Compression of inverted lists with methods that support fast intersection operations is an active research topic. Most compression schemes rely on encoding differences between consecutive positions with techniques that favor small numbers.
Claude, Francisco +2 more
core +2 more sources
Formal Certification of Android Bytecode
CoRR, 2015 Android is an operating system that has been used in a majority of mobile devices. Each application in Android runs in an instance of the Dalvik virtual machine, which is a register-based virtual machine (VM). Most applications for Android are developed using Java, compiled to Java bytecode and then translated to DEX bytecode using the dx tool in the ...
Hendra Gunadi, Alwen Tiu, Rajeev Goré
openaire +2 more sources
A Semantic Framework for the Security Analysis of Ethereum smart contracts
, 2018 Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted ...
A Biryukov +6 more
core +2 more sources
Cost Analysis of Java Bytecode [PDF]
, 2007 Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic dispatching). This paper addresses these problems and develops a generic framework for the automatic cost analysis of sequential Java bytecode.
Elvira Albert +4 more
openaire +1 more source
Generating Verification Conditions from BIRS Code using Basic Paths for Java Bytecode Verification [PDF]
, 2012 Jemin Kim +3 more
openalex +1 more source
A Covert Communication Method Based on Ethereum Bytecode
Tongxin xuebaoThis paper presents a covert communication scheme leveraging the Ethereum Virtual Machine (EVM) bytecode to enable the undetected transmission of sensitive information.
Huang Dongyan, Huang Min
doaj