Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
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.
11 / 2011
The Association for Computing Machinery (ACM)
Software Plattform Embedded Systems 2020 (sorry - only available in German)