953 | -- | 967 | Shan Ling, Weidong Chen. Node-to-Set Disjoint Paths in Biswapped Networks |
968 | -- | 979 | Gloria Ortega López, Francisco Vázquez, Inmaculada García, Ester M. Garzón. FastSpMM: An Efficient Library for Sparse Matrix Matrix Product on GPUs |
980 | -- | 986 | Sushanta Karmakar, A. Chandrakanth Reddy. An Improved Algorithm for Distributed Trigger Counting in Ring |
987 | -- | 1001 | Haitao Dan, Robert M. Hierons. The Oracle Problem When Testing from MSCs |
1002 | -- | 1016 | Anthony Danalis, Piotr Luszczek, Gabriel Marin, Jeffrey S. Vetter, Jack Dongarra. BlackjackBench: Portable Hardware Characterization with Automated Results' Analysis |
1017 | -- | 1032 | Pablo Llopis, Javier García Blas, Florin Isaila, Jesús Carretero. Survey of Energy-Efficient and Power-Proportional Storage Systems |
1033 | -- | 1045 | Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun. A New Barrier Certificate for Safety Verification of Hybrid Systems |
1046 | -- | 1091 | Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings. Circus Models for Safety-Critical Java Programs |
1092 | -- | 1104 | Jiufeng Zhou, Lixin Han, Yuan Yao, Xiaoqin Zeng, Feng Xu. A Parallel Approach to Link Sign Prediction in Large-Scale Online Social Networks |
1105 | -- | 1116 | Janardan Misra. A Calculus of Incomplete Fusions |