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

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

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

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

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

  • Formal semantics and analysis of tokenomics properties 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu.; Tarasich, Yu.H.; Vinnyk, M.O. (Проблеми програмування, 2022)
    Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same ...
  • Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics 
    Bača, J.; Giertl, J.; Chladný, V. (2004)
    The contribution deals with different formal specifications of logic system that are used for solving of analysis, synthesis and diagnostics tasks. Particular attention is given to analysis of applicability of separate ...
  • Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building 
    Ogurtsov, M.I. (Проблеми програмування, 2022)
    2022 рік показав нагальну необхідність вдосконалення існуючих систем впізнавання об’єктів типу «свій-чужий», що викликає на зростанням кількості технічних засобів (особливо – безпілотних) на полі бою. Таке різке зростання ...
  • A functional analytic method for the analysis of general partial differential equations 
    Sikolya, E. (2006)
    In this paper we give a short overview of operator semigroups. These objects are widely used for proving well-posedness of partial differential equations and for investigating qualitative properties of the solutions.
  • Game theoretic modeling of AIMD network equilibrium 
    Ignatenkо, O.P. (Проблеми програмування, 2016)
    This paper deals with modeling of network’s dynamic using game theory approach. The process of interaction among players (network users), trying to maximize their payoffs (e.g. throughput) could be analyzed using game-based ...
  • GRID-Infrastructure simulation 
    Shelestov, A.Ju.; Kussul, N.N.; Skakun, S.V. (2006)
    In a paper simulation modelling of Grid infrastructure is carried out in order to investigate and analyze its productivity. For this purpose, GridSim modelling package is used. An approach based on the operational analysis ...
  • GRID ресурси Інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка 
    Судаков, О.О.; Бойко, Ю.В. (2006)
    GRID – це форма розподілених обчислень, що передбачає спільне використання та керування обчислювальними ресурсами, та ресурсами збереження даних в організаціях, які можуть бути географічно розподіленими та динамічно ...
  • Impact of climate changes in Europe on European pollution levels 
    Zlatev, Z. (2006)
    Changes in climate variability and extreme weather and climate events in the 20th century, especially in the last two-three decades of the 20th century, have been discussed in many recent scientific publications. Attempts ...
  • Implementation of mappings between the description logic and the binary relational data model on the RDF level 
    Chystiakova, I.S. (Проблеми програмування, 2020)
    This paper is dedicated to the data integration problem. In article the task of practical implementation of mappings between description logic and a binary relational data model is discussed. This method was formulated ...
  • 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 ...
  • Insertion modeling in distributed system design 
    Letichevsky, A.A.; Kapitonova, J.V.; Letichevsky Jr, A.A.; Kotlyarov, V.P.; Nikitchenko, N.S.; Volkov, V.A.; Weigert, T. (2008)
    The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and ...
  • Interactive assessment of simulated service qualities by business stakeholders: principles and research issues 
    Shekhovtsov, A. (2010)
    We present the principles of an approach supporting the stakeholder involvement in a software process for service-oriented systems in a form of assessing the perceived quality of the software under development in its usage ...
  • Interactive method for cumulative analysis of software formal models behavior 
    Kolchin, A. (Проблеми програмування, 2018)
    The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce ...
  • Interoperability Issues of Earth Observation Grid Systems 
    Shelestov, A.; Skakun, S.; Korbakov, M. (2008)
    In this paper we review issues of Earth observation Grid systems integration. We describe different approaches for the solution of problems of certificate trust, data transfer, geospatial data access, task management, etc. ...
  • Intonation expressiveness of the text at program sounding 
    Shevchenko, V.L.; Lazorenko, Y.S.; Borovska, O.M. (Проблеми програмування, 2021)
    As the amount of media content increases, there is a need for its automated sounding with the most accessible built-in and mobile means. The factors influencing the formation of different intonations were analyzed in the ...
  • I/O benchmarking of data intensive applications 
    Mordvinova, Olga; Ludwig, Thomas; Bartholomä, Christian (2010)
    Abstract. The increasing computerization of the society over the last decade led to the increased data volumes stored over the world. The need to handle and store these massive amounts of data, arising from diverse sources ...
  • Javachecker: статический анализ программных комплексов с помощью переписывающих правил 
    Шевченко, Р. (2004)
    У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних ...
  • Knowledge based approach to traceability and maintenance of requirements for information systems 
    Tkachuk, M.; Sokol, V.; Godlevsky, M.; Mayr, H.C. (2004)
    Стаття презентує оріентований на обробку знань підхід до аналізу та управління вимогами щодо інформаційних систем , який інтегрує в собі концепції, розроблені в різних предметних областях, а саме: в системах підтримки ...
  • Low-power architecture for CIL-code hardware processor 
    Chapyzhenka, A.; Ragozin, D.; Umnov, A. (2005)
    In the article the authors present the architecture of a hardware CIL processor, which is capable to execute CIL instructions as native code. The CIL hardware engine is implemented on the top of the low-power DSP architecture, ...
  • A machine learning approach to server-side anti-spam e-mail filtering 
    Mashechkin, I.; Petrovskiy, M.; Rozinkin, A.; Gerasimov, S. (2006)
    Spam-detection systems based on traditional methods have several obvious disadvantages like low detection rate, necessity of regular knowledge bases’ updates, impersonal filtering rules. New intelligent methods for spam ...

Пошук


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

Перегляд

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