Java']Java core permits direct Java']Java byte-code execution

被引：0
|
作者：
Vollmer, A
机构：
来源：
ELECTRONIC DESIGN | 2000年 / 48卷 / 22期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：30 / +
页数：4
相关论文
共 50 条
  • [1] Byte-code scheduling of Java']Java programs with branches for desktop grid
    Laskowski, Eryk
    Tudruj, Marek
    Olejnik, Richard
    Toursel, Bernard
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2007, 23 (08): : 977 - 982
  • [2] JAVA']JAVA Byte Code File Encryption Research
    Rui, Wang
    [J]. FUTURE COMPUTER, COMMUNICATION, CONTROL AND AUTOMATION, 2011, 119 : 629 - 633
  • [3] PicoJava']Java: A direct execution engine for Java']Java bytecode
    McGhan, H
    O'Connor, M
    [J]. COMPUTER, 1998, 31 (10) : 22 - +
  • [4] Portable worst-case execution time analysis using Java']Java Byte Code
    Bernat, G
    Burns, A
    Wellings, A
    [J]. EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, : 81 - 88
  • [5] An implementation of an embedded microprocessor core with support for executing byte compiled Java']Java code
    Strom, O
    Aas, EJ
    [J]. EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, : 396 - 399
  • [6] Towards Demonstrably Correct Compilation of Java']Java Byte Code
    Leuschel, Michael
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 119 - 138
  • [7] Combinatorial Validation Testing of Java']Java Card Byte Code Verifiers
    Calvagna, Andrea
    Tramontana, Emiliano
    [J]. 2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 347 - 352
  • [8] Jumble Java']Java byte code to measure the effectiveness of unit tests
    Irvine, Sean A.
    Pavlinic, Tin
    Trigg, Leonard
    Cleary, John G.
    Inglis, Stuart
    Utting, Mark
    [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 169 - +
  • [9] Formal development of an embedded verifier for Java']Java card byte code
    Casset, L
    Burdy, L
    Requet, A
    [J]. INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 51 - 56
  • [10] Proving theorems about Java']Java-like byte code
    Moore, JS
    [J]. CORRECT SYSTEM DESIGN, 1999, 1710 : 139 - 162
12345