共 50 条
- [41] Java']Java program verification via a JVM deep embedding in ACL2 THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 184 - 200
- [43] Architectural influence on Java']Java enterprise application's performance SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 659 - 662
- [45] Design Approaches of Web Application with Efficient Performance in JAVA']JAVA INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (07): : 141 - 147
- [47] Stack allocation and synchronization optimizations for Java']Java using escape analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (06): : 876 - 910
- [48] OpenJIT: An open-ended, reflective JIT compiler framework for Java']Java ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 2000, 1850 : 362 - 387
- [49] Bamshad: A JIT Compiler for running Java']Java Stream APIs on heterogeneous environments 2017 19TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND DIGITAL SYSTEMS (CADS), 2017, : 122 - 126
- [50] Just-in-time optimizations for high-performance Java programs Concurrency Pract Exper, 11 (1063-1073):