115
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurr...
121
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Early work in implicit information flow detection applied only to flat, procedureless languages with structured control-flow (e.g., if statements, while loops). These techniques...
248
click to vote
SAMOS
2015
Springer
9 years 11 months ago
2015
Springer
—Today’s multi-processor system-on-chip (MPSoC) systems increasingly have to deal with dynamically changing application workload scenarios. To cope with such dynamic applicatio...
245
click to vote
SAMOS
2015
Springer
9 years 11 months ago
2015
Springer
—Task migration has been applied as an efficient mechanism to handle faulty processing elements (PEs) in Multiprocessor Systems-on-Chip (MPSoCs). However, current task migration...
275
click to vote
SAMOS
2015
Springer
9 years 11 months ago
2015
Springer
—After their success in the high performance and desktop market, Graphic Processing Units (GPUs), that can be used for general purpose computing are introduced for embedded syste...