共 50 条
- [41] OPTIMIZATION FOR GARBAGE COLLECTION ALGORITHM BASED ON EMBEDDED JAVA']JAVA VIRTUAL MACHINE [J]. 3RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE (ITCS 2011), PROCEEDINGS, 2011, : 251 - 254
- [42] An efficient small sized on-card verifier for Java']Java Card [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS, 2003, 2668 : 552 - 561
- [43] Asynchronous Java']Java accelerator for embedded Java']Java virtual machine [J]. PROCEEDINGS OF THE IEEE 6TH CIRCUITS AND SYSTEMS SYMPOSIUM ON EMERGING TECHNOLOGIES: FRONTIERS OF MOBILE AND WIRELESS COMMUNICATION, VOLS 1 AND 2, 2004, : 253 - 256
- [44] E-Bunny: A Dynamic Compiler for Embedded Java']Java Virtual Machines [J]. JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (01): : 81 - 106
- [45] Dynamic memory management for real-time embedded Java']Java chips [J]. SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 49 - 56
- [47] An asymmetric fingerprint matching algorithm for Java Card TM [J]. Pattern Analysis and Applications, 2006, 9 : 359 - 376
- [49] On the Representativeness of Embedded Java']Java Benchmarks [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON WORKLOAD CHARACTERIZATION, 2008, : 141 - +
- [50] A dynamic logic for the formal verification of java card programs [J]. Lect. Notes Comput. Sci, 1600, (6-24):