Publikationen
Titel
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Publikationsart
Tagungsbeitrag
Alle Autoren
Clark, Brian; Stierand, Ingo; Thaden, Eike
Zusammenfassung
In this paper we motivate, mathematically formulate, and evaluate a novel approach for finding good pre-allocations for software tasks together with their communication messages onto a hardware system. The hardware system is composed of subsystems connected via a global communication bus. Each subsystem contains one or more processors whose type can be chosen from a set of processor types with different properties, such as monetary cost, available memory, etc. The overall optimization objective is to minimize the sum of all processor costs. This is done using a Satisfiability Modulo Theories solver with an extension for performing binary search on input variables.
Buchtitel
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Erscheinungsdatum
2011
Seiten
77-83
Verlag
The Association for Computing Machinery (ACM)
Adresse des Verlags
2 Penn Plaza, Suite 701, New York New York 10121-0701
ISBN
978-1-4503-1087-1
Titel der Konferenz
2011 Research in Applied Computation Symposium
