Many-Core Scheduling of Data Parallel Applications Using SMT Solvers
Pranav Tendulkar
◽
Peter Poplavko
◽
Ioannis Galanommatis
◽
Oded Maler
2014 ◽
Vol E97.D
(11)
◽
pp. 2827-2834
◽
Ittetsu TANIGUCHI
◽
Junya KAIDA
◽
Takuji HIEDA
◽
Yuko HARA-AZUMI
◽
Hiroyuki TOMIYAMA
2013 ◽
Vol E96.D
(10)
◽
pp. 2268-2271
Junya KAIDA
◽
Yuko HARA-AZUMI
◽
Takuji HIEDA
◽
Ittetsu TANIGUCHI
◽
Hiroyuki TOMIYAMA
◽
...
Vincent Nelis
◽
Patrick Meumeu Yomsi
◽
Luis Miguel Pinho
Bagher Salami
◽
Abdorreza Savadi
◽
Hamid Noori
S.M. Figueira
◽
F. Berman
Giuseppe Massari
◽
Edoardo Paone
◽
Michele Scandale
◽
Patrick Bellasi
◽
Gianluca Palermo
◽
...
2004 ◽
Vol 20
(6)
◽
pp. 1023-1039
◽
Jonas Lätt
◽
Bastien Chopard
T. Fahringer
◽
K. Sowa-Piekio
◽
J. Luitz
◽
H. Moritsch