共 50 条
- [31] Auto-tuning the Java']Java Virtual Machine [J]. 2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 1261 - 1270
- [32] Operational semantics of the Java']Java Card Virtual Machine [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 3 - 25
- [33] Java']Java Virtual Machine monitoring for dependability benchmarking [J]. NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 433 - 440
- [34] A Certified Implementation on Top of the Java']Java Virtual Machine [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 181 - 196
- [36] A Java']Java Virtual Machine for smart sensors and actuators [J]. 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, 2007, : 1514 - +
- [37] An Energy-Efficient Java']Java Virtual Machine [J]. IEEE TRANSACTIONS ON CLOUD COMPUTING, 2017, 5 (02) : 263 - 275
- [38] Cold object identification in the Java']Java virtual machine [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (01): : 79 - 95
- [39] Java']Java Virtual Machine - Present and near future [J]. TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 480 - 490
- [40] Characterizing aging phenomena of the Java']Java Virtual Machine [J]. SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, : 127 - +