Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 181 - 200 von 2.971

181

Dieses Ergebnis kann Gästen nicht angezeigt werden.

183

Dieses Ergebnis kann Gästen nicht angezeigt werden.

184

Java Bytecode Verification Using Model Checking
Joachim Posegga ; Harald Vogt ; The Pennsylvania State University CiteSeerX Archives
http://www-dse.doc.ic.ac.uk/~sue/oopsla/posegga.f.ps.

Java Bytecode Verificati... Model Checking
Fachzeitschrift
185

Dieses Ergebnis kann Gästen nicht angezeigt werden.

186

Java bytecode compression for low-end embedded systems
Lars Ræder Clausen ; Ulrik Pagh Schultz ; Charles Consel ; et al.
http://websrv0a.sdu.dk/ups/papers/toplas00.pdf.

Categories and Subject D... D.3.4 [Programming Langu... Processors—Optimization... Intepreters Run-time environments Ge... Design
Fachzeitschrift
187

Dieses Ergebnis kann Gästen nicht angezeigt werden.

188

Dieses Ergebnis kann Gästen nicht angezeigt werden.

189

Dieses Ergebnis kann Gästen nicht angezeigt werden.

190

Dieses Ergebnis kann Gästen nicht angezeigt werden.

191

Oracles for the Equivalence of Java Bytecode
Dietrich, Jens ; White, Tim ; Abdollahpour, Mohammad Mahdi ; et al.

Java bytecode compilation
192

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode
Eduardo Geraldo ; João Costa Seco
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 16-31 (2019)

Mathematics QA1-939 Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
193

CIL to Java-bytecode translation for static analysis leveraging
Pietro Ferrara ; Agostino Cortesi ; Fausto Spoto ; et al.

CIl Java Bytecode Static Analysis
Konferenz
194

Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren
Zabel, Martin

info:eu-repo/classificat... ddc:004 Mehrkernprozessor Java Byte-Code Eingebettetes System
Dissertation
195

Dieses Ergebnis kann Gästen nicht angezeigt werden.

196

Dieses Ergebnis kann Gästen nicht angezeigt werden.

197

Dynamic symbolic execution of Java programs using JNI
Vartanov, Sergey
2017 Computer Science and Information Technologies (CSIT) Computer Science and Information Technologies (CSIT), 2017. :83-86 Sep, 2017

Konferenz
198

Preventing reverse engineering: Java bytecode obfuscation
Perry, J. Steven
Java Developer's Journal. May, 2004, Vol. 9 Issue 5, p34, 4 p.

Zeitschrift
199

Dieses Ergebnis kann Gästen nicht angezeigt werden.

200

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter