Showing 1 - 20 results of 38 for search 'Андреева, Валентина Валерьевна', query time: 0.04s Refine Results
  1. 1
    Сокращение длины проверяющего теста на основе дерева декомпозиции
    Get full text
    Article
  2. 2
    Поиск некотрых максимальных расширений интервала частичной булевой функции
    Book Chapter
  3. 3
    Сокращение длины проверяющего теста, обнаруживающего кратные константные неисправности на полюсах логических элементов комбинационной схемы
    Book Chapter
  4. 4
    Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода
    Get full text
    Book Chapter
  5. 5
    Пространственно-ориентированная оптимизация тестовых последовательностей с применением итеративного подхода по многим переменным
    Get full text
    Article
  6. 6
    Сокращение ранга конъюнкции, представляющей корень логического уравнения
    Get full text
    Article
  7. 7
    Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    Book
  8. 8
    Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ
    Get full text
    Book Chapter
  9. 9
    Минимизация монотонной системы булевых функций, представленной интервалами с максимальными характеристиками
    Get full text
    Book Chapter
  10. 10
    Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Get full text
    eBook
  11. 11
    Логическое программирование на языке Пролог учебно-методический комплекс
    Get full text
    eBook
  12. 12
    Программирование на языке C# учебное пособие : [для бакалавров направлений подготовки "Прикладная математика и информатика", "Математика и компьютерные науки" и др.]
    Get full text
    eBook
  13. 13
    Построение минимизированного проверяющего теста для системы безызбыточных ДНФ, ориентированное на сокращение расстояния по Хеммингу между соседними тестовыми наборами
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  14. 14
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  15. 15
    Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  16. 16
    Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  17. 17
    Применение бинарного графа для верификации программного кода
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  18. 18
    Поиск утечек ресурсов с помощью графа состояний памяти
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  19. 19
    Сокращение ранга конъюнкции, представляющей корень логического уравнения
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
  20. 20
    Обнаружение робастно тестируемых неисправностей задержек путей
    Other Authors: “...Андреева, Валентина Валерьевна...”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed