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 121 - 140 von 282

121

On object initialization in the Java bytecode
Doyon, S ; Debbabi, M
In Computer Communications 2000 23(17):1594-1605

Fachzeitschrift
122

Facilitating High Performance Code Parallelization
Abi Saad, Maria
Dissertations - ALL

Distributed systems GPU Java bytecode injection Multithreading Parallel computing Spark
Fachzeitschrift
123

A novel obfuscation: class hierarchy flattening
Foket, Christophe ; De Sutter, Bjorn ; Coppens, Bart ; et al.
Foundations and Practice of Security, Proceedings ; ISBN: 9783642371196 ; ISBN: 9783642371189

Technology and Engineeri... class hierarchy Java bytecode program design obfuscation
Konferenz
124

Numerical static analysis with Soot
AMATO, Gianluca ; DI NARDO DI MAIO, SIMONE ; SCOZZARI, Francesca ; et al.

abstract interpretation static analysi numerical domain java bytecode
Konferenz
125

Reachability Analysis of Program Variables
NIKOLIC, Durica ; SPOTO, Nicola Fausto ; Gramlich B. ; et al.

Static Analysi Constraint-based Analysi Reachability Analysi Abstract Interpretation Java Bytecode
Konferenz
126

Definite Expression Aliasing Analysis for Java Bytecode
NIKOLIC, Durica ; SPOTO, Nicola Fausto ; Roychoudhury A., D’Souza M. ; et al.

Definite Aliasing Expres... Must Aliasing Static Analysi Abstract Interpretation Java Bytecode
Konferenz
127

An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification
Wang, Beinan
Dissertations - ALL

Data Processing Debugging Java Bytecode Visualization Engineering
Fachzeitschrift
128

Kleene Algebra and Bytecode Verification
Kozen,Dexter ; Kot,Lucja ; Cornell University Ithaca United States

COMPUTER PROGRAM VERIFIC... java programming languag... transfer functions BYTECODE STATIC ANALYSIS ABSTRACT INTERPRETATION
Fachzeitschrift
129

Stack bound inference for abstract Java Bytecode
Wang, S. ; Qiu, Z. ; Qin, S. ; et al.
Scopus

Fixpoint analysis Java Bytecode Memory inference Program analysis Stack boundary Tool
Konferenz
130

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

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

Information Flow Analysis for Java Bytecode
GENAIM, Samir ; SPOTO, Nicola Fausto ; R. Cousot ; et al.

abstract interpretation static analysi Java bytecode
Konferenz
132

The Rootbeer Gpu Compiler
Pratt-Szeliga, Phil
Dissertations - ALL

GPU Programming Java Bytecode Classloadi... Java GPU Programming Engineering
Fachzeitschrift
133

Dieses Ergebnis kann Gästen nicht angezeigt werden.

134

Towards a general framework for formal reasoning about java bytecode transformation
Lounas, Razika ; Mezghiche, Mohamed ; Lanet, Jean-Louis

Formal Reasoning Java Bytecode
Fachzeitschrift
135

Analyzing Stack Flows to Compare Java Programs
Lim, HI ; Han, Taisook ; Han, Taisook ; et al.

SOFTWARE THEFT BIRTHMARKS software clone detection software copyright prote... Java bytecode analysis
Fachzeitschrift
136

A Novel Mechanism for Gridification of Compiled Java Applications
Mateos, Cristian ; Zunino, Alejandro ; Trachsel, Ramiro ; et al.
Computing and Informatics; Vol. 30 No. 6 (2011): Computing and Informatics; 1259-1285 ; 2585-8807 ; 1335-9150

Grid computing gridification parallelism Grid middlewares Satin resource-intensive appli...
Fachzeitschrift
137

Dieses Ergebnis kann Gästen nicht angezeigt werden.

138

Detecting theft of Java applications via a static birthmark based on weighted stack patterns
Lim, Hyun-il ; Park, Heewan ; choi, Seokwoo ; et al.

SOFTWARE THEFT software birthmark software theft detection software protection Java bytecode
Fachzeitschrift
139

Získávání metrik o komponentách z distribučních balíků ; Obtaining component metrics from distribution packages
Šmajcl, Jan ; Brada, Přemysl ; Lipka, Richard

měření metriky komponent Java bytecode úložiště measurement component metrics
Dissertation
140

A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs
NIKOLIC, Durica ; Nikolic, Durica

Static Analysi Abstract Interpretation Java Bytecode Pointer Analysi Reachability Analysi Aliasing Analysi
Dissertation

Filter