Шайна Я. С. Проектування цифрових систем з використанням логічного програмування

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0500U000034

Облікова картка дисертації

0500U000034.pdf

Здобувач

Спеціальність

  • 05.13.13 - Обчислювальні машини, системи та мережі

27-01-2000

Спеціалізована вчена рада

Д 26.185.01

Анотація

Проектування і моделювання цифрових систем на базі логічного програмування. Запропоновано новий декларативний метод розпізнавання часових діаграм, метод автоматизації символічного синтезу, мова моделювання ProWave.Впроваджено у промисловість. Сфера використання: цифрове супутникове телебачення.

Читати повністю

Схожі дисертації

0407U004844

Хассан Ктейман

Моделі та методи апаратного моделювання несправно-стей цифрових систем на крислах

0407U004845

Хабіс А А Зідат

Методи діагностики комп'ютерних систем та мереж з використовуванням експертних систем реального часу

0407U004846

Уаді Гарібі

Моделі та методи апаратного моделювання цифровиз систем на кристалах

0507U000653

Міхаль Олег Пилипович

Обчислювальні методи, засоби та реалізація локально-паралельної обробки нечіткої інформації

0407U004567

Пітух Ігор Романович

Методи організації руху даних в розподілених комп'ютерних системах на основі матричних моделей