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

Simple item page
dc.contributor.advisorSturgill, David Brian.
dc.contributor.authorArte, Ashish.
dc.contributor.departmentComputer Science.en
dc.contributor.otherBaylor University. Dept. of Computer Science.
dc.date.accessioned2006-05-11T16:38:51Z
dc.date.available2006-05-11T16:38:51Z
dc.date.copyright2005
dc.date.issued2006-05-11T16:38:51Z
dc.descriptionIncludes bibliographical references (p. 146-148).en
dc.description.abstractAutomated 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.en
dc.description.degreeM.S.en
dc.description.statementofresponsibilityby Ashish Arte.en
dc.format.extentxii, 148 p. : ill.en
dc.format.extent5399010 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2104/2887
dc.language.isoenen
dc.rightsBaylor University theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. Contact librarywebmaster@baylor.edu for inquiries about permission.en
dc.rights.accessrightsWorldwide access.en
dc.subjectArtificial intelligence -- Computer programs.en
dc.subjectJava (Computer program language).en
dc.subjectLogic.en
dc.subjectCompiling (Electronic computers).en
dc.titleJava bytecode compilation for high-performance, platform-independent logical inference.en
dc.typeThesisen

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
AshishArteThesis.pdf
Size:
1.13 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
permissions.pdf
Size:
545.5 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.96 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Electronic Theses and Dissertations
Theses/Dissertations - Computer Science