Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,372,334 papers from all fields of science
Search
Sign In
Create Free Account
Java bytecode
Known as:
JVM bytecode
, Java byte code
, Java byte-code
Java bytecode is the instruction set of the Java virtual machine. Each bytecode is composed of one, or in some cases two bytes that represent the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ARM architecture
Adaptive optimization
Android
Clojure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
An ACL2 Proof of the Correctness of the Preprocessing for a Variant of the Boyer-Moore Fast String Searching Algorithm
Erik Toibazarov
2012
Corpus ID: 3045526
We describe a mechanically checked proof that a straightforward implementation of the preprocessing for a version of the Boyer…
Expand
2009
2009
Supporting WCET Analysis with Data-Flow Analysis of Java Bytecode
Wolfgang Puffitsch
2009
Corpus ID: 18786692
Worst case time execution time (WCET) analysis is crucial for developing hard real-time systems. Many WCET analysis tools rely on…
Expand
2007
2007
Java Bytecode Timing Cost Models
Guillermo Rom
2007
Corpus ID: 9615471
Estimating execution time, during compilation process, can be very useful in software development. We are going to analyze…
Expand
2006
2006
String Concatenation Optimization on Java Bytecode
Y. Tian
Software Engineering Research and Practice
2006
Corpus ID: 11010918
String concatenation via the “+” operator is one of the most convenient things to do in Java, and also one of the most expensive…
Expand
2005
2005
Verified Java Bytecode Verification (Verified Java Bytecode Verification)
Gerwin Klein
it - Information Technology
2005
Corpus ID: 41971193
Zusammenfassung Der Bytecode Verifier ist ein essenzieller Bestandteil der Sicherheitsarchitektur der Programmierplattform Java…
Expand
2004
2004
A symbolic Java virtual machine for test case generation
R. Müller
,
C. Lembeck
,
H. Kuchen
IASTED Conf. on Software Engineering
2004
Corpus ID: 2459781
Quality management is becoming a more and more important part of the software development process. As software testing is…
Expand
2004
2004
Java bytecode verification with dynamic structures
C. Bernardeschi
,
L. Martini
,
P. Masci
IASTED Conf. on Software Engineering and…
2004
Corpus ID: 12989809
Java applets run on a Virtual Machine that checks code’s integrity and correctness before execution using a module called…
Expand
2003
2003
Dynamic profiling and trace cache generation
Marc Berndl
,
L. Hendren
International Symposium on Code Generation and…
2003
Corpus ID: 18530790
Dynamic program optimization is increasingly important for achieving good runtime performance. A key issue is how to select which…
Expand
1998
1998
A prototype bytecode parallelization tool
Aart J. C. Bik
,
Dennis Gannon
Concurrency Practice and Experience
1998
Corpus ID: 42501669
This paper provides a manual for javab, a prototype tool that supports the automatic detection and exploitation of implicit loop…
Expand
Review
1997
Review
1997
Java bytecode optimizations
Dan Lambright
Proceedings IEEE COMPCON 97. Digest of Papers
1997
Corpus ID: 34087374
We present our results obtained from applying well known optimizations to Java bytecodes. We survey the optimizations implemented…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE