共 50 条
- [2] A Java']Java Virtual Machine for smart sensors and actuators [J]. 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, 2007, : 1514 - +
- [3] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
- [4] A machine-checked model for a java']java-like language, virtual machine, and compiler [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (04): : 619 - 695
- [6] Automated Runtime Transition between Virtual and Platform Threads in the Java']Java Virtual Machine [J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 607 - 611
- [7] Platform independent dynamic Java']Java virtual machine analysis: the Java']Java Grande Forum benchmark suite [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 459 - 484
- [8] A Cloud-based Java']Java Compiler for Smart Devices [J]. 2016 15TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY BASED HIGHER EDUCATION AND TRAINING (ITHET), 2016,
- [9] A secure Java']Java™ Virtual Machine [J]. USENIX ASSOCIATION PROCEEDINGS OF THE NINTH USENIX SECURITY SYMPOSIUM, 2000, : 19 - 34
- [10] Performance Study for Java']Java Virtual Machine In Embedded Systems [J]. 2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL I, 2010, : 436 - 438