Titlebook: Computational Science and Its Applications – ICCSA 2016; 16th International C Osvaldo Gervasi,Beniamino Murgante,Shangguang Wang Conference

面包屑

培養(yǎng)

浮雕寶石

backdrop

Memory-Aware Scheduling for Mixed-Criticality Systemsical conclusions, we further present how to apply the well-known Audsley’s algorithm to find the optimal priority assignment for both memory-access and computation phases. Extensive experiments have been conducted and the experimental results validate the effectiveness of our proposed approach.

災(zāi)禍

積習(xí)難改

Computational Verification of Network Programs for Several OpenFlow Switches in Coqone of them. The verification method of NetCore programs has been introduced. This method uses Coq, which is a formal proof management system. This method, however, deals with only networks that consist of one OpenFlow switch. This paper proposes a methodology that verifies networks that consist of several OpenFlow switches.

senile-dementia

LEVER

暫停,間歇

Parallel Sparse Matrix-Vector Multiplication Using AcceleratorsMIC achieved relatively high performance in some matrices with a single process, but it could not achieve higher performance than other implementations with 64 MPI processes. Therefore, we implemented and evaluated the single SpMV kernel to improve the performance of parallel SpMV.

Repatriate