Optimizing Reversible Simulation of Injective Functions.
Saved in:
| Title: | Optimizing Reversible Simulation of Injective Functions. |
|---|---|
| Authors: | YOKOYAMA, TETSUO1 tyokoyama@acm.org, AXELSEN, HOLGER BOCK2 funkstar@diku.dk, GLÜCK, ROBERT2 glueck@acm.org |
| Source: | Journal of Multiple-Valued Logic & Soft Computing. 2012, p5-24. 20p. |
| Subjects: | Mathematical optimization, Injective modules (Algebra), Simulation methods & models, Data encryption, Information retrieval, Electronic data processing |
| Abstract: | Bennett showed that a clean reversible simulation of injective programs is possible without returning the input of a program as additional output. His method involves two computation and two uncomputation phases. This paper proposes an optimization of Bennett's simulation that requires only half of the computation and uncomputation steps for a class of injective programs. A practical consequence is that the reversible simulation runs twice as fast as Bennett's simulation. The proposedmethod is demonstrated by developing lossless encoders and decoders for run-length encoding and range coding. The range-coding program is further optimized by conserving the model over the text-generation phase. This paper may thus provide a newviewon developing efficient reversible simulations for a certain class of injective functions. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Multiple-Valued Logic & Soft Computing is the property of Old City Publishing, Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 69753514 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Optimizing Reversible Simulation of Injective Functions. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22YOKOYAMA%2C+TETSUO%22">YOKOYAMA, TETSUO</searchLink><relatesTo>1</relatesTo><i> tyokoyama@acm.org</i><br /><searchLink fieldCode="AR" term="%22AXELSEN%2C+HOLGER+BOCK%22">AXELSEN, HOLGER BOCK</searchLink><relatesTo>2</relatesTo><i> funkstar@diku.dk</i><br /><searchLink fieldCode="AR" term="%22GLÜCK%2C+ROBERT%22">GLÜCK, ROBERT</searchLink><relatesTo>2</relatesTo><i> glueck@acm.org</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Multiple-Valued+Logic+%26+Soft+Computing%22">Journal of Multiple-Valued Logic & Soft Computing</searchLink>. 2012, p5-24. 20p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Mathematical+optimization%22">Mathematical optimization</searchLink><br /><searchLink fieldCode="DE" term="%22Injective+modules+%28Algebra%29%22">Injective modules (Algebra)</searchLink><br /><searchLink fieldCode="DE" term="%22Simulation+methods+%26+models%22">Simulation methods & models</searchLink><br /><searchLink fieldCode="DE" term="%22Data+encryption%22">Data encryption</searchLink><br /><searchLink fieldCode="DE" term="%22Information+retrieval%22">Information retrieval</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Bennett showed that a clean reversible simulation of injective programs is possible without returning the input of a program as additional output. His method involves two computation and two uncomputation phases. This paper proposes an optimization of Bennett's simulation that requires only half of the computation and uncomputation steps for a class of injective programs. A practical consequence is that the reversible simulation runs twice as fast as Bennett's simulation. The proposedmethod is demonstrated by developing lossless encoders and decoders for run-length encoding and range coding. The range-coding program is further optimized by conserving the model over the text-generation phase. This paper may thus provide a newviewon developing efficient reversible simulations for a certain class of injective functions. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Multiple-Valued Logic & Soft Computing is the property of Old City Publishing, Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=69753514 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 20 StartPage: 5 Subjects: – SubjectFull: Mathematical optimization Type: general – SubjectFull: Injective modules (Algebra) Type: general – SubjectFull: Simulation methods & models Type: general – SubjectFull: Data encryption Type: general – SubjectFull: Information retrieval Type: general – SubjectFull: Electronic data processing Type: general Titles: – TitleFull: Optimizing Reversible Simulation of Injective Functions. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: YOKOYAMA, TETSUO – PersonEntity: Name: NameFull: AXELSEN, HOLGER BOCK – PersonEntity: Name: NameFull: GLÜCK, ROBERT IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: 2012 Type: published Y: 2012 Identifiers: – Type: issn-print Value: 15423980 Titles: – TitleFull: Journal of Multiple-Valued Logic & Soft Computing Type: main |
| ResultId | 1 |
