• 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.971

161

Advanced Mutation Testing of Java Bytecode Using Model Transformation
Bockisch, Christoph ; Dorn, Freya ; Eren, Deniz ; et al.

Mutation testing Java bytecode Model transformation
Zur Merkliste hinzufügen
162

Modular termination proofs of recursive Java Bytecode programs by term rewriting
Marc Brockschmidt ; Carsten Otto ; Jürgen Giesl ; et al.
http://drops.dagstuhl.de/opus/volltexte/2011/3114/pdf/7.pdf.

Java Bytecode term rewriting recursion Digital Object...
Fachzeitschrift
Zur Merkliste hinzufügen
164

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
Mues, Malte ; Howar, Falk
Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 398-402 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030452360 9783030452377

Buch
Zur Merkliste hinzufügen
165

Dieses Ergebnis kann Gästen nicht angezeigt werden.

166

The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
Antoniu, Gabriel ; Bougé, Luc ; Hatcher, Philip ; et al.
In Parallel Computing 2001 27(10):1279-1297

Fachzeitschrift
Zur Merkliste hinzufügen
167

Dynamic slicing on Java bytecode traces
Wang, Tao ; Roychoudhury, Abhik
ACM Transactions on Programming Languages & Systems. March, 2008, Vol. 30 Issue 2, p10, 49 p.

Fachzeitschrift
Zur Merkliste hinzufügen
168

Observation of Method Invocation in Application Runtime in Android for CPU Clock Rate Adjustment
Kumakura, Kota ; Sonoyama, Atsuya ; Kamiyama, Takeshi ; et al.
2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) CANDARW Computing and Networking Workshops (CANDARW), 2021 Ninth International Symposium on. :481-483 Nov, 2021

Konferenz
Zur Merkliste hinzufügen
169

Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems
de Carvalho Gomes, Pedro ; Picoco, Attilio

Software Verification Static Analysis Program Models Compositional Verificati...
Report
Zur Merkliste hinzufügen
170

Experiments in Cost Analysis of Java Bytecode
E. Albert ; P. Arenas ; S. Genaim ; et al.
http://clip.dia.fi.upm.es/papers/jvm-cost-exp-bytecode07.pdf.

Cost analysis Java bytecode cost relations recurrence equations complexity
Fachzeitschrift
Zur Merkliste hinzufügen
171

Dieses Ergebnis kann Gästen nicht angezeigt werden.

172

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
173

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

Java bytecode to Pilar translator
Ochani, Vidit

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

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
176

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
177

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
178

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
179

Dieses Ergebnis kann Gästen nicht angezeigt werden.

180

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
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter