共 50 条
- [41] Preservation of proof obligations from Java']Java to the Java']Java virtual machine AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 83 - +
- [42] A Defensive Java']Java Card Virtual Machine to Thwart Fault Attacks by Microarchitectural Support 2013 INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS (CRISIS), 2013,
- [43] Diva: A Dataflow Programming Model and its Runtime Support in Java']Java Virtual Machine 2008 13TH ASIA-PACIFIC COMPUTER SYSTEMS ARCHITECTURE CONFERENCE, 2008, : 223 - 230
- [44] Java']Java virtual machine timing probes: A study of object life span and Garbage Collection CONFERENCE PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE, 2002, : 73 - 80
- [45] YA-JOP.Yet Another Java']Java Object Profiler On Art Virtual Machine PROCEEDINGS OF THE 2017 2ND JOINT INTERNATIONAL INFORMATION TECHNOLOGY, MECHANICAL AND ELECTRONIC ENGINEERING CONFERENCE (JIMEC 2017), 2017, 62 : 149 - 152
- [47] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
- [48] 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,
- [50] Evaluating the Java']Java virtual machine as a target for languages other than Java']Java MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 278 - 290