Отображение 1 - 20 результаты of 38 для поиска 'Андреева, Валентина Валерьевна', время запроса: 0.03сек. Отмена результатов
  1. 1
    Сокращение длины проверяющего теста на основе дерева декомпозиции
    Полный текст
    Статья в журнале
  2. 2
    Поиск некотрых максимальных расширений интервала частичной булевой функции
    Статья в сборнике
  3. 3
    Сокращение длины проверяющего теста, обнаруживающего кратные константные неисправности на полюсах логических элементов комбинационной схемы
    Статья в сборнике
  4. 4
    Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода
    Полный текст
    Статья в сборнике
  5. 5
    Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода по многим переменным
    Полный текст
    Статья в журнале
  6. 6
    Сокращение ранга конъюнкции, представляющей корень логического уравнения
    Полный текст
    Статья в журнале
  7. 7
    Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    Книга
  8. 8
    Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ
    Полный текст
    Статья в сборнике
  9. 9
    Минимизация монотонной системы булевых функций, представленной интервалами с максимальными характеристиками
    Полный текст
    Статья в сборнике
  10. 10
    Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Полный текст
    Электронная книга
  11. 11
    Логическое программирование на языке Пролог учебно-методический комплекс
    Полный текст
    Электронная книга
  12. 12
    Программирование на языке C# учебное пособие : [для бакалавров направлений подготовки "Прикладная математика и информатика", "Математика и компьютерные науки" и др.]
    Полный текст
    Электронная книга
  13. 13
    Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  14. 14
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  15. 15
    Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  16. 16
    Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  17. 17
    Применение бинарного графа для верификации программного кода
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  18. 18
    Поиск утечек ресурсов с помощью графа состояний памяти
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  19. 19
    Сокращение ранга конъюнкции, представляющей корень логического уравнения
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
  20. 20
    Обнаружение робастно тестируемых неисправностей задержек путей
    Другие авторы: “...Андреева, Валентина Валерьевна...”
    Полный текст
    Статья в сборнике
Инструменты поиска: RSS-поток