Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

оптимизация

производительность

поток данных

верификация

Стр.:

P.57-65.

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

Bibliogr.: p.65

Источник:

Software Engineering Notes

Номер:

5

Том:

24

Карточка:

Б3.54, Б3.55.

Naumovich G., Clarke L. A., Cobleigh J. M..

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification// Software Engineering Notes-1999, №5.-Vol. 24.-P.57-65.
Bibliogr.: p.65

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

ACM6 100