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 101 - 120 von 280

101

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
102

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
103

SHAP — Scalable Multi-Core Java Bytecode Processor
Zabel, Martin ; Spallek, Rainer G.

SHAP Java Programmierung Java Bytecode Processor ddc:004 rvk:SS 5514
Report
104

Parametric Contracts for Concurrency in Java Programs
Žárský, Jan

instrumentation RoadRunner Java dynamic analysis Java bytecode verifikace softwaru
Dissertation
105

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Insup Lee ; The Pennsylvania State University CiteSeerX Archives
http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf.

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

A Program Logic for Bytecode
Bannwart, Fabian ; Müller, Peter
In Electronic Notes in Theoretical Computer Science 5 December 2005 141(1):255-273

Fachzeitschrift
107

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
Artho, Cyrille ; Biere, Armin
In Electronic Notes in Theoretical Computer Science 5 December 2005 141(1):109-128

Fachzeitschrift
108

BAT2XML: XML-based Java Bytecode Representation
Eichberg, Michael
In Electronic Notes in Theoretical Computer Science 5 December 2005 141(1):93-107

Fachzeitschrift
109

Coverage testing of Java programs and components
Vincenzi, A.M.R. ; Maldonado, J.C. ; Wong, W.E. ; et al.
In Science of Computer Programming 2005 56(1):211-230

Fachzeitschrift
110

SHAP — Scalable Multi-Core Java Bytecode Processor
Zabel, Martin ; Spallek, Rainer G.

SHAP, Java, Programmieru... Java Bytecode Processor info:eu-repo/classificat... ddc:004
Report
111

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance
Kuperberg, Michael

QA75.5-76.95 Components Performance Prediciton Execution Platform Profi... Java Bytecode Software Performance
112

Java bytecode compression for low-end embedded systems
Lars Ræder Clausen ; Ulrik Pagh Schultz ; Charles Consel ; et al.
http://websrv0a.sdu.dk/ups/papers/toplas00.pdf.

Categories and Subject D... D.3.4 [Programming Langu... Processors—Optimization... Intepreters Run-time environments Ge... Design
Fachzeitschrift
113

Java Bytecode Verification Using Model Checking
Joachim Posegga ; Harald Vogt ; The Pennsylvania State University CiteSeerX Archives
http://www-dse.doc.ic.ac.uk/~sue/oopsla/posegga.f.ps.

Java Bytecode Verificati... Model Checking
Fachzeitschrift
114

A sound dependency analysis for secure information flow (extended version)
Ghindici, Dorina ; Simplot-Ryl, Isabelle ; Talbot, Jean-Marc ; et al.
https://inria.hal.science/inria-00185263 ; [Research Report] RT-0347, INRIA. 2007.

Information flow static analysis Java bytecode abstract interpretation non-interference [INFO.INFO-CL]Computer S...
Report
115

CIL to Java-bytecode translation for static analysis leveraging
Pietro Ferrara ; Agostino Cortesi ; Fausto Spoto ; et al.

CIl Java Bytecode Static Analysis
Konferenz
116

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

Java Java Bytecode Energy consumption
117

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
118

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
119

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
120

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

Fachzeitschrift

Filter