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 2.950

101

Translating c into java bytecode / ; C kalba parašytų programų transliavimas į Java JVM baitų kodą.
Nabiyev, Farrukh

C to Java compiler cheminformatics Crystallographic Informa... ANTLR Java bytecode ASM (Java library)
Dissertation
102

Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
Gómez-Zamalloa, Miguel ; Albert, Elvira ; Puebla, Germán
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):85-101

Fachzeitschrift
103

Clone detection through process algebras and Java bytecode
Santone, Antonella
Proceedings of the 5th International Workshop on Software Clones. :73-74

Konferenz
104

Symbolic PathFinder : symbolic execution of Java bytecode
Păsăreanu, Corina S. ; Rungta, Neha
Proceedings of the IEEE/ACM international conference on Automated software engineering. :179-180

Konferenz
105

Experiments with Non-Termination Analysis for Java Bytecode
Payet, Étienne ; Spoto, Fausto
In Electronic Notes in Theoretical Computer Science 1 December 2009 253(5):83-96

Fachzeitschrift
106

Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments
Saougkos, Dimitris ; Manis, George ; Blekas, Konstantinos ; et al.
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 33(7):478-495 Jul, 2007

Fachzeitschrift
107

Experiments in Cost Analysis of Java Bytecode
Albert, E. ; Arenas, P. ; Genaim, S. ; et al.
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):67-83

Fachzeitschrift
108

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Méndez, Mario ; Navas, Jorge ; Hermenegildo, Manuel V.
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):51-66

Fachzeitschrift
109

A Dozen Instructions Make Java Bytecode
Chrząszcz, Jacek ; Czarnik, Patryk ; Schubert, Aleksy
In Electronic Notes in Theoretical Computer Science 25 February 2011 264(4):19-34

Fachzeitschrift
110

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Fenacci, Damon ; MacKenzie, Kenneth
In Electronic Notes in Theoretical Computer Science 2 December 2011 279(1):19-32

Fachzeitschrift
112

Java Bytecode Normalization for Code Similarity Analysis (Artifact)
Schott, Stefan ; orcid:0000-0002-0644- ; Ponta, Serena Elisa ; et al.

Konferenz
113

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

Fachzeitschrift
114

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

Fachzeitschrift
115

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
116

Dieses Ergebnis kann Gästen nicht angezeigt werden.

117

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
118

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
119

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
120

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter