Log in

Relevant bibliographies by topics / Java and Virtual Machine Semantics / Journal articles

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

To see the other types of publications on this topic, follow the link: 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:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Yang, Byung-Sun, Soo-Mook Moon, and Kemal Ebcio?lu. "Lightweight monitors for the Java virtual machine." Software: Practice and Experience 35, no. 3 (2005): 281–99. http://dx.doi.org/10.1002/spe.635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Breg, Fabian, and Constantine D. Polychronopoulos. "Java Virtual Machine support for object serialization." Concurrency and Computation: Practice and Experience 15, no. 35 (March 2003): 263–75. http://dx.doi.org/10.1002/cpe.667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Azevedo, Ana, Alex Nicolau, and Joe Hummel. "An annotation-aware Java virtual machine implementation." Concurrency: Practice and Experience 12, no. 6 (2000): 423–44. http://dx.doi.org/10.1002/1096-9128(200005)12:6<423::aid-cpe483>3.0.co;2-l.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Gupta, Sumit, Nargish Gupta, and Rishabh Gupta. "Objects and Method Calling in Java Virtual Machine." International Journal of Computer Applications 86, no. 11 (January 16, 2014): 34–36. http://dx.doi.org/10.5120/15032-3353.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Janik, Arkadiusz, and Jakub Krawczyk. "AJVM – JAVA Virtual Machine Implemented in Actionscript 3.0." Journal of Automation, Mobile Robotics & Intelligent Systems 10, no. 1 (February 18, 2016): 58–68. http://dx.doi.org/10.14313/jamris_1-2016/8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

O'Connor, J. M., and M. Tremblay. "picoJava-I: the Java virtual machine in hardware." IEEE Micro 17, no. 2 (1997): 45–53. http://dx.doi.org/10.1109/40.592314.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ermakov, M., and S. Vartanov. "Dynamic Java program analysis using virtual machine modification." Proceedings of the Institute for System Programming of the RAS 27, no. 2 (2015): 23–38. http://dx.doi.org/10.15514/ispras-2015-27(2)-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Young-Min Lee, Byung-Chul Tak, Hye-Seon Maeng, and Shin-Dug Kim. "Real-time Java virtual machine for information appliances." IEEE Transactions on Consumer Electronics 46, no. 4 (2000): 949–57. http://dx.doi.org/10.1109/30.920445.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Schinz, Michel, and Martin Odersky. "Tail call elimination on the Java Virtual Machine." Electronic Notes in Theoretical Computer Science 59, no. 1 (November 2001): 158–71. http://dx.doi.org/10.1016/s1571-0661(05)80459-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Liang, Sheng, and Gilad Bracha. "Dynamic class loading in the Java virtual machine." ACM SIGPLAN Notices 33, no. 10 (October 1998): 36–44. http://dx.doi.org/10.1145/286942.286945.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Moliavko, Oleksandr, Taras Drozdovskyi, Vitalii Petrychenko, and Oleg Kopysov. "uJVM: Lightweight Java Virtual Machine for embedded systems." Journal of Open Source Software 4, no. 36 (April 19, 2019): 1338. http://dx.doi.org/10.21105/joss.01338.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Yutaka, Oiwa, Kenjiro Taura, and Akinori Yonezawa. "Extending Java virtual machine with integer-reference conversion." Concurrency: Practice and Experience 12, no. 6 (2000): 407–22. http://dx.doi.org/10.1002/1096-9128(200005)12:6<407::aid-cpe482>3.0.co;2-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Briggs, Kim T., Baoguo Zhou, and Gerhard W. Dueck. "Cold object identification in the Java virtual machine." Software: Practice and Experience 47, no. 1 (March 29, 2016): 79–95. http://dx.doi.org/10.1002/spe.2396.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

WAKELING, DAVID. "Compiling lazy functional programs for the Java Virtual Machine." Journal of Functional Programming 9, no. 6 (November 1999): 579–603. http://dx.doi.org/10.1017/s0956796899003603.

Full text

Abstract:

In this paper, we show how lazy functional programs can be compiled for the Java Virtual Machine using a mapping between a version of the 〈v, G〉-machine and the Java Virtual Machine. This mapping is elegant – the description is entirely straightforward – and efficient – using it, both code size and execution speed are of the same order of magnitude as those obtained with a traditional functional language bytecode interpreter. In future, our work could serve as the basis of an interface between Haskell and Java.

APA, Harvard, Vancouver, ISO, and other styles

25

Mei, Song Zhu, Yong Cheng, Jiang Chun Ren, Zhi Ying Wang, Jun Ma, Jiang Jiang Wu, and Yu Liang Zhao. "TCFI4J: A Trust Enhanced Control Flow Integrity in Java Virtual Machine." Applied Mechanics and Materials 513-517 (February 2014): 1477–84. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.1477.

Full text

Abstract:

Along with the developing of information technology, Java platform a plays more and more important role in building enterprise information system. Especially after the cloud computing emerged, Java applications are used as kinds of services to provide the users some function. Users use these services remotely, and the applications should give the users some trust evidence. Control-flow integrity endows the software the ability to show the applications' behaviors conform to the users' expectations. But the Java virtual machine's memory organization is different from physical machine and hinders the application of CFI. This paper gives out the a novel way to enforce the control flow integrity to the Java applications based on the memory organization of the Java virtual machine. The method presented in this paper can provide the user information about an applications behavior, and significantly improve the security of a Java application.

APA, Harvard, Vancouver, ISO, and other styles

26

Shaylor, Nik, Douglas N. Simon, and William R. Bush. "A java virtual machine architecture for very small devices." ACM SIGPLAN Notices 38, no. 7 (July 11, 2003): 34–41. http://dx.doi.org/10.1145/780731.780738.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Gu, W., N. A. Burns, M. T. Collins, and W. Y. P. Wong. "The evolution of a high-performing Java virtual machine." IBM Systems Journal 39, no. 1 (2000): 135–50. http://dx.doi.org/10.1147/sj.391.0135.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Sciampacone, R. A., V. Sundaresan, D. Maier, and T. Gray-Donald. "Exploitation of multicore systems in a Java virtual machine." IBM Journal of Research and Development 54, no. 5 (September 2010): 1:1–1:11. http://dx.doi.org/10.1147/jrd.2010.2057911.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Lambert, Jonathan M., and James F. Power. "Platform Independent Timing of Java Virtual Machine Bytecode Instructions." Electronic Notes in Theoretical Computer Science 220, no. 3 (December 2008): 97–113. http://dx.doi.org/10.1016/j.entcs.2008.11.021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Aridor, Yariv, Michael Factor, and Avi Teperman. "A distributed implementation of a virtual machine for Java." Concurrency and Computation: Practice and Experience 13, no. 3 (2001): 221–44. http://dx.doi.org/10.1002/cpe.565.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Gregg, David, James Power, and John Waldron. "Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite." Concurrency and Computation: Practice and Experience 15, no. 35 (March 2003): 459–84. http://dx.doi.org/10.1002/cpe.666.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Mei, Song Zhu, Hai He Ba, Jiang Chun Ren, Zhi Ying Wang, and Jun Ma. "Trusted Control Flow Integrity for JVM-Based Application." Applied Mechanics and Materials 511-512 (February 2014): 1219–24. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.1219.

Full text

Abstract:

This paper gives out a novel way, TCFI4J, to enforce the control flow integrity to the Java applications based on Java virtual machine. TCFI4J combines the trusted computing technology and Java virtual machine together. It takes full advantage of the Trusted Platform Module (TPM) and gives full consideration to the memory organization of the JVM. TCFI4J takes the integrity of part of JVMs memory image into account for the control flow integrity enforcement. The method presented in this paper can provide the user information about an applications behavior. It can significantly improve the security of a Java application with a tolerable performance impact.

APA, Harvard, Vancouver, ISO, and other styles

33

SUN, YU, and WEI ZHANG. "STUDYING ENERGY-ORIENTED DYNAMIC OPTIMIZATIONS IN JAVA VIRTUAL MACHINES." Journal of Circuits, Systems and Computers 18, no. 01 (February 2009): 103–20. http://dx.doi.org/10.1142/s021812660900496x.

Full text

Abstract:

Virtual machines have been increasingly used in embedded and mobile devices. Limited processing power and energy resources become a major challenge for modern virtual machines. The traditional virtual machines running on server computers also face the similar requirement to reduce energy dissipation. To address these challenges, a number of research works have been done in the area of energy-oriented dynamic optimization in Java Virtual Machines (JVM). Some of them focus on virtual machine directed hardware optimizations, while others exploit pure software approaches on virtual machine or compiler to reduce energy consumption. Additionally, client/server framework among multiple processors is also used to offload power-consuming tasks from low-power devices. This paper surveys the current progress of energy-oriented dynamic optimizations in JVMs.

