000021063 001__ 21063
000021063 005__ 20170119130221.0
000021063 04107 $$aeng
000021063 046__ $$k2014-09-22
000021063 100__ $$aMeca, Ondřej
000021063 24500 $$aVerification of MPI applications

000021063 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014
000021063 260__ $$b
000021063 506__ $$arestricted
000021063 520__ $$2eng$$aMPI, formal verification, statespace analysis, error detection

000021063 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb.
000021063 653__ $$a

000021063 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014
000021063 720__ $$aMeca, Ondřej$$iBöhm, Stanislav
000021063 8560_ $$ffischerc@itam.cas.cz
000021063 8564_ $$s72899$$uhttps://invenio.itam.cas.cz/record/21063/files/830008_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 830008_1.pdf.
000021063 962__ $$r20333
000021063 980__ $$aPAPER