Порівняння ефективності методів інваріантного аналізу динамічних характеристик програмних компонентів

Розгляд методів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Обчислювальну ефективність для визначення мінімального набору інваріантів у моделях малої та середньої розмірності показав TSS-метод.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.