• Login
    View Item 
    •   BEARdocs Home
    • Graduate School
    • Electronic Theses and Dissertations
    • View Item
    •   BEARdocs Home
    • Graduate School
    • Electronic Theses and Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Java bytecode compilation for high-performance, platform-independent logical inference.

    Thumbnail
    View/Open
    AshishArteThesis.pdf (1.126Mb)
    permissions.pdf (545.4Kb)
    Access rights
    Worldwide access.
    Date
    2006-05-11
    Author
    Arte, Ashish.
    Metadata
    Show full item record
    Abstract
    Automated reasoning systems are powerful computer programs capable of solving complex problems. They are characterized as computationally intensive having high performance requirements. Very few reasoning systems have been implemented in Java so far; its performance is regarded as an impediment to its use as a programming language for computationally intensive applications such as automated reasoning. In this thesis we discuss techniques that motivate the use of Java as the underlying platform to design a framework for high-performance logical inference. The techniques are centered around the idea of using a specialized compiler that can generate Java classes which contain Java bytecodes customized for performing reasoning efficiently. The benefit of generating bytecodes customized for logical inference is reflected in the improved performance observed from the experiments conducted.
    URI
    http://hdl.handle.net/2104/2887
    Department
    Computer Science.
    Collections
    • Electronic Theses and Dissertations
    • Theses/Dissertations - Computer Science

    Copyright © Baylor® University All rights reserved. Legal Disclosures.
    Baylor University Waco, Texas 76798 1-800-BAYLOR-U
    Baylor University Libraries | One Bear Place #97148 | Waco, TX 76798-7148 | 254.710.2112 | Contact: libraryquestions@baylor.edu
    If you find any errors in content, please contact librarywebmaster@baylor.edu
    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    TDL
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    Statistics

    View Usage Statistics

    Copyright © Baylor® University All rights reserved. Legal Disclosures.
    Baylor University Waco, Texas 76798 1-800-BAYLOR-U
    Baylor University Libraries | One Bear Place #97148 | Waco, TX 76798-7148 | 254.710.2112 | Contact: libraryquestions@baylor.edu
    If you find any errors in content, please contact librarywebmaster@baylor.edu
    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    TDL
    Theme by 
    Atmire NV