APA, Harvard, Vancouver, ISO, and other styles

34

Dobravec, Tomaž. "Selected tools for Java class and bytecode inspection in the educational environment." Open Computer Science 11, no. 1 (December 17, 2020): 43–50. http://dx.doi.org/10.1515/comp-2020-0170.

Full text

Abstract:

AbstractJava is not only a modern, powerful, and frequently used programming language, but together with Java Virtual Machine it represents a novel dynamic approach of writing and executing computer programs. The fact that Java programs are executed in a controlled environment has several important implications that define the nature of the language and makes it different from the traditional C-like languages. Knowing the detailed differences between the two types of languages and execution environments is a part of the holistic education of a computer engineer.In this paper, we present some behind-the-scene details about the Java Virtual Machine and we show how these details could be used in the educational process to demonstrate the differences and to emphasise the advantages of the dynamic programming approach when compared to the static one. After presenting some information about class files and about the internal structure and operation of the Java Virtual Machine we demonstrate the usage of public domain programs that could be used in the educational process to put these theoretical concepts into practice.

APA, Harvard, Vancouver, ISO, and other styles

35

Liaw, Heh-Tyan, Ay-Hwa Andy Liou, and Shang Huang. "Applying the framework of Turing machine developing system for implementing Java virtual machine." Journal of Computational Methods in Sciences and Engineering 12, s1 (November 5, 2012): S161—S168. http://dx.doi.org/10.3233/jcm-2012-0446.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Klein, Gerwin, and Tobias Nipkow. "A machine-checked model for a Java-like language, virtual machine, and compiler." ACM Transactions on Programming Languages and Systems 28, no. 4 (July 2006): 619–95. http://dx.doi.org/10.1145/1146809.1146811.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Coglio, Alessandro. "Checking Access to Protected Members in the Java Virtual Machine." Journal of Object Technology 4, no. 8 (2005): 55. http://dx.doi.org/10.5381/jot.2005.4.8.a3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Armbruster, Austin, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, and Jan Vitek. "A real-time Java virtual machine with applications in avionics." ACM Transactions on Embedded Computing Systems 7, no. 1 (December 2007): 1–49. http://dx.doi.org/10.1145/1324969.1324974.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Lin, Jun, Hong Ni, Hui Zhang, and Peng Sun. "Porting Java Virtual Machine in Embedded Systems Based on Qt4." Advanced Materials Research 756-759 (September 2013): 1459–63. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.1459.

Full text

Abstract:

The existing Java Virtual Machine (JVM) based on Qt3 can not meet the requirements of the user experience in the field of digital television. By means of analyzing the functional blocks of abstract windowing toolkit (AWT) and the features of Qt4, this article gives an implementation of the JVM using Qt4 and illustrates the implementation details and improved algorithms of three blocks, i.e. components, graphic, and event processing. Finally, evaluation of the JVM ported on platforms indicates the good performance.

APA, Harvard, Vancouver, ISO, and other styles

40

Yeboah-Antwi, Kwaku, and Benoit Baudry. "Online genetic improvement on the java virtual machine with ECSELR." ACM SIGEVOlution 9, no. 3 (March 17, 2017): 21. http://dx.doi.org/10.1145/3066862.3066869.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Chen, Hui. "A Typed Low-Level Language Used in Java Virtual Machine." Journal of Computer Research and Development 43, no. 1 (2006): 15. http://dx.doi.org/10.1360/crad20060103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Surdeanu, M., and D. Moldovan. "Design and performance analysis of a distributed Java Virtual Machine." IEEE Transactions on Parallel and Distributed Systems 13, no. 6 (June 2002): 611–27. http://dx.doi.org/10.1109/tpds.2002.1011415.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Yeboah-Antwi, Kwaku, and Benoit Baudry. "Online Genetic Improvement on the java virtual machine with ECSELR." Genetic Programming and Evolvable Machines 18, no. 1 (October 12, 2016): 83–109. http://dx.doi.org/10.1007/s10710-016-9278-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Beyerle, Marc, Joachim Franz, and Wilhelm G. Spruth. "Persistent Reusable Java Virtual Machine unter z/OS und Linux." Informatik - Forschung und Entwicklung 20, no. 1-2 (August 26, 2005): 102–11. http://dx.doi.org/10.1007/s00450-005-0195-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Conde, Patricia, and Francisco Ortin. "JINDY: A java library to support invokedynamic." Computer Science and Information Systems 11, no. 1 (2014): 47–68. http://dx.doi.org/10.2298/csis130129018c.

Full text

Abstract:

Java 7 has included the new invokedynamic opcode in the Java virtual machine. This new instruction allows the user to define method linkage at runtime. Once the link is established, the virtual machine performs its common optimizations, providing better runtime performance than reflection. However, this feature has not been offered at the abstraction level of the Java programming language. Since the functionality of the new opcode is not provided as a library, the existing languages in the Java platform can only use it at the assembly level. For this reason, we have developed the JINDY library that offers invokedynamic to any programming language in the Java platform. JINDY supports three modes of use, establishing a trade-off between runtime performance and flexibility. A runtime performance and memory consumption evaluation is presented. We analyze the efficiency of JINDY compared to reflection, the MethodHandle class in Java 7 and the Dynalink library. The memory and performance costs compared to the invokedynamic opcode are also measured.

APA, Harvard, Vancouver, ISO, and other styles

46

Buszewicz, Katarzyna. "Performance analysis of languages working on Java Virtual Machine based on Java, Scala and Kotlin." Journal of Computer Sciences Institute 15 (June 30, 2020): 189–95. http://dx.doi.org/10.35784/jcsi.1609.

Full text

Abstract:

This article presents the results of a literature study related to the construction and operation of Java Virtual Machine, as well as performance tests of selected languages using the aforementioned runtime environment on the example of Java, Scala and Kotlin. Performance testing was carried out using two applications built using the Apache Maven archetype with the built-in Java Microbenchmark Harness library.

APA, Harvard, Vancouver, ISO, and other styles

47

Huang, Yukun, Rong Chen, Jingbo Wei, Xilong Pei, Jing Cao, Prem Prakash Jayaraman, and Rajiv Ranjan. "Hybrid PolyLingual Object Model: An Efficient and Seamless Integration of Java and Native Components on the Dalvik Virtual Machine." Scientific World Journal 2014 (2014): 1–13. http://dx.doi.org/10.1155/2014/785434.

Full text

Abstract:

JNI in the Android platform is often observed with low efficiency and high coding complexity. Although many researchers have investigated the JNI mechanism, few of them solve the efficiency and the complexity problems of JNI in the Android platform simultaneously. In this paper, a hybrid polylingual object (HPO) model is proposed to allow a CAR object being accessed as a Java object and as vice in the Dalvik virtual machine. It is an acceptable substitute for JNI to reuse the CAR-compliant components in Android applications in a seamless and efficient way. The metadata injection mechanism is designed to support the automatic mapping and reflection between CAR objects and Java objects. A prototype virtual machine, called HPO-Dalvik, is implemented by extending the Dalvik virtual machine to support the HPO model. Lifespan management, garbage collection, and data type transformation of HPO objects are also handled in the HPO-Dalvik virtual machine automatically. The experimental result shows that the HPO model outweighs the standard JNI in lower overhead on native side, better executing performance with no JNI bridging code being demanded.

APA, Harvard, Vancouver, ISO, and other styles

48

Kopeć, Igor, and Jakub Smołka. "A performance comparison of garbage collector algorithms in Java Virtual Machine." Journal of Computer Sciences Institute 13 (December 30, 2019): 359–65. http://dx.doi.org/10.35784/jcsi.1333.

Full text

Abstract:

In programming languages with automatic memory management garbage collection plays an important role of cleaning unused memory. Garbage collection algorithms have been developed for many years and aim to maximize the application’s performance. This paper presents and compares a performance of five garbage collection algorithms present in current version of Java 12 in three applications with different object lifetime span. The analysis covered the system responsiveness, garbage collector workload and application throughput at high application load.

APA, Harvard, Vancouver, ISO, and other styles

49

Zhaofei Meng, and Shudong Zhang. "Research on Heap and Stack Management Mechanism in Java Virtual Machine." Journal of Convergence Information Technology 8, no. 9 (May 15, 2013): 138–44. http://dx.doi.org/10.4156/jcit.vol8.issue9.18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Yang, Heejae. "Memory Access Behavior of Embedded Java Virtual Machine in Energy Viewpoint." KIPS Transactions:PartA 12A, no. 3 (June 1, 2005): 223–28. http://dx.doi.org/10.3745/kipsta.2005.12a.3.223.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!