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

Перегляд Проблеми програмування за назвою

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

Перегляд Проблеми програмування за назвою

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

  • Сидоров, Н.А. (Проблеми програмування, 2018)
    Статья посвящается 50 годовщине образования, ключевой на сегодняшний день области информатики – инженерии программного обеспечения. В октябре 2018 года исполнилось 50 лет со дня проведения конференции, на которой ...
  • Hordiichuk, O.V.; Bychkov, O.S. (Проблеми програмування, 2015)
    Peer-to-peer applications such as BitTorrent solved a load problem of file distributing, but unfortunately these approaches are not suitable for video streaming due to a real-time data generation nature, heterogeneous ...
  • Voloshyn, D. (Проблеми програмування, 2016)
    У роботі описано програмний продукт для вирішення задачі прогнозування змісту відеопотоку. Архітектура розробки використовує інфраструктуру програмних рішень TensorFlow для глибинного навчання разом з бібліотекою комп’ютерного ...
  • Letichevsky, A.; Letichevsky, A.Jr.; Peschanenko, V. (2008)
    The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its ...
  • Маторин, В.С.; Маторин, С.И.; Попов, А.С. (2004)
    The development and perfection questions of the original knowledge oriented program CASE-tool “UFO-toolkit” are considered. The algorithm of the business-systems and business-processes models automatic building with the ...
  • Nepomniaschaya, A.S.; Borets, T.V. (2004)
    In this paper, by means of an abstract model of the SIMD type with vertical data processing (the STAR-machine), we present a simple associative parallel algorithm for implementing the criterion of Chin and Houck to verify ...
  • Kollar, Jan (2004)
    A new process functional programming paradigm and its application in PFL – a process functional programming language is introduced in the paper. This paradigm is based on affecting the state represented by the values of ...
  • Promsky, A.V. (2008)
    The evolution of formal methods allowed us to overcome many obstacles in verification of procedural programs. However, wide spreading of object-oriented languages has brought new challenges, even in the case of sequential ...
  • Dimitriu, G.; Cuciureanu, R. (2006)
    Kalman filtering represents a powerful framework for solving data assimilation problems. Of interest here are the low-rank filters which are computationally efficient to solve large scale data assimilation problems. The ...
  • Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A. (Проблеми програмування, 2013)
    The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design ...
  • Bača, J.; Korecko, S.; Poruban, J.; Vaclavik, P. (2003)
    The Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure ...
  • Колесник, В.Г. (Проблеми програмування, 2015)
    Описаны виды деления Р-данных и рассмотрены факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме ...
  • Колесник, В.Г. (Проблеми програмування, 2015)
    Статья – очередная из цикла работ описывающих теорию схем декомпозиции как теорию прикладных алгоритмов. Схема декомпозиции рассматривается как прототип прикладного алгоритма. Цель статьи – рассмотреть преобразование схемы ...
  • Колесник, В.Г. (Проблеми програмування, 2016)
    В этой работе продолжается изложение теории схем декомпозиции как теории прикладных алгоритмов. Рассматривается механизм преобразования схемы декомпозиции в реальный прикладной алгоритм, обусловленный разнообразием способов ...
  • Колесник, В.Г. (2012)
    Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учиты-вая ее алгоритмическую природу, как ...
  • Колесник, В.Г. (Проблеми програмування, 2017)
    В работе представлена теория схем декомпозиции как научная теория. Описаны ее атрибуты – парадигма, поле исследований, цель исследований, основная задача, метод решения , основная теоретическая модель – схема декомпозиции. ...
  • Колесник, В.Г. (Проблеми програмування, 2015)
    Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать ...
  • Даревич, Р.Р.; Досин, Д.Г.; Литвин, В.В.; Мриглод, O.І.; Шкутяк, Н.В. (2010)
    Розглядається архітектура віртуальної самокерованої редакційної колегії фахового періодичного видання як системи штучного інтелекту, яка містить методи і засоби автоматичної підготовки до електронного друку поданих статей. ...
  • Pavlov, V.L.; Boyko, N.I.; Babich, A.V. (2007)
    INTSPEI P-Modeling Framework - це набір принципів, методів та інструментів, який має на меті розширення існуючих методологій розробки програмного забезпечення, що дозволяє зробити командну працю розробників більш ефективною ...
  • Chebanyuk O.V. (Проблеми програмування, 2018)
    Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained ...

Пошук


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

Перегляд

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