Rubah: DSU for Java on a stock JVM

被引：0
|
作者：
机构：
[1] Pina, Lúís
[2] Veiga, Lúís
[3] Hicks, Michael
来源：
| 1600年 / Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States卷 / 49期
关键词：
D O I：
10.1145/2660193.2660220
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] Proving theorems about Java']Java and the JVM with ACL2
    Moore, JS
    MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE, 2003, 191 : 227 - 290
  • [12] Impact of JIT/JVM optimizations on JAVA application performance
    Shiv, K.
    Iyer, R.
    Newburn, C.
    Dahlstedt, J.
    Lagergren, M.
    Lindholm, O.
    Proceedings - Annual Workshop on Interaction between Compilers and Computer Architectures, INTERACT, 2003, 2003-January : 5 - 13
  • [13] I-JVM: a Java']Java Virtual Machine for Component Isolation in OSGi
    Geoffray, Nicolas
    Thomas, Gael
    Muller, Gilles
    Parrend, Pierre
    Frenot, Stephane
    Folliot, Bertil
    2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), 2009, : 544 - +
  • [14] JVM: Java']Java Visual Mapping Tool for Next Generation Sequencing Read
    Yang, Ye
    Liu, Juan
    ADVANCE IN STRUCTURAL BIOINFORMATICS, 2015, 827 : 11 - 18
  • [15] Cloneable JVM: A New Approach to Start Isolated Java']Java Applications Faster
    Kawachiya, Kiyokuni
    Ogata, Kazunori
    Silva, Daniel
    Onodera, Tamiya
    Komatsu, Hideaki
    Nakatani, Toshio
    VEE'07: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS, 2007, : 1 - +
  • [16] Building a Java']Java virtual machine for server applications: The Jvm on OS/390
    Dillenberger, D
    Bordawekar, R
    Clark, CW
    Durand, D
    Emmes, D
    Gohda, O
    Howard, S
    Oliver, MF
    Samuel, F
    St John, RW
    IBM SYSTEMS JOURNAL, 2000, 39 (01) : 194 - 210
  • [17] ALMA - GC-assisted JVM Live Migration for Java']Java Server Applications
    Bruno, Rodrigo
    Ferreira, Paulo
    MIDDLEWARE '16: PROCEEDINGS OF THE 17TH INTERNATIONAL MIDDLEWARE CONFERENCE, 2016,
  • [18] Java']Java program verification via a JVM deep embedding in ACL2
    Liu, HB
    Moore, JS
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 184 - 200
  • [19] Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
    Robert F. Stärk
    Joachim Schmid
    Journal of Automated Reasoning, 2003, 30 : 323 - 361
  • [20] A practical method for specification and analysis of exception handling -: A Java']Java/JVM case study
    Börger, E
    Schulte, W
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (09) : 872 - 887
12345