Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines

التفاصيل البيبلوغرافية
العنوان: Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
المؤلفون: Sanjiva Prasad
المصدر: Journal of Logical and Algebraic Methods in Programming. 100:1-15
بيانات النشر: Elsevier BV, 2018.
سنة النشر: 2018
مصطلحات موضوعية: Scheme (programming language), Competitive analysis, Logic, Computer science, Quality of service, Distributed computing, 0102 computer and information sciences, 02 engineering and technology, Energy consumption, 01 natural sciences, Theoretical Computer Science, Core (game theory), Resource (project management), Computational Theory and Mathematics, 010201 computation theory & mathematics, Transition system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Online algorithm, computer, Software, computer.programming_language
الوصف: Energy consumption is a major concern in multicore systems. Perhaps the simplest strategy for reducing energy costs is to use only as many cores as necessary while still being able to deliver a desired quality of service. Motivated by earlier work on a dynamic (heterogeneous) core allocation scheme for H.264 video decoding that reduces energy costs while delivering desired frame rates, we formulate operationally the general problem of executing a sequence of actions on a reconfigurable machine while meeting a corresponding sequence of absolute deadlines, with the objective of reducing cost. Using a transition system framework that associates costs (e.g., time, energy) with executing an action on a particular resource configuration, we formulate a very simple version of simulation relations for cumulative cost transition systems. This notion of simulation forms the basis for specifying deadline/budget-conformant executions, and appropriate notions for comparing such executions. We believe these simulation-based notions can provide the basis for an operational theory of optimal cost executions and performance guarantees for approximate solutions, in particular relating the notion of simulation from transition systems to that of competitive analysis used for, e.g., online algorithms.
تدمد: 2352-2208
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1cddfb2c53ced63cd930ff3242fa8a7f
https://doi.org/10.1016/j.jlamp.2018.06.002
حقوق: CLOSED
رقم الأكسشن: edsair.doi...........1cddfb2c53ced63cd930ff3242fa8a7f
قاعدة البيانات: OpenAIRE