Security monitor inlining for multithreaded java

被引：0
|
作者：
KTH, Sweden [1 ]
不详 [2 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 546-569期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Application programs
引用
收藏
相关论文
共 50 条
  • [31] A deductive proof system for multithreaded Java']Java with exceptions
    Abraham, Erika
    de Roever, Willem-Paul
    de Boer, Frank S.
    Steffen, Martin
    FUNDAMENTA INFORMATICAE, 2008, 82 (04) : 391 - 463
  • [32] A generic static analyzer for multithreaded Java']Java programs
    Ferrara, P.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
  • [33] Calm Energy Accounting for Multithreaded Java']Java Applications
    Babakol, Timur
    Canino, Anthony
    Mahmoud, Khaled
    Saxena, Rachit
    Liu, Yu David
    PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 976 - 988
  • [34] Towards the automated verification of multithreaded Java']Java programs
    Delzanno, G
    Raskin, JF
    Van Begin, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
  • [35] Refactoring techniques for aggressive object inlining in Java applications
    Department of Computer Science, Haifa University, Haifa, Israel
    不详
    不详
    Autom Software Eng, 1600, 1 (97-136):
  • [36] On-the-fly Inlining of Dynamic Security Monitors
    Magazinius, Jonas
    Russo, Alejandro
    Sabelfeld, Andrei
    SECURITY AND PRIVACY - SILVER LININGS IN THE CLOUD, 2010, 330 : 173 - 186
  • [37] An empirical study of method inlining for a Java']Java just-in-time compiler
    Suganuma, T
    Yasue, T
    Nakatani, T
    USENIX ASSOCIATION PROCEEDINGS OF THE 2ND JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2002, : 91 - 104
  • [38] Visual debugging of multithreaded Java programs
    Jackson, David
    2001 IEEE Symposium on Human-Centric Computing, 2001, : 340 - 341
  • [39] On Verifying Distributed Multithreaded Java Programs
    Jessica Chen
    Software Quality Journal, 1999, 8 : 321 - 341
  • [40] On verifying distributed multithreaded Java programs
    Chen, Jessica
    Proceedings of the Annual Hawaii International Conference on System Sciences, 2000, 2000-January
12345