Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
Avinash Malik, Cameron Walker, Michael O'Sullivan, Oliver Sinnen
| Year of publication: |
January 2018
|
|---|---|
| Authors: | Malik, Avinash ; Walker, Cameron ; O'Sullivan, Michael ; Sinnen, Oliver |
| Published in: |
Computers & operations research : and their applications to problems of world concern ; an international journal. - Oxford [u.a.] : Elsevier, ISSN 0305-0548, ZDB-ID 194012-0. - Vol. 89.2018, p. 113-126
|
| Subject: | Parallel computing | Task scheduling with communication delays | SMT | MILP | Scheduling-Verfahren | Scheduling problem | Kommunikation | Communication | Graphentheorie | Graph theory | Parallelrechner | Parallel computer |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.1016/j.cor.2017.08.012 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10011755124