Sciweavers

7092 search results - page 59 / 1419
» Parallelizing constraint programs
Sort
View
DATE
2010
IEEE
195views Hardware» more  DATE 2010»
15 years 6 months ago
Cool MPSoC programming
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
Rainer Leupers, Lothar Thiele, Xiaoning Nie, Bart ...
PVM
2009
Springer
15 years 10 months ago
Practical Formal Verification of MPI and Thread Programs
Ganesh Gopalakrishnan, Robert M. Kirby
IPPS
2008
IEEE
15 years 10 months ago
Approximating max-min linear programs with local algorithms
Patrik Floréen, Petteri Kaski, Topi Musto, ...