Vizual'noe modelirowanie w razrabotke parallel'nyh algori...
Vostokin, Sergej
V monografii opisywaetsq metod predstawleniq wychislitel'nyh processow, woznikaüschih pri reshenii zadach chislennogo modelirowaniq s ispol'zowaniem parallel'nyh i raspredelennyh wychislitel'nyh sistem, na osnowe original'noj graficheskoj ob#ektno-orientirowannoj modeli. Priwoditsq obzor sowremennyh priemow organizacii wychislenij na wysokoproizwoditel'noj tehnike. S ispol'zowaniem logiki TLA Lamporta predlagaetsq formal'naq specifikaciq wychi...