Show simple item record

dc.contributor.authorCortadella, Jordi
dc.contributor.authorBadia Sala, Rosa Maria
dc.contributor.authorSánchez Carracedo, Fermín
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.date.accessioned2019-02-28T10:40:48Z
dc.date.available2019-02-28T10:40:48Z
dc.date.issued1996
dc.identifier.citationCortadella, J.; Badia, R.M.; Sánchez, F. A mathematical formulation of the loop pipelining problem. A: Conference on Design of Circuits and Integrated Systems. "DCIS96, XI Design of Integrated Circuits and Systems Conference: proceedings". Barcelona: Universitat Politècnica de Catalunya (UPC), 1996, p. 355-360.
dc.identifier.isbn84-89349-83-5
dc.identifier.urihttp://hdl.handle.net/2117/129946
dc.description.abstractThis paper presents a mathematical model for the loop pipelining problem that considers several parameters for optimization and supports any combination of resource and timing constraints. The unrolling degree of the loop is one of the variables explored by the model. By using Farey’s series, an optimal exploration of the unrolling degree is performed and optimal solutions not considered by other methods are obtained. Finding an optimal schedule that minimizes resource and register requirements is solved by using an Integer linear programming (ILP) model. A novel paradigm called branch and prune is proposed to eficiently converge towards the optimal schedule and prune the search tree for integer solutions, thus drastically reducing the running time. This is the first formulation that combines the unrolling degree of the loop with timing and resource constraints in a mathematical model that guarantees optimal solutions.
dc.format.extent6 p.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya (UPC)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
dc.subject.lcshInteger programming
dc.subject.lcshComputational complexity
dc.subject.otherLoop pipelining
dc.subject.otherFarey’s series Integer
dc.subject.otherInteger linear programming
dc.titleA mathematical formulation of the loop pipelining problem
dc.typeConference report
dc.subject.lemacProgramació en nombres enters
dc.subject.lemacComplexitat computacional
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.groupUniversitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
dc.description.peerreviewedPeer Reviewed
dc.rights.accessOpen Access
drac.iddocument2471163
dc.description.versionPostprint (author's final draft)
upcommons.citation.authorCortadella, J.; Badia, R.M.; Sánchez, F.
upcommons.citation.contributorConference on Design of Circuits and Integrated Systems
upcommons.citation.pubplaceBarcelona
upcommons.citation.publishedtrue
upcommons.citation.publicationNameDCIS96, XI Design of Integrated Circuits and Systems Conference: proceedings
upcommons.citation.startingPage355
upcommons.citation.endingPage360


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder