Suchergebnisse - (java OR jana) bytecode engineering~
-
1
Autoren: et al.
Quelle: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34
Schlagwörter: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science
Dateibeschreibung: electronic
-
2
Autoren: et al.
Quelle: Applied Sciences, Vol 13, Iss 17, p 9580 (2023)
Schlagwörter: code clone, code clone detection, bytecode, siamese neural network, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Dateibeschreibung: electronic resource
-
3
Autoren: Tomaž DOBRAVEC
Quelle: Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)
Schlagwörter: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Dateibeschreibung: electronic resource
-
4
Autoren: et al.
Quelle: IEEE Access, Vol 7, Pp 22421-22433 (2019)
Schlagwörter: Code clones, code clone detection, Java bytecode, code sequence alignment, code similarities, instruction block, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Dateibeschreibung: electronic resource
-
5
Autoren: et al.
Quelle: IEEE Access, Vol 7, Pp 66292-66303 (2019)
Schlagwörter: Software refactoring, synchronization, consistency, locks, program analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Dateibeschreibung: electronic resource
-
6
Autoren: et al.
Quelle: IEEE Access, Vol 13, Pp 98133-98143 (2025)
Schlagwörter: Webshell detection, adversarial training, BERT, web security, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Dateibeschreibung: electronic resource
-
7
Autoren:
Quelle: IEEE Access, Vol 13, Pp 211177-211186 (2025)
Schlagwörter: Custom software, open source software, software debloating, software optimization, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Dateibeschreibung: electronic resource
-
8
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 141:53-73
-
9
Autoren: Linenweber, Martin R.
Schlagwörter: Computer Sciences, Computer Engineering
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Quelle: Proceedings - 19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019. :92-102
Schlagwörter: Decompilation, Java bytecode, Reverse engineering, Source code analysis, Equivalence classes, Java programming language, Open systems, Semantics, Syntactics, Java byte codes, Java source codes, Open source software projects, Quality indicators, Real world projects, Semantic equivalences, Open source software
Dateibeschreibung: print
-
11
Autoren: Peng ZHENG, Letian SHA
Quelle: Jisuanji gongcheng, Vol 49, Iss 12, Pp 136-145 (2023)
Schlagwörter: taint analysis, java deserialization vulnerability, static analysis, dynamic verification, symbolic execution, constraint construction, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765
Dateibeschreibung: electronic resource
-
12
Autoren:
Quelle: ACM Transactions on Software Engineering and Methodology. 19:1-40
-
13
Autoren: et al.
Quelle: Journal of Systems and Software. 168
Schlagwörter: Java bytecode, Decompilation, Reverse engineering, Source code analysis
Dateibeschreibung: print
-
14
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 153:57-77
-
15
Autoren:
Resource Type: eBook.
Categories: COMPUTERS / Languages / Java, COMPUTERS / System Administration / Virtualization & Containerization, COMPUTERS / Software Development & Engineering / General
-
16
Autoren: et al.
Quelle: Formal Methods in System Design. 24:129-155
Schlagwörter: formal specification, Java bytecode engineering, Specification and verification (program logics, model checking, etc.), execution trace validation, program instrumentation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, xecution trace validation, 02 engineering and technology, software reliability, run-time monitoring and checking, Java
Dateibeschreibung: application/xml; application/pdf
-
17
Autoren:
Quelle: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229
Schlagwörter: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science
Dateibeschreibung: print
-
18
Autoren: Toby Weston
Resource Type: eBook.
Schlagworte: Functions--Computer programs, Functional programming (Computer science), Java (Computer program language)
Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Java, Resource Management, Bytecode Engineering, Program Transformations
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.1338; http://infoscience.epfl.ch/record/109459/files/HOSC08.pdf
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Java, CPU Consumption Metric, Resource Management, Bytecode Engineering, Program Transformations
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.666; http://www.jraf2.org/publications/QAPL05.pdf
Full Text Finder
Nájsť tento článok vo Web of Science