NOTE: This item is not available outside the Texas A&M University network. Texas A&M affiliated users who are off campus can access the item through NetID and password authentication or by using TAMU VPN. Non-affiliated individuals should request a copy through their local library's interlibrary loan service.
A parallel machine for the unification algorithm : design, simulation, and performance evaluation
dc.contributor.advisor | Lu, Mi | |
dc.contributor.advisor | Watson, Karen L. | |
dc.creator | Sibai, Fadi Nuhad | |
dc.date.accessioned | 2020-09-02T20:04:12Z | |
dc.date.available | 2020-09-02T20:04:12Z | |
dc.date.issued | 1989 | |
dc.identifier.uri | https://hdl.handle.net/1969.1/DISSERTATIONS-1117116 | |
dc.description | Typescript (photocopy). | en |
dc.description.abstract | Unification, which has applications in databases, expert and knowledge-based systems, and natural language and image processing, is known to be the most repeated operation in logic and PROLOG interpreters. Slow execution of logic and PROLOG programs has been related to unification's poor performance. Therefore, the execution time of logic programs can be reduced by improving the performance of unification. A parallel machine for speeding up the unification algorithm is presented. The machine's novel architecture exploits the low amounts of parallelism offered by unification. The machine is simulated at the register transfer level and the simulation results as well as performance comparisons with two serial unification coprocessors are given. Significant performance improvements over the serial coprocessors are recorded and related to the machine's efficient features. The parallel unification machine's speedup over the coprocessor UNIFIC for two functions with increasing arities and two functions with increasing level of nesting was recorded in the ranges 1.490-1.965 and 2.037-2.791, respectively The machine was also shown to perform unification at least 3 times faster than the AT&T Unification Unit and over 30 times faster than the software unify function of a UNSW interpreter. | en |
dc.format.extent | ix, 171 leaves | en |
dc.format.medium | electronic | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | |
dc.rights | This thesis was part of a retrospective digitization project authorized by the Texas A&M University Libraries. Copyright remains vested with the author(s). It is the user's responsibility to secure permission from the copyright holder(s) for re-use of the work beyond the provision of Fair Use. | en |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject | Electrical Engineering | en |
dc.subject.classification | 1989 Dissertation S563 | |
dc.subject.lcsh | Unified field theories | en |
dc.subject.lcsh | Design | en |
dc.subject.lcsh | Unified field theories | en |
dc.subject.lcsh | Performance evaluation | en |
dc.subject.lcsh | Unified field theories | en |
dc.subject.lcsh | Algorithms | en |
dc.title | A parallel machine for the unification algorithm : design, simulation, and performance evaluation | en |
dc.type | Thesis | en |
thesis.degree.grantor | Texas A&M University | en |
thesis.degree.name | Doctor of Philosophy | en |
thesis.degree.name | Ph. D | en |
dc.contributor.committeeMember | Colunga, Daniel | |
dc.contributor.committeeMember | Griswold, Norman C. | |
dc.type.genre | dissertations | en |
dc.type.material | text | en |
dc.format.digitalOrigin | reformatted digital | en |
dc.publisher.digital | Texas A&M University. Libraries | |
dc.identifier.oclc | 22965176 |
Files in this item
This item appears in the following Collection(s)
-
Digitized Theses and Dissertations (1922–2004)
Texas A&M University Theses and Dissertations (1922–2004)
Request Open Access
This item and its contents are restricted. If this is your thesis or dissertation, you can make it open-access. This will allow all visitors to view the contents of the thesis.