共 50 条
- [31] A fault-tolerant Java']Java virtual machine [J]. 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 425 - 434
- [32] Cold object identification in the Java']Java virtual machine [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (01): : 79 - 95
- [33] An Energy-Efficient Java']Java Virtual Machine [J]. IEEE TRANSACTIONS ON CLOUD COMPUTING, 2017, 5 (02) : 263 - 275
- [34] A Java']Java Virtual Machine for smart sensors and actuators [J]. 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, 2007, : 1514 - +
- [35] A Certified Implementation on Top of the Java']Java Virtual Machine [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 181 - 196
- [37] 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
- [38] Operational semantics of the Java']Java Card Virtual Machine [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 3 - 25
- [39] Java']Java Virtual Machine - Present and near future [J]. TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 480 - 490
- [40] Towards an algebraic specification of the Java']Java Virtual Machine [J]. PROSPECTS FOR HARDWARE FOUNDATIONS, 1998, 1546 : 236 - 277