• Suche: "Java Bytecode"

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 161 - 180 von 2.936

161

Dieses Ergebnis kann Gästen nicht angezeigt werden.

162

JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter
Cordeiro, L, Kroening, D & Schrammel, P 2019, JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution). in International Conference on Tools and Algorithms for the Construction and Analysis of Systems. https://doi.org/10.1007/978-3-030-17502-3_17

Fachzeitschrift
Zur Merkliste hinzufügen
163

Dieses Ergebnis kann Gästen nicht angezeigt werden.

164

Java bytecode to Pilar translator
Ochani, Vidit

Pilar Translation Sireum Bytecode Computer Science (0984)
Report
Zur Merkliste hinzufügen
165

Java Bytecode Dependence Analysis for Secure Information Flow Abstract
Gaowei Bian ; Ken Nakayama ; Yoshitake Kobayashi ; et al.
http://ijns.nchu.edu.tw/contents/ijns-v4-n1/ijns-2007-v4-n1-p59-68.pdf.

Dependence analysis information flow Java Bytecode
Fachzeitschrift
Zur Merkliste hinzufügen
166

Advanced obfuscation techniques for Java bytecode
Jien-Tsai Chan ; Wuu Yang
The Journal of Systems and Software. April, 2004, Vol. 71 Issue 1-2, p1, 10 p.

Fachzeitschrift
Zur Merkliste hinzufügen
167

JBMC: a bounded model checking tool for verifying java bytecode
Cordeiro, Lucas ; Kesseli, Pascal ; Kroening, Daniel ; et al.

QA0075 Electronic comput...
Konferenz
Zur Merkliste hinzufügen
168

JBMC: a bounded model checking tool for verifying java bytecode
Lucas Cordeiro ; Pascal Kesseli ; Daniel Kroening ; et al.

software verification Java bounded model checking SAT solving
Konferenz
Zur Merkliste hinzufügen
169

Detecting Java Code Clones with Multi-granularities Based on Bytecode
Yu, Dongjin ; Wang, Jie ; Wu, Qing ; et al.
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) COMPSAC Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual. 1:317-326 Jul, 2017

Konferenz
Zur Merkliste hinzufügen
170

JShrink: in-depth investigation into debloating modern Java applications
Bruce, Bobby R. ; Zhang, Tianyi ; Arora, Jaspreet ; et al.
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :135-146

Konferenz
Zur Merkliste hinzufügen
171

Dieses Ergebnis kann Gästen nicht angezeigt werden.

173

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

Design, implementation, and application of GPU-based Java bytecode interpreters
Celik, Ahmet ; Nie, Pengyu ; Rossbach, Christopher J. ; et al.
Proceedings of the ACM on Programming Languages ; volume 3, issue OOPSLA, page 1-28 ; ISSN 2475-1421

Fachzeitschrift
Zur Merkliste hinzufügen
175

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
Zur Merkliste hinzufügen
176

Dieses Ergebnis kann Gästen nicht angezeigt werden.

177

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
Zur Merkliste hinzufügen
178

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto
Science of Computer Programming ; volume 191, page 102392 ; ISSN 0167-6423

Fachzeitschrift
Zur Merkliste hinzufügen
179

Dieses Ergebnis kann Gästen nicht angezeigt werden.

180

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter