• Suche: "java bytecode"

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 2.971

121

Modeling the Java Bytecode Verifier
Reynolds, Mark C.
In Science of Computer Programming 1 March 2013 78(3):327-342

Fachzeitschrift
Zur Merkliste hinzufügen
122

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

Fachzeitschrift
Zur Merkliste hinzufügen
123

Applying Java bytecode static instrumentation for software dynamic analysis
S. P. Vartanov ; M. K. Ermakov
Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 25-38 (2018)

статическая инструментац... динамический анализ... анализ программ... Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Zur Merkliste hinzufügen
124

Dieses Ergebnis kann Gästen nicht angezeigt werden.

125

User-Definable Resource Usage Bounds Analysis for Java Bytecode
Navas, Jorge ; Méndez-Lojo, Mario ; Hermenegildo, Manuel V.
In Electronic Notes in Theoretical Computer Science 1 December 2009 253(5):65-82

Fachzeitschrift
Zur Merkliste hinzufügen
126

Soot (poster session) : a Java bytecode optimization and annotation framework
Vallée-Rai, Raja ; Lam, Patrick ; Verbrugge, Clark ; et al.
Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum). :113-114

Konferenz
Zur Merkliste hinzufügen
127

Reconstruction of Type Information from Java Bytecode for Component Compatibility
Bauml, Jaroslav ; Brada, Premek
In Electronic Notes in Theoretical Computer Science 25 February 2011 264(4):3-18

Fachzeitschrift
Zur Merkliste hinzufügen
128

Dieses Ergebnis kann Gästen nicht angezeigt werden.

129

Java Bytecode Preprocessor for Program Verification Tools
Šafařík, Tomáš

Java verifikace programů transformace kódu program verification bytecode JVM …
Dissertation
Zur Merkliste hinzufügen
130

Using abstract interpretation to add type checking for interfaces in Java bytecode verification
De Francesco, Nicoletta ; Lettieri, Giuseppe ; Martini, Luca
In Theoretical Computer Science 2010 411(22):2174-2201

Fachzeitschrift
Zur Merkliste hinzufügen
131

StoneDetector: Structural and Sub-Clone Detection
Schafer, Andre ; Amme, Wolfram ; Heinze, Thomas S.
2023 IEEE 17th International Workshop on Software Clones (IWSC) IWSC Software Clones (IWSC), 2023 IEEE 17th International Workshop on. :33-36 Oct, 2023

Konferenz
Zur Merkliste hinzufügen
132

Dieses Ergebnis kann Gästen nicht angezeigt werden.

133

Reverse-engineering 1-n associations from Java bytecode using alias analysis
Kang, Yoohoon ; Park, Chanjin ; Wu, Chisu
In Information and Software Technology 2007 49(2):81-98

Fachzeitschrift
Zur Merkliste hinzufügen
134

Memory Requirements of Java Bytecode Verification on Limited Devices
Klohs, Karsten ; Kastens, Uwe
In Electronic Notes in Theoretical Computer Science 30 May 2005 132(1):95-111

Fachzeitschrift
Zur Merkliste hinzufügen
135

Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
Jung, Dong-Heon ; Park, JongKuk ; Bae, Sung-Hwan ; et al.
In Computer Languages, Systems & Structures 2008 34(4):170-183

Fachzeitschrift
Zur Merkliste hinzufügen
136

Advanced obfuscation techniques for Java bytecode
Chan, Jien-Tsai ; Yang, Wuu
In The Journal of Systems & Software 2004 71(1):1-10

Fachzeitschrift
Zur Merkliste hinzufügen
137

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

SHAP Java Programmierung Java Bytecode Processor ddc:004 rvk:SS 5514
Report
Zur Merkliste hinzufügen
138

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
Zur Merkliste hinzufügen
139

Capturing program models with BISM
Soueidi, Chukri ; Falcone, Yliès
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. :1857-1861

Konferenz
Zur Merkliste hinzufügen
140

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

Fachzeitschrift
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter