| 1 | -- | 2 | Jia Hu, Seetharami Seelam, Laurent Lefevre. Introduction to special issue on High Performance Computing Architectures and Systems |
| 3 | -- | 15 | Xiaofei Liao, Hai Jin, Shizhan Yu, Yu Zhang. A novel memory allocation scheme for memory energy reduction in virtualization environment |
| 16 | -- | 37 | Hervé Paulino, Eduardo Marques. Heterogeneous programming with Single Operation Multiple Data |
| 38 | -- | 56 | Seren Soner, Can Özturan. Integer programming based heterogeneous CPU-GPU cluster schedulers for SLURM resource manager |
| 57 | -- | 71 | Jianliang Ma, Licheng Yu, John M. Ye, Tianzhou Chen. MCMG simulator: A unified simulation framework for CPU and graphic GPU |
| 72 | -- | 84 | Imen Chakroun, Nouredine Melab. Towards a heterogeneous and adaptive parallel Branch-and-Bound algorithm |
| 85 | -- | 96 | Hussain Al-Aqrabi, Lu Liu, Richard Hill, Nick Antonopoulos. Cloud BI: Future of business intelligence in the Cloud |
| 97 | -- | 109 | Mustafa Bani Khalaf, Ahmed Yassin Al-Dubai, Geyong Min. New efficient velocity-aware probabilistic route discovery schemes for high mobility Ad hoc networks |
| 110 | -- | 124 | Jianjiang Wang, Xiaomin Zhu, Laurence T. Yang, Jianghan Zhu, Manhao Ma. Towards dynamic real-time scheduling for multiple earth observation satellites |
| 125 | -- | 131 | Minghui Zheng, Yang Xiang, Hui-Hua Zhou. A strong provably secure IBE scheme without bilinear map |
| 132 | -- | 144 | Wei Li, Demetres D. Kouvatsos, Rod J. Fretwell. Towards time domain invariant QoS measures for queues with correlated traffic |
| 145 | -- | 157 | Yuwei Xu, Jeremiah D. Deng, Mariusz Nowostawski, Martin K. Purvis. Optimized routing for video streaming in multi-hop wireless networks using analytical capacity estimation |
| 159 | -- | 185 | Petra Berenbrink, Colin Cooper, Tom Friedetzky, Tobias Friedrich, Thomas Sauerwald. Randomized diffusion for indivisible loads |
| 186 | -- | 207 | Eun Jung Kim 0002, Christophe Paul, Geevarghese Philip. 4-minor cover problem |
| 208 | -- | 218 | Yanhui Zhai, Deyu Li, Kaishe Qu. Decision implication canonical basis: a logical perspective |
| 219 | -- | 233 | Andrea E. F. Clementi, Riccardo Silvestri. Parsimonious flooding in geometric random-walks |
| 234 | -- | 248 | Evangelos Bampas, Davide Bilò, Guido Drovandi, Luciano Gualà, Ralf Klasing, Guido Proietti. Network verification via routing table queries |
| 249 | -- | 257 | Juha Kortelainen. On simple generators of recursively enumerable languages |
| 258 | -- | 287 | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp. Locks: Picking key methods for a scalable quantitative analysis |
| 288 | -- | 310 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková. Runtime analysis of probabilistic programs with unbounded recursion |
| 311 | -- | 329 | Xi Chen, Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum, Pinyan Lu, Colin McQuillan, David Richerby. The complexity of approximating conservative counting CSPs |
| 330 | -- | 358 | Leslie Ann Goldberg, Mark Jerrum, Colin McQuillan. Approximating the partition function of planar two-state spin systems |