Publication
Scalable and Efficient Configuration of TimeDivision Multiplexed Resources
| dc.contributor.author | Åkesson, Benny | |
| dc.contributor.author | Hanzalek, Zdenek | |
| dc.contributor.author | Minaeva, Anna | |
| dc.contributor.author | Suchaa, Premysl | |
| dc.date.accessioned | 2015-11-30T11:45:42Z | |
| dc.date.available | 2015-11-30T11:45:42Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach. | pt_PT |
| dc.identifier.doi | 10.1016/j.jss.2015.11.019 | pt_PT |
| dc.identifier.issn | 0164-1212 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/7021 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Elsevier | pt_PT |
| dc.relation | UID/CEC/04234/2013 (CISTER Research Centre) | pt_PT |
| dc.relation | ARTEMIS/0001/2013 - JU grant nr. 621429 (EMC2) | pt_PT |
| dc.relation.ispartofseries | Journal of Systems and Software; Vol. 113 | |
| dc.relation.publisherversion | http://www.sciencedirect.com/science/article/pii/S0164121215002447 | pt_PT |
| dc.subject | Real-time systems | pt_PT |
| dc.subject | Resource scheduling | pt_PT |
| dc.subject | Branchand-price | pt_PT |
| dc.subject | Time-division multiplexing | pt_PT |
| dc.subject | Optimization | pt_PT |
| dc.subject | Multi-core systems | pt_PT |
| dc.title | Scalable and Efficient Configuration of TimeDivision Multiplexed Resources | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.title | Journal of Systems and Software | pt_PT |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |