Relevant bibliographies by topics / Java and Virtual Machine Semantics

Academic literature on the topic 'Java and Virtual Machine Semantics'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Java and Virtual Machine Semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Java and Virtual Machine Semantics"

1

Siveroni, Igor A. "Operational semantics of the Java Card Virtual Machine." Journal of Logic and Algebraic Programming 58, no. 1-2 (January 2004): 3–25. http://dx.doi.org/10.1016/j.jlap.2003.07.003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Welsh, Matt, David Oppenheimer, and David Culler. "U-Net/SLE: A Java-Based User-Customizable Virtual Network Interface." Scientific Programming 7, no. 2 (1999): 147–56. http://dx.doi.org/10.1155/1999/316853.

Full text
Abstract:
We describe U‐Net/SLE (Safe Language Extensions), a user‐level network interface architecture which enables per‐application customization of communication semantics through downloading of user extension applets, implemented as Java classfiles, to the network interface. This architecture permits applications to safely specify code to be executed within the NI on message transmission and reception. By leveraging the existing U‐Net model, applications may implement protocol code at the user level, within the NI, or using some combination of the two. Our current implementation, using the Myricom Myrinet interface and a small Java Virtual Machine subset, allows host communication overhead to be reduced and improves the overlap of communication and computation during protocol processing.
APA, Harvard, Vancouver, ISO, and other styles
3

Viswanathan, D., and S. Liang. "Java Virtual Machine Profiler Interface." IBM Systems Journal 39, no. 1 (2000): 82–95. http://dx.doi.org/10.1147/sj.391.0082.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chen, Kuo-Yi, J. Morris Chang, and Ting-Wei Hou. "An Energy-Efficient Java Virtual Machine." IEEE Transactions on Cloud Computing 5, no. 2 (April 1, 2017): 263–75. http://dx.doi.org/10.1109/tcc.2015.2481395.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Songyan, Zhigang Mao, and Yizheng Ye. "Implementation of Java card Virtual Machine." Journal of Computer Science and Technology 15, no. 6 (November 2000): 591–96. http://dx.doi.org/10.1007/bf02948841.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hartel, Pieter H., and Luc Moreau. "Formalizing the safety of Java, the Java virtual machine, and Java card." ACM Computing Surveys 33, no. 4 (December 2001): 517–58. http://dx.doi.org/10.1145/503112.503115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Franz, M. "The Java Virtual Machine: a passing fad?" IEEE Software 15, no. 6 (1998): 26–29. http://dx.doi.org/10.1109/52.730834.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hardin, D. S. "Crafting a Java virtual machine in silicon." IEEE Instrumentation & Measurement Magazine 4, no. 1 (March 2001): 54–56. http://dx.doi.org/10.1109/5289.911178.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Czajkowski, Grzegorz. "Application isolation in the Java Virtual Machine." ACM SIGPLAN Notices 35, no. 10 (October 2000): 354–66. http://dx.doi.org/10.1145/354222.353195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bredlau, Carl, and Dorothy Deremer. "Assembly language through the Java virtual machine." ACM SIGCSE Bulletin 33, no. 1 (March 2001): 194–98. http://dx.doi.org/10.1145/366413.364583.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Java and Virtual Machine Semantics"

1

Lagerkvist, Mikael Zayenz. "Machine Assisted Reasoning for Multi-Threaded Java Bytecode." Thesis, KTH, Electronic, Computer and Software Systems, ECS, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9512.

Full text
Abstract:

In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management. In addition, the subset contains a treatment of parallel threads of execution.

 

The operational semantics are embedded into a $µ$-calculus based proof assistant, called the VeriCode Proof Tool (VCPT). VCPT has been developed at the Swedish Institute of Computer Science (SICS), and has powerful features for proving inductive assertions.

 

Some examples of proving properties of programs using the embedding are presented.


I det här examensarbetet  presenteras en operationell semantik för en delmängd av Javas virtuella maskin. Den delmängd som hanteras innehåller kontrollflöde, beräkningar och minneshantering. Vidare beskrivs  semantiken för parallella exekveringstrådar.

Den operationella semantiken formaliseras i en bevisassistent for $µ$-kalkyl, VeriCode Proof Tool (VCPT). VCPT har utvecklats vid Swedish Institiute of Computer Science (SICS), och har kraftfulla tekniker för att bevisa induktiva påståenden.

Några exempel på bevis av egenskaper hos program användandes formaliseringen presenteras också.

APA, Harvard, Vancouver, ISO, and other styles
2

Zhu, Wenzhang. "Distributed JAVA virtual machine with thread migration /." View the Table of Contents & Abstract, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30396773.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Preußer, Thomas B., Martin Zabel, and Peter Reichel. "The SHAP Microarchitecture and Java Virtual Machine." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-98647.

Full text
Abstract:
This report presents the SHAP platform consisting of its microarchitecture and its implementation of the Java Virtual Machine (JVM). Like quite a few other embedded implementations of the Java platform, the SHAP microarchitecture relies on an instruction set architecture based on Java bytecode. Unlike them, it, however, features a design with well-encapsulated components autonomously managing their duties on rather high abstraction levels. Thus, permanent runtime duties are transferred from the central computing core to concurrently working components so that it can actually spent a larger fraction of time executing application code. The degree of parallelity between the application and the runtime implementation is increased. Currently, the stack and heap management including the automatic garbage collection are implemented this way. After detailing the design of the microarchitecture, the SHAP implementation of the Java Virtual Machine is described. A major focus is laid on the presentation of the layout and the use of the runtime data structures representing the various language abstractions provided by Java. Also, the boot sequence starting the JVM is described.
APA, Harvard, Vancouver, ISO, and other styles
4

Mandal, Abhijit. "Design and Implementation of Java Virtual Machine." Thesis, Indian Institute of Science, 2000. http://hdl.handle.net/2005/81.

Full text
Abstract:
Interpretation of Java bytecode results in slow execution of program.First version of Java Virtual Machine(JVM) implementation was relied on interpretation techniques. On the other hand performance can be improved by translating the Java bytecode into machine code by a Just-In-Time(JIT) compiler and this technique is being integrated into most JVM implementations. Java is an automatic garbage collected language, freeing the programmer from the explicit memory management. Garbage collection "pause" time can be reduced by using a generational garbage collection. This thesis describes an implementation of a JVM. The specific contributions made in this thesis include: development of a Just-In-Time(JIT) compiler using DAG construction technique, a bytecode interpreter, a generational garbage collector. Our implementation can execute Java bytecode either by an interpreter or the bytecode can be translated into machine code using the JIT compiler and the translated code is directly executed by the processor. We have implemented the Java Native Interface (JNI) to enable using C and assembly language programs with Java.
APA, Harvard, Vancouver, ISO, and other styles
5

Zhu, Wenzhang, and 朱文章. "Distributed JAVA virtual machine with thread migration." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B45015260.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Preußer, Thomas B., Martin Zabel, and Peter Reichel. "The SHAP Microarchitecture and Java Virtual Machine." Technische Universität Dresden, 2007. https://tud.qucosa.de/id/qucosa%3A26193.

Full text
Abstract:
This report presents the SHAP platform consisting of its microarchitecture and its implementation of the Java Virtual Machine (JVM). Like quite a few other embedded implementations of the Java platform, the SHAP microarchitecture relies on an instruction set architecture based on Java bytecode. Unlike them, it, however, features a design with well-encapsulated components autonomously managing their duties on rather high abstraction levels. Thus, permanent runtime duties are transferred from the central computing core to concurrently working components so that it can actually spent a larger fraction of time executing application code. The degree of parallelity between the application and the runtime implementation is increased. Currently, the stack and heap management including the automatic garbage collection are implemented this way. After detailing the design of the microarchitecture, the SHAP implementation of the Java Virtual Machine is described. A major focus is laid on the presentation of the layout and the use of the runtime data structures representing the various language abstractions provided by Java. Also, the boot sequence starting the JVM is described.
APA, Harvard, Vancouver, ISO, and other styles
7

Klein, Gerwin. "Verified Java bytecode verification." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=967128749.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fang, Weijian. "Distributed object sharing for cluster-based Java virtual machine /." View the Table of Contents & Abstract, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30575163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fang, Weijian, and 方維堅. "Distributed object sharing for cluster-based Java virtual machine." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B45014772.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pande, Monali. "Visual Analytics Tool for Java Virtual Machine Execution Traces." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-249716.

Full text
Abstract:
The usage of multithreaded programs is continuously increasing, which leads to various concurrency issues. The non-deterministic approach of the thread scheduler makes the analysis of such programs complex. Thread-based visualization of the concurrent events helps to analyze a concurrent program efficiently. The extension of such visual analytics jpf-visual tool for regular JVM traces will help Java programmers to better understand and analyze the runtime execution of concurrent programs. AspectJ instrumentation with its lock() and unlock() pointcut extension makes it possible to capture important runtime events information in order to generate the JVM event trace. A successful integration of the JVM trace into the jpf-visual tool is achieved through code refactoring and the use of adapter classes. In this thesis, the implementation of such an approach is shown to analyze the concurrent events using the regular JVM. Such implementation can help to provide a generic approach for the concurrency issue analysis.
Användandet av flertrådade program ökar numera ständigt, och det kan leda till en mängd olika problem rörande samtidighet. Analysen av sådana program är komplicerad på grund av den icke-deterministiska algoritmen som används av operativsystemets schemaläggare. Visualiseringen av samtidiga händelser, baserad på trådar, hjälper oss analysera samtidiga program effektivt. Utvidgningar så som det visuella analytiska verktyget jpf-visual för JVM kommer att hjälpa Javaprogrammerare att bättre förstå och analysera körning av samtidiga program. AspectJ instrumentationen med dess brytpunktsutvidningar lock() och unlock() gör det möjligt att fånga upp viktig information rörande körningshändelser för att kunna generera ett JVM händelsespår. En lyckad integrering av JVM-spåret med verktyget jpf-visual utförs genom omstrukturering av kod och användning av adapterklasser i det existerande verktyget. Implementationen av en sådant tillvägagångssätt för standard JVM presenteras preliminärt i detta arbete, och det visar att det är möjligt att analysera samtidiga händelser genom att använda standard JVM. En sådan implementation kan bidra med en generisk lösning för analys av samtidiga program.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Java and Virtual Machine Semantics"

