共 50 条
- [31] Pipelined Java']Java Virtual Machine interpreters COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 35 - 49
- [32] Java']Java Virtual Machine Educational Tools 2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 383 - 387
- [33] Preservation of proof obligations from Java']Java to the Java']Java virtual machine AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 83 - +
- [34] An embedded Java']Java Virtual Machine using network-on-chip design SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 149 - +
- [35] Design and implementation of a Java']Java processor IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2006, 153 (01): : 20 - 30
- [36] Design and implementation of Java']Java processors ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 86 - 96
- [37] OO design and implementation: Java']Java and Java']Java analysis studio 2000 CERN SCHOOL OF COMPUTING, 2000, 2000 (13): : 99 - 105
- [39] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
- [40] Security Enhanced Java']Java: Mandatory Access Control for the Java']Java Virtual Machine 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,