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

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

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

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

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

  • n- исчисление – реалистичная формализация класса переписывающих систем 
    Шевченко, Р.С.; Дорошенко, А.Е. (2011)
    Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные ...
  • On decompilation of VLIW executable files 
    Jakub, K. (Проблеми програмування, 2015)
    Machine-code decompilation (i.e. reverse program compilation) is a process often used in reverse engineering. Its task is to transform a platform-specific executable file into a high-level language representation, which ...
  • On some ozone studies: comparison of model results and measurements over the territory of Bulgaria 
    Georgiev, K.; Donev, E. (2006)
  • On the efficiency of the operator splitting method 
    Faragó, I. (2006)
    Operator splitting is a widely used procedure in the numerical solution of complex problems. The point in operator splitting is the replacement of the original model with one in which appropriately chosen groups of the ...
  • On the maximum-minimum principle for advection-diffusion equations 
    Horváth, R. (2006)
    The air pollution transport model is generally solved with the so-called operator splitting technique. The original problem is split into several subproblems and the solution of the model is obtained by solving the ...
  • On the numerical solution of the three-dimensional advection-diffusion equation 
    Prusov, V.; Doroshenko, A.; Faragó, I.; Havasi, Á. (2006)
    A new approach is proposed for the numerical solution of three-dimensional advection-diffusion equations, which arise, among others, in air pollution modelling. The technique is based on directional operator splitting, ...
  • On the peculiarities of using sparse matrices in problems of mathematical modeling 
    Khimich, O.M.; Popov, A.V.; Chystiakov, О.V. (Проблеми програмування, 2022)
    Mathematical modeling and the related computer experiment are now one of the main means of studying objects, processes and phenomena of various nature: in science, engineering, economics, society, etc. A significant ...
  • Ontological methods and tools for semantic extension of the media WIKI technology 
    Rogushina, J.V.; Grishanova, I.J. (Проблеми програмування, 2020)
    Practical aspects of ontological approach to organization of intelligent Wiki-based information resources (IR) are considered. We analyze the main features, capabilities and limitations of MediaWiki as a technological ...
  • Ontological models in OTSL 
    Anureev, I.S. (2008)
    OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. ...
  • Ontological system processing of databases of scientific publications 
    Palagin, O.V.; Petrenko, N.G.; Boyko, M.O. (Проблеми програмування, 2022)
    Development of theories, methods and algorithms for the discovery and formation of new knowledge always was one of the most important tasks for any researcher, especially if they actively working on creation of new scientific ...
  • Ontology-based semantic similarity to metadata analysis in the information security domain 
    Gladun, A.Y.; Khala, K.A. (Проблеми програмування, 2021)
    It is becoming clear with growing complication of cybersecurity threats, that one of the most important resources to combat cyberattacks is the processing of large amounts of data in the cyber environment. In order to ...
  • Parallel Computations with Large-scale Air Pollution Models 
    Dimov, I.; Farago, I.; Zlatev, Z. (2003)
    Large-scale mathematical models are very powerful tools in the efforts to provide more information and more detailed information about the pollution levels, especially about pollution levels which exceed certain critical ...
  • Parallel computing on heterogeneous Networks: Challenges and Responses 
    Lastovetsky, Al. (2004)
    In the paper, we analyse challenges associated with parallel programming for common networks of computers (NoCs) that are, unlike dedicated parallel computer systems, inherently heterogeneous and unreliable. This analysis ...
  • Parallel implementation of italiano's incremental algorithm for dynamic updating the transitive closure 
    Nepomniaschaya, A.S. (2008)
    The transitive closure (or reachability) problem in a directed graph consists in finding whether there is a path between any two vertices. In this paper, we first study the problem of parallelization of Italiano's algorithm ...
  • Partial evaluation in insertion modeling system 
    Peschanenko, V. (Проблеми програмування, 2013)
    The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of ...
  • Performance analysis of massively parallel programs for graphics processing units 
    Rahozin, D.V. (Проблеми програмування, 2022)
    Any modern Graphics Processing Unit (graphics card) is a good platform to run massively parallel programs. Still, we lack tools to observe and measure performance characteristics of GPU-based software. We state that due ...
  • Peterson’s Algorithm total correctness proof in IPCL 
    Zhygallo, A.A. (Проблеми програмування, 2016)
    Доведено тотальну коректність алгоритму Пітерсона. За програмою зафіксовано стани та переходи транзиційної системи. Середо-вище виконання – паралельне з почерговим переключенням зі спільною пам’яттю. Сформульовано інваріант. ...
  • Photochemical reactions in the atmosphere – a source of secondary pollutants 
    Cuciureanu, R.; Dimitriu, G. (2006)
    In the atmosphere polluting agents are involved in different reactions which lead to secondary pollutants. Secondary pollutants are mainly generated by photochemical and thermal reactions. These reactions occur in the ...
  • Practical issues of sensor web implementation and gridification 
    Kussul, N.; Korbakov, M.; Kravchenko, O. (2008)
    In this paper we provide an overview of emerging Sensor Web paradigm and show several practical issues of using Sensor Web technologies for real-world tasks. Issues under study include sensor description using SensorML and ...
  • Predicting the Probability of Exceeding Critical System Thresholds 
    Krammer, P.; Kvassay, M.; Hluchý, L. (Проблеми програмування, 2018)
    In this paper we show how regression modelling can be combined with a special kind of data transformation technique that improves model precision and produces several “preliminary” estimates of the target value. These ...

Пошук


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

Перегляд

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