BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
execut (2)
communic (1)
multicor (1)
prove (1)
symbol (1)

Stem mcapi$ (all stems)

3 papers:

ASEASE-2013-HuangMM #proving #smt #using
Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.
LCTESLCTES-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.
PPoPPPPoPP-2011-FischerMR #concurrent #modelling
Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.