Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,527,493 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
2010
2010
A Performance Monitoring Solution for Distributed Application System Based on JMX
Haihua Jiang
,
Hai Lv
,
Nan Wang
,
Rihua Di
Ninth International Conference on Grid and Cloud…
2010
Corpus ID: 18226406
Java Management Extensions (JMX) provides the fundamental architecture and standard theory for monitoring distributed system. ASM…
Expand
2009
2009
Supporting WCET Analysis with Data-Flow Analysis of Java Bytecode
W. 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
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
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
Review
2003
Review
2003
A Sound Modeling and Synthesis System Designed for Maximum Usability
L. Wyse
International Conference on Mathematics and…
2003
Corpus ID: 45549600
A synthesis and sound-modeling system is introduced. The design philosophy is to be “good enough most of the time” in an…
Expand
2001
2001
Crafting a Java virtual machine in silicon
D. Hardin
2001
Corpus ID: 58829266
The aJile family of low-power, single-chip, embedded Java microcontrollers provides an efficient platform for embedded and real…
Expand
2001
2001
Formal Implementation of a Verification Algorithm using the B Method
Ludovic Casset
2001
Corpus ID: 17077543
The Java language is advertised as a secure language. Several components enforce the Java security, as the Java Virtual Machine…
Expand
1999
1999
Event aggregation and distribution in Web-based management systems
Sakir Yucel
,
Nibs Anerouris
Integrated Network Management VI. Distributed…
1999
Corpus ID: 8500318
As networks grow in size, managers rely increasingly on asynchronous notifications (events) for most management tasks. With the…
Expand