Publication
Title
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Form of Publication
Tagungsbeitrag
All authors
Clark, Brian; Stierand, Ingo; Thaden, Eike
Summary
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.
Booktitle
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Publishing date
2011
Page
77-83
Publishing company
The Association for Computing Machinery (ACM)
Address of publishing company
2 Penn Plaza, Suite 701, New York New York 10121-0701
ISBN
978-1-4503-1087-1
Title of Conference
2011 Research in Applied Computation Symposium
