Efficient inter-core power and thermal balancing for multicore processors Juan M. CebriánDaniel SánchezStefanos Kaxiras OriginalPaper 15 November 2012 Pages: 537 - 566
A design methodology for verified web-service mediators Jing CaoAlbert Nymeyer OriginalPaper 23 November 2012 Pages: 567 - 610
A reliable checkpoint storage strategy for grid Sana MalikBabar NazirImran Ali Khan OriginalPaper 14 December 2012 Pages: 611 - 632