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 286

121

Probabilistic Energy Profiler For Java
Nyholm, Joel ; orcid:0009-0001-2003- ; Mostowski, Wojciech ; et al.

Java Java Bytecode Energy consumption
122

A robust stack folding approach for Java processors: an operand extraction-based algorithm
El-Kharashi, M.W. ; Elguibaly, F. ; Li, K.F.
In Journal of Systems Architecture 2001 47(8):697-726

Fachzeitschrift
123

JaDA -- the Java Deadlock Analyzer
Abel Garcia ; Cosimo Laneve ; Symon Gay ; et al.

Java bytecode static analysis behavioral type system deadlock analysis program verification
Buch
124

Vizuální interpret bytecode Java ; Visual interpreter of Java bytecode
Krýsl, Miroslav ; Lipka Richard, Ing. Ph.D. ; Holý Lukáš, Ing. Ph.D.

interpreter vizuální interpreter java jvm bytecode interpret
Dissertation
125

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

Fachzeitschrift
126

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

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

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
128

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
129

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
130

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
131

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

Data Processing Debugging Java Bytecode Visualization Engineering
Fachzeitschrift
132

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
133

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
134

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

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

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

abstract interpretation static analysi Java bytecode
Konferenz
136

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

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

Dieses Ergebnis kann Gästen nicht angezeigt werden.

138

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

Formal Reasoning Java Bytecode
Fachzeitschrift
139

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
140

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

Filter