Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 121 - 140 of 280

121

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

Distributed systems GPU Java bytecode injection Multithreading Parallel computing Spark
Academic journal
Save to List
122

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
Conference
Save to List
123

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

abstract interpretation static analysi numerical domain java bytecode
Conference
Save to List
124

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
Conference
Save to List
125

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
Conference
Save to List
126

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

Data Processing Debugging Java Bytecode Visualization Engineering
Academic journal
Save to List
127

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
Academic journal
Save to List
128

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
Conference
Save to List
129

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

info:eu-repo/classificat... ddc:004 Mehrkernprozessor Java Byte-Code Eingebettetes System
Dissertation/ Thesis
Save to List
130

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

abstract interpretation static analysi Java bytecode
Conference
Save to List
131

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

GPU Programming Java Bytecode Classloadi... Java GPU Programming Engineering
Academic journal
Save to List
132

This result is not available to guest users.

133

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

Formal Reasoning Java Bytecode
Academic journal
Save to List
134

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
Academic journal
Save to List
135

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...
Academic journal
Save to List
136

This result is not available to guest users.

137

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
Academic journal
Save to List
138

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/ Thesis
Save to List
139

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/ Thesis
Save to List
140

A program logic for bytecode
Müller, Peter ; Bannwart, Fabian
Electronic Notes in Theoretical Computer Science, 141 (1)

Java Bytecode NET CIL program verification Hoare logic
Academic journal
Save to List

Filter