Stem mcapi$ (all stems)

3 papers:

ASE-2013-HuangMM #proving #smt #using

Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.

LCTES-2011-GrayA #api #architecture #embedded #manycore

Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.

PPoPP-2011-FischerMR #concurrent #modelling

Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.