Sequential-Like Proofs of Data-parallel Programs

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1996

Ключевые слова:

Стр.:

P.415-426

Библиография:

Bibliogr.: p.426

Источник:

Номер:

Том:

Карточка:

Б2.23.

Le Guyadec Y., Virot B..

Sequential-Like Proofs of Data-parallel Programs// Parallel Processing Letters-1996, №3.-Vol. 6.-P.415-426
Bibliogr.: p.426

Таблица в старой библиотеке:

PAP25 399