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 280

161

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Sampath Kannan ; Insup Lee ; et al.
http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.pdf.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
162

A sound dependency analysis for secure information flow (extended version)
Dorina Ghindici ; Isabelle Simplot-ryl ; Jean-marc Talbot ; et al.
http://hal.inria.fr/docs/00/18/54/76/PDF/RT-0347.pdf.

Key-words Information flow static analysis Java bytecode abstract interpretation
Fachzeitschrift
163

Parametric Inference of Memory Requirements for Garbage Collected Languages
Elvira Albert ; Samir Genaim ; Miguel Gómez-zamalloa ; et al.
http://clip.dia.fi.upm.es/papers/heap-usage-ISMM10.pdf.

General Terms Languages Theory Verification Reliability Keywords Liv... Peak Memory Consumption Low-level Languages
Fachzeitschrift
164

A Termination Analyser for Java Bytecode Based on Path-Length
Fausto Spoto ; The Pennsylvania State University CiteSeerX Archives
http://profs.sci.univr.it/~spoto/termination09.pdf.

General Terms Languages Theory Verification Additional... Abstract interpretation termination analysis
Fachzeitschrift
165

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment
Mateos Diaz, Cristian Maximiliano ; Zunino Suarez, Alejandro Octavio ; Hirsch Jofré, Matías Eberardo ; et al.

AUTOMATIC PARALLELISM COMPUTATIONAL GRIDS GRIDIFICATION JAVA BYTECODE PARALLELIZATION HEURISTI... RESOURCE-INTENSIVE APPLI...
Fachzeitschrift
166

Dekompajliranje aplikacija pisanih u programskom jeziku Kotlin ; Decompilation of applications written in Kotlin programming language
Todorić, Filip ; Groš, Stjepan

dekompajliranje Android aplikacija Kotlin Java izvršna datoteka analiza Java bajt kod in... JVM
Dissertation
167

Extrakce grafu toku řízení z bajtkódu Java ; Extraction of Control Flow Graph from Java Bytecode
Sečkařová, Petra ; Smrčka, Aleš ; Kočí, Radek

bajtkód jazyka Java graf toku řízení analýza LLVM IR Java bytecode control flow graph
Dissertation
168

Dieses Ergebnis kann Gästen nicht angezeigt werden.

169

Zpětný překladač bajtkódu jazyka Java ; Java Bytecode Disassembler
Hřibal, Jaromír ; Křivka, Zbyněk ; Kučera, Jiří

Java Zpětný překlad Java bajtkód Java virtuální stroj Disassembler Java bytecode
Dissertation
170

Jandom: JVM based Analyzer for Numerical DOMains
AMATO, Gianluca ; SCOZZARI, Francesca ; Amato, Gianluca ; et al.

abstract interpretation static analysi scala java bytecode
171

Dieses Ergebnis kann Gästen nicht angezeigt werden.

172

Dieses Ergebnis kann Gästen nicht angezeigt werden.

173

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

BYG: An Approach to Just-in-Time Gridification of Conventional Java Applications
Mateos Diaz, Cristian Maximiliano ; Zunino Suarez, Alejandro Octavio ; Campo, Marcelo Ricardo ; et al.

GRID COMPUTING JUST-IN-TIME COMPUTING GRIDIFICATION GRID MIDDLEWARES LEGACY PROGRAMS JAVA BYTECODE
Buch
175

Software theft detection through static trace birthmarks for java ; 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지
Park, Hee-Wan ; 박희완 ; Han, Tai-Sook ; et al.

GPL violation static analysis software theft detection software birthmark Java bytecode analysis 자바 바이트코드 분석...
Dissertation
178

Software theft detection through analysis of the semantic units of program ; 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법
Lim, Hyun-il ; Han, Tai-Sook(한태숙)

software theft detection software protection program analysis software birthmark Java bytecode analysis 소프트웨어 도용 탐지...
179

An instruction set extension for java bytecodes translation acceleration
Sideris, I ; Pekmestzi, K ; Economakos, G

Embedded Processor High Performance Instruction Set Extensio... java bytecode Java Programming First Order
180

Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)
M., Huisman ; Spoto, Nicola Fausto ; M. Huisman ; et al.

Java Bytecode NET Static Analysi Code Transformation

Filter