1

Troy, Downing, ed. Java virtual machine. Cambridge, [Mass.]: O'Reilly, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stärk, Robert F., Joachim Schmid, and Egon Börger. Java and the Java Virtual Machine. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lindholm, Tim. The Java virtual machine specification. 2nd ed. Harlow: Addison-Wesley, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Inside the Java virtual machine. New York: McGraw-Hill, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lindholm, Tim. The Java virtual machine specification. Reading, Mass: Addison-Wesley, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lindholm, Tim. The Java virtual machine specification. Reading, Mass: Addison-Wesley, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Venners, Bill. Inside the Java virtual machine. 2nd ed. New York: McGraw-Hill, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

1958-, Yellin Frank, ed. The Java virtual machine specification. 2nd ed. Reading, MA: Addison-Wesley, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Programming for the Java virtual machine. Reading, Mass: Addison-Wesley, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Stärk, Robert F. Java and the Java Virtual Machine: Definition, Verification, Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Java and Virtual Machine Semantics"

1

Qian, Zhenyu. "A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines." In Formal Syntax and Semantics of Java, 271–311. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48737-9_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Li, Liwu. "Java Virtual Machine." In Java: Data Structures and Programming, 165–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/978-3-642-95851-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The defensive virtual machine." In Java and the Java Virtual Machine, 209–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The diligent virtual machine." In Java and the Java Virtual Machine, 273–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The dynamic virtual machine." In Java and the Java Virtual Machine, 289–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Stärk, Robert F., Joachim Schmid, and Egon Börger. "Introduction." In Java and the Java Virtual Machine, 1–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The procedural extension JVMC of JVMI." In Java and the Java Virtual Machine, 147–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The object-oriented extension $${\text{JV}}{{\text{M}}_\mathcal{O}}$$ of JVMc." In Java and the Java Virtual Machine, 155–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The exception-handling extension JVMε of $${\text{JV}}{{\text{M}}_\mathcal{O}}$$." In Java and the Java Virtual Machine, 159–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Stärk, Robert F., Joachim Schmid, and Egon Börger. "Executing the JVMN." In Java and the Java Virtual Machine, 165–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Java and Virtual Machine Semantics"

1

Dobravec, Tomaz. "Java Virtual Machine Educational Tools." In 2019 IEEE 15th International Scientific Conference on Informatics. IEEE, 2019. http://dx.doi.org/10.1109/informatics47936.2019.9119263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Baxter, James, Ana Cavalcanti, Andy Wellings, and Leo Freitas. "Safety-Critical Java Virtual Machine Services." In JTRES '15: The 13th International Workshop on Java Technologies for Real-time and Embedded Systems. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2822304.2822307.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jayasena, Sanath, Milinda Fernando, Tharindu Rusira, Chalitha Perera, and Chamara Philips. "Auto-Tuning the Java Virtual Machine." In 2015 IEEE International Parallel and Distributed Processing Symposium Workshop (IPDPSW). IEEE, 2015. http://dx.doi.org/10.1109/ipdpsw.2015.84.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Myalapalli, Vamsi Krishna, and Sunitha Geloth. "Minimizing impact on JAVA virtual machine via JAVA code optimization." In 2015 International Conference on Energy Systems and Applications. IEEE, 2015. http://dx.doi.org/10.1109/icesa.2015.7503306.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bredlau, Carl, and Dorothy Deremer. "Assembly language through the Java virtual machine." In the thirty-second SIGCSE technical symposium. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/364447.364583.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Czajkowski, Grzegorz. "Application isolation in the Java Virtual Machine." In the 15th ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/353171.353195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Denehy, Timothy E., and Chang-Hyun Jo. "Parallel-C++ for the Java virtual machine." In the 2000 ACM symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/338407.338576.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chuanwen Lin, Naijie Gu, and Songsong Cai. "Cache locking optimization in java virtual machine." In 2013 IEEE Conference Anthology. IEEE, 2013. http://dx.doi.org/10.1109/anthology.2013.6784761.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rosero, Edgar Eduardo Rosales, Andrea Rosà, and Walter Binder. "Profiling streams on the Java virtual machine." In '20: 4th International Conference on the Art, Science, and Engineering of Programming. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3397537.3397565.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Weimin Wu, Yongfeng Cao, Qing Su, Yonghe Zhang, and Kailun Li. "Venus: A visual Java Virtual Machine framework." In Education (ICCSE). IEEE, 2009. http://dx.doi.org/10.1109/iccse.2009.5228212.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Java and Virtual Machine Semantics"

1

Tarman, Thomas David, Philip LaRoche Campbell, and Lyndon George Pierson. Prototyping Faithful Execution in a Java virtual machine. Office of Scientific and Technical Information (OSTI), September 2003. http://dx.doi.org/10.2172/917143.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Java and Virtual Machine Semantics' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography