• 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.950

121

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
122

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
123

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
124

Dieses Ergebnis kann Gästen nicht angezeigt werden.

125

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
126

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
127

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
128

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
129

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
130

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
131

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
132

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

Fachzeitschrift
Zur Merkliste hinzufügen
133

Java Bytecode Transformations for Efficient, Portable CPU Accounting
Binder, Walter ; Hulaas, Jarle
In Electronic Notes in Theoretical Computer Science 5 December 2005 141(1):53-73

Fachzeitschrift
Zur Merkliste hinzufügen
134

Integrated Java Bytecode Verification
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
In Electronic Notes in Theoretical Computer Science 24 May 2005 131:27-38

Fachzeitschrift
Zur Merkliste hinzufügen
135

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications.
Achour, Safaa ; Benattou, Mohammed ; Lanet, Jean-Louis
IAENG International Journal of Computer Science. Jun2021, Vol. 48 Issue 2, p343-355. 13p.

Conformity Flowgraphs Technical specifications Test methods
Fachzeitschrift
Zur Merkliste hinzufügen
136

A local approach for temporal model checking of Java bytecode
Santone, Antonella ; Vaglini, Gigliola
In Journal of Computer and System Sciences 2005 70(2):258-281

Fachzeitschrift
Zur Merkliste hinzufügen
137

Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode
Medel, Ricardo ; Martínez Spessot, Cesar Ignacio ; Vázquez, Juan C. ; et al.

Ciencias Informáticas nueva tecnología Software Seguridad informática Confidencialidad Sistemas de tipos …
Konferenz
Zur Merkliste hinzufügen
139

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
Brockschmidt, Marc ; Otto, Carsten ; Giesl, Jürgen ; et al.

termination Java Bytecode term rewriting recursion
Fachzeitschrift
Zur Merkliste hinzufügen
140

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter