A Formal Evaluation of Mean-Time Access Latencies for Interleaved On-chip Shared Banked-memory in Manycores | IEEE Conference Publication | IEEE Xplore