A flexible model for dynamic linking in Java and C #

被引：0
|
作者：
Drossopoulou, Sophia [1 ]
Lagorio, Giovanni [2 ]
Eisenbach, Susan [1 ]
机构：
[1] Department of Computing, Imperial College, London, United Kingdom
[2] DISI, University of Genova, Italy
来源：
Theor Comput Sci | 1600年 / 1-2卷 / 1-29期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Binary codes - Java programming language - Mathematical models - Program compilers - Semantics
引用
收藏
相关论文
共 50 条
  • [21] PPPJ WiP session - Implementing dynamic mixins for the java virtual machine
    Institute for System Software, Johannes Kepler University, Linz, Austria
    CEUR Workshop Proc.,
  • [22] Exploiting dynamic proxies in middleware for distributed, parallel, and mobile Java applications
    Van Heiningen, Willem
    Brecht, Tim
    MacDonald, Steve
    20th Int. Parallel Distrib. Process. Symp. IPDPS 2006,
  • [23] JBMC: A Bounded Model Checking Tool for Java Bytecode
    Brenguier, Romain
    Cordeiro, Lucas
    Kroening, Daniel
    Schrammel, Peter
    arXiv, 2023,
  • [24] An energy consumption model for an embedded java virtual machine
    Turku Centre for Computer Science, Embedded Systems Laboratory, Lemminkäisenkatu 14A, FIN-20520 Turku, Finland
    不详
    1600, 311-325 (2006):
  • [25] Model-driven consolidation of Java workloads on multicores
    Ansaloni, Danilo
    Chen, Lydia Y.
    Smirni, Evgenia
    Binder, Walter
    Proceedings of the International Conference on Dependable Systems and Networks, 2012,
  • [26] Real-time Java garbage collection strategy based on dynamic priority
    College of Information Science and Engineering, Northeastern University, Shenyang 110004, China
    不详
    Shenyang Gongye Daxue Xuebao, 3 (321-325): : 321 - 325
  • [27] The safety-critical java memory model: A formal account
    University of York, Department of Computer Science, York, United Kingdom
    Lect. Notes Comput. Sci., (246-261):
  • [28] Kava: A Java dialect with a uniform object model for lightweight classes
    ACM 2001 Java Grande/ISCOPE Conf., 1600, (68-77):
  • [29] Benchmarking Java application using JNI and native C application on Android
    Kim, Yeong-Jun
    Cho, Seong-Jin
    Kim, Kil-Jae
    Hwang, Eun-Hye
    Yoon, Seung-Hyun
    Jeon, Jae-Wook
    International Conference on Control, Automation and Systems, 2012, : 284 - 288
  • [30] Dynamic Modelling and Analysis of Flexible Structure Actuated by Dielectric Elastomer
    Guo, Yuqing
    Li, Fanggui
    Li, Liang
    Zhang, Dingguo
    Guo, Xian
    Lecture Notes in Mechanical Engineering, 2024, : 321 - 336
12345