Перегляд за автором "Панченко, Т.В."

Сортувати за: Порядок: Результатів:

  • Доведення властивості коректної роботи банківської системи виплати грошових переказів 
    Остаповська, Ю.А.; Панченко, Т.В.; Поліщук, Н.В.; Картавов, М.О. (Проблеми програмування, 2016)
    Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності ...
  • Еквівалентність двох систем паралельного виконання 
    Панченко, Т.В.; Fabunmi Sunmade (Проблеми програмування, 2018)
    Досліджується метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять. У роботі розглянуто дві системи паралельного ...
  • Метод доведення властивостей програм в композиційно-номінативних мовах IPCL 
    Панченко, Т.В. (2008)
    Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через ...
  • Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN 
    Панченко, Т.В. (2004)
    В роботі проводиться моделювання структур даних мов програмування та функцій над ними засобами композиційно- номінативних мов. Розглядаються всі імперативні конструктори типів RAISE. Надається модель типів, виражаються ...
  • Подання динамічних вимірів у OLAP-кубах 
    Панченко, Т.В. (Проблеми програмування, 2012)
    Розглянуто два відомих підходи до подання динамічних вимірів: модель з відношенням «багато-до-багатьох» між елементами ієрархії вимірів, а також виміри, що повільно змінюються в часі (Slowly Changing Dimensions). Запропоновано ...
  • Прогнозування навантаження та планування розкладу роботи операторів контактного центру 
    Черніченко, К.О.; Капканець, А.М.; Панченко, Т.В. (Проблеми програмування, 2016)
    Застосовано некласичний метод для прогнозування навантаження контактного центру та методи (Erlang C, імітаційний метод) для обрахунку необхідної кількості операторів. В роботі поставлено і розв’язано задачу: спрогнозувати ...
  • Швидка або якісна розробка? 
    Панченко, Т.В. (Проблеми програмування, 2014)
    Розглянуто технології швидкої розробки програмних систем, проаналізовано їх переваги та недоліки. Акцентовано важливість докладного вивчення і адекватного застосування. Показано, що швидкість розробки може бути не досягнена ...