Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems

Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems,10.1109/TPDS.2010.204,IEEE Transactions on Parallel and D

Edit
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems   (Citations: 2)
BibTex | RIS | RefWorks Download
Task graph scheduling on multiprocessor systems is a representative multiprocessor scheduling problem. A solution to this problem consists of the mapping of tasks to processors and the scheduling of tasks on each processor. Optimal solution can be obtained by exploring the entire design space of all possible mapping and scheduling choices. Since the problem is NP-hard, scalability becomes the main concern in solving the problem optimally. In this paper, a SAT-based optimization framework is proposed to address this problem, in which SAT solver is enhanced by integrating with a scheduling analysis tool in a branch and bound manner to prune the solution space efficiently. Performance evaluation results show that our technique has average performance improvement in more than an order of magnitude compared to state-of-the-art techniques. We further build a cycle-accurate network-on-chip simulator based on SystemC to verify the effectiveness of the proposed technique on realistic multiprocessor systems.
Journal: IEEE Transactions on Parallel and Distributed Systems - TPDS , vol. 22, no. 8, pp. 1382-1389, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by:

Citations (2)

Share this on