Results 151 to 160 of about 18,338 (256)

The Compiler Backend: Bytecode and Native code [PDF]

, 2022
Anil Madhavapeddy, Yaron Minsky
openalex   +1 more source

Semantic code clone detection using hybrid intermediate representations and BiLSTM networks. [PDF]

PLoS One
Shahbaz Ismail M, Shahzad S, Quradaa FH.
europepmc   +1 more source

Barracuda: a dynamic, Turing-complete GPU virtual machine for high-performance simulations. [PDF]

Med Biol Eng Comput
Duncan-Gelder P, O'Keeffe D, Bones PJ, Marsh S.   +3 more
europepmc   +1 more source

Design and Application of Legally Valid Payment Templates Based on Linking Contracts.

Comput Math Methods Med, 2022
Zhu Y.
europepmc   +1 more source

JDroid: Android malware detection using hybrid opcode feature vector. [PDF]

PeerJ Comput Sci
Arslan RS.
europepmc   +1 more source

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Hayataka Nakamura, Atsuya Sonoyama, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi   +4 more
openalex   +2 more sources

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration [PDF]

Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld   +2 more
openalex   +1 more source

SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios. [PDF]

Sensors (Basel)
Tao C, He S, Shen X.
europepmc   +1 more source

Verified Java bytecode verification. [PDF]

, 2007
The bytecode verifier is an important part of Java's security architecture. This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.
openaire   +1 more source

GEAAD: generating evasive adversarial attacks against android malware defense. [PDF]

Sci Rep
Ahmad N, Saleem Rana A, Jalil Hadi H, Bashir Hussain F, Chakrabarti P, Alshara MA, Chakrabarti T.   +6 more
europepmc   +1 more source