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 141 - 160 von 2.971

141

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
142

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
143

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
144

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
145

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
147

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
148

Dieses Ergebnis kann Gästen nicht angezeigt werden.

149

Automated Termination Analysis of Java Bytecode by Term Rewriting
Otto, Carsten ; Brockschmidt, Marc ; von Essen, Christian ; et al.

Java Bytecode termination term rewriting
Fachzeitschrift
150

Compilation Process and Java Bytecode
Malik, Naveen ; Akhtar, Naeem ; Rohilla, Hardeep ; et al.
Journal of Engineering Computers & Applied Sciences; Vol 2, No 10 (2013): Journal of Engineering Computers Applied Sciences; 31-36 ; 2319-5606

Computer Sciences Java Bytecode Compilation process Native code,JIT(Just in... condotions in javabyteco... methods in java bytecode
Fachzeitschrift
151

Constraint-logic object-oriented programming on the Java virtual machine
Winkelmann, Hendrik ; Kuchen, Herbert
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. :1258-1267

Konferenz
152

Performance Study of Kotlin and Java Program Considering Bytecode Instructions and JVM JIT Compiler
Sonoyama, Atsuya ; Kamiyama, Takeshi ; Oguchi, Masato ; et al.
2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) CANDARW Computing and Networking Workshops (CANDARW), 2021 Ninth International Symposium on. :127-133 Nov, 2021

Konferenz
153

LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications
Qiu, J. ; Yang, X. ; Wu, H. ; et al.
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 19(5):2873-2889 Jan, 2022

Fachzeitschrift
155

Dieses Ergebnis kann Gästen nicht angezeigt werden.

156

TACAI: an intermediate representation based on abstract interpretation
Reif, Michael ; Kübler, Florian ; Helm, Dominik ; et al.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :2-7

Konferenz
157

Dynamic semantics of Java bytecode
Bertelsen, Peter
In Future Generation Computer Systems 2000 16(7):841-850

Fachzeitschrift
158

Dieses Ergebnis kann Gästen nicht angezeigt werden.

159

Dieses Ergebnis kann Gästen nicht angezeigt werden.

160

The Vulnerability Analysis of Java Bytecode Based on Points-to Dataflow
Tang Hong ; Zhang Lufeng ; Chen Hua ; et al.

Java bytecode points-to dataflow vulnerability analysis
Fachzeitschrift

Filter