A Comparison of Automatic versus Manual Parallelization of the Boyer-Moore Theorem Prover | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ammarguellat Z.

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

1

Вид:

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

Год:

1990

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

параллелизм

автоматический

компилятор

Стр.:

P.307-330.

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

Bibliogr.: p.328-330.

Место издания:

Издательство:

Источник:

Languages and Compilers for Parallel Computing

Карточка:

Б2.35, Б3.22.

Harrison W. L., Ammarguellat Z..

A Comparison of Automatic versus Manual Parallelization of the Boyer-Moore Theorem Prover-London.: Pitman// Languages and Compilers for Parallel Computing, 1990.-P.307-330.
Bibliogr.: p.328-330.

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

PAP4 455