Bytecode

Results: 279



#Item
1A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-08 19:03:00
2Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2011-05-12 14:18:21
    3Bytecodes and bytecode interpretation © 2015 Oracle, Mario Wolczko Interpretation technique #2:

    Bytecodes and bytecode interpretation © 2015 Oracle, Mario Wolczko Interpretation technique #2:

    Add to Reading List

    Source URL: dl.dropboxusercontent.com

      4ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

      ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

      Add to Reading List

      Source URL: utdallas.edu

      - Date: 2009-06-05 21:13:38
        5Assignment 4: Writing a Feeny Bytecode Compiler Patrick S. Li September 17,

        Assignment 4: Writing a Feeny Bytecode Compiler Patrick S. Li September 17,

        Add to Reading List

        Source URL: dl.dropboxusercontent.com

          6Assignment 3: Writing a Feeny Bytecode Machine Patrick S. Li September 10,

          Assignment 3: Writing a Feeny Bytecode Machine Patrick S. Li September 10,

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

            7AFRL-RY-WP-TRVULNERABILITIES IN BYTECODE REMOVED BY ANALYSIS, NUANCED CONFINEMENT AND DIVERSIFICATION (VIBRANCE) Alessandro Coglio, Marcel Becker, Stephen Fitzpatrick, Limei Gilham, Cordell Green, and

            AFRL-RY-WP-TRVULNERABILITIES IN BYTECODE REMOVED BY ANALYSIS, NUANCED CONFINEMENT AND DIVERSIFICATION (VIBRANCE) Alessandro Coglio, Marcel Becker, Stephen Fitzpatrick, Limei Gilham, Cordell Green, and

            Add to Reading List

            Source URL: samate.nist.gov

            - Date: 2015-10-27 14:35:32
              8JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin

              JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin

              Add to Reading List

              Source URL: cs.nyu.edu

              - Date: 2013-09-17 23:46:00
                9Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010

                Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010

                Add to Reading List

                Source URL: d3s.mff.cuni.cz

                - Date: 2010-08-17 06:40:02
                  10SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

                  SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

                  Add to Reading List

                  Source URL: www.dcs.bbk.ac.uk

                  Language: English - Date: 2011-06-23 09:19:29