Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за темою "Теоретичні і методологічні основи програмування"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за темою "Теоретичні і методологічні основи програмування"

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

  • Information resources distribution between automated workstations in local corporative networks 
    Pursky, O.I.; Kozlov, V.V.; Tomashevska, T.V.; Dyvak, V.V.; Hordiiko, N.O.; Sinitsky, M.Y. (Проблеми програмування, 2022)
    This article focuses on the problem of optimal distribution of related information resources between automated workstations in local corporate networks. In this work we present a mathematical description of the algorithm ...
  • Генерація багатоцільових формальних моделей із успадкованого коду 
    Потієнко, С.В.; Колчин, О.В. (Проблеми програмування, 2022)
    У роботі запропоновано метод генерації формальних моделей із коду успадкованих систем. Призначення таких моделей полягає в можливості застосування в різних задачах, таких як автоматична генерація виконуваних тестів, ...
  • Двохкомпонентні алгоритми сортування 
    Шинкаренко, В.І.; Дорошенко, А.Ю.; Яценко, О.А.; Разносілін, В.В.; Галанін, К.К. (Проблеми програмування, 2022)
    У роботі досліджувалися можливості покращення часових параметрів сортувань за допомогою попередньої обробки стохастичним сортуванням. Експериментально підтверджено гіпотезу про можливість суттєвого поліпшення часової ...
  • Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю 
    Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2022)
    У роботі досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів із розширеними реномінаціями та предикатами строгої рівності й слабкої рівності.

Пошук


Розширений пошук

Перегляд

Мій обліковий запис