Френкель Сергей Лазаревич

Публикации в базе данных Math-Net.Ru

1. О задаче предсказания деградации в технических системах
   
   Информ. и её примен., 18:4 (2024),  68–76
2. Модели учета влияния статистических характеристик трафика вычислительных сетей на эффективность прогнозирования средствами машинного обучения
   
   Информ. и её примен., 17:4 (2023),  71–80
3. Модель прогнозирования Интернет-трафика
   
   Искусственный интеллект и принятие решений, 2022, № 4,  66–77
4. Совместная оценка предсказуемости данных и качества предикторов
   
   Информ. и её примен., 14:2 (2020),  40–49
5. Seamless route updates in software-defined networking via quality of service compliance verification
   
   Информ. и её примен., 12:4 (2018),  52–62
6. Использование вероятностной модели вычислений для тестирования одного класса готовых к использованию программных компонентов локальных и сетевых систем
   
   Информ. и её примен., 12:4 (2018),  44–51
7. Вероятностные модели оценки устойчивости программ к кратковременным аппаратным сбоям
   
   Информ. и её примен., 11:1 (2017),  46–57
8. Performance improvement of Lempel–Ziv–Welch compression algorithm
   
   Информ. и её примен., 9:4 (2015),  78–84
9. Минимизация вероятностных моделей программ
   
   Фундамент. и прикл. матем., 19:1 (2014),  121–163
10. Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем
    
    Информ. и её примен., 8:4 (2014),  58–69
11. Probabilistic methods for self-correcting hardware design
    
    Информ. и её примен., 7:4 (2013),  140–147
12. Holographic coding by Walsh–Hadamard transformation of randomized and permuted data
    
    Информ. и её примен., 6:4 (2012),  76–83
13. Semiformal verification for pipelined digital designs based on Algorithmic State Machines
    
    Информ. и её примен., 4:4 (2010),  48–59
14. Estimation of self-healing time for digital systems under transient faults
    
    Информ. и её примен., 4:3 (2010),  2–8
15. Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
    
    Системы и средства информ., 20:3 (2010),  4–16
16. Вероятностный анализ времени проявления неисправности в сети автоматов
    
    Информ. и её примен., 3:2 (2009),  2–14
17. Некоторые аспекты проектирования СБИС с использованием алгоритмических машин состояний (ASM)
    
    Системы и средства информ., 2009, № 19,  87–95
18. Concurrent design and verification of digital hardware
    
    Информ. и её примен., 2:3 (2008),  7–25
19. An approach to classification of computer systems faults localization models
    
    Системы и средства информ., 2008, № спецвыпуск,  16–31