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 41 - 60 von 258

41

Java bytecode compression for low-end embedded systems
Clausen, Lars Ræder ; Schultz, Ulrik Pagh ; Consel, Charles ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 22(3):471-489

Fachzeitschrift
42

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)
Wu, Tong ; Schrammel, Peter ; Cordeiro, Lucas ; et al.
Wu, T, Schrammel, P & Cordeiro, L 2022, Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. vol. 13244, Lecture Notes in Computer Science, Springer Nature, pp. 484-489. https://doi.org/10.1007/978-3-030-99527-0_36

Java Bytecode Software Verification Witness Validation
Fachzeitschrift
43

Code Coverage for Java Dependencies ; Kodtäckning för Java Beroenden
Sävås, Jonas

Code Coverage Dependencies Maven Java Bytecode Software Bloat Kodtäckning
Dissertation
44

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

Java Java Bytecode Energy consumption
45

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
46

Dieses Ergebnis kann Gästen nicht angezeigt werden.

47

BISM: Bytecode-Level Instrumentation for Software Monitoring
Soueidi, Chukri ; Kassem, Ali ; Falcone, Yliès ; et al.
RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12

Los Angeles United States Instrumentation Runtime Verification Monitoring Java Bytecode
Konferenz
48

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR
Tomaž DOBRAVEC
Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Algorithm evaluation Java bytecode counting Electrical engineering.... TK1-9971
Fachzeitschrift
49

Applying dynamic analysis for defect detection in Java-applications
Sergey Vartanov ; Alexander Gerasimov
Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 9-28 (2018)

итеративный динамичеcкий... автоматический поиск оши... анализ java программ... software iterative dynam... automatic defect detecti... java bytecode instrument...
Fachzeitschrift
50

Architecture Independent Characterization of Embedded Java Workloads
Desai, Aniruddha ; Singh, Jugdutt
IEEE Computer Architecture Letters IEEE Comput. Arch. Lett. Computer Architecture Letters. 8(1):29-32 Jan, 2009

Fachzeitschrift
51

Verifying pointer programs using graph grammars
Heinen, Jonathan ; Jansen, Christina ; Katoen, Joost-Pieter ; et al.
In Science of Computer Programming 1 January 2015 97 Part 1:157-162

Fachzeitschrift
52

SeByte: Scalable clone and similarity search for bytecode
Keivanloo, Iman ; Roy, Chanchal K. ; Rilling, Juergen
In Science of Computer Programming 1 December 2014 95 Part 4:426-444

Fachzeitschrift
53

Conditional termination of loops over heap-allocated data
Albert, Elvira ; Arenas, Puri ; Genaim, Samir ; et al.
In Science of Computer Programming 15 October 2014 92 Part A:2-24

Fachzeitschrift
54

Heap space analysis for garbage collected languages
Albert, Elvira ; Genaim, Samir ; Gómez-Zamalloa, Miguel
In Science of Computer Programming 1 September 2013 78(9):1427-1448

Fachzeitschrift
55

Dieses Ergebnis kann Gästen nicht angezeigt werden.

56

JCSI: A tool for checking secure information flow in Java Card applications
Avvenuti, Marco ; Bernardeschi, Cinzia ; De Francesco, Nicoletta ; et al.
In The Journal of Systems & Software November 2012 85(11):2479-2493

Fachzeitschrift
57

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform
Gietzelt, Matthias ; Goltz, Ursula ; Grunwald, Daniel ; et al.
In Computer Methods and Programs in Biomedicine May 2012 106(2):114-125

Fachzeitschrift
58

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment
Mateos, Cristian ; Zunino, Alejandro ; Hirsch, Matías ; et al.
In Advances in Engineering Software 2011 42(4):172-186

Fachzeitschrift
59

Debloating Java Dependencies
Soto Valero, César

Software debloating software dependencies Java bytecode package manager static program analysis dynamic program analysis
Dissertation
60

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

Filter