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

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

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

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

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

  • 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 ...
  • 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 ...
  • 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 ...
  • 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, ...
  • 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. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Zhygallo, A.A. (Проблеми програмування, 2016)
    Доведено тотальну коректність алгоритму Пітерсона. За програмою зафіксовано стани та переходи транзиційної системи. Середо-вище виконання – паралельне з почерговим переключенням зі спільною пам’яттю. Сформульовано інваріант. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Elshebli, M.A.T. (2006)
    The analysis of the transport of air pollutants is one of the most widely investigated problems and it has great practical importance. The operator splitting method is a widely used tool for the solution of such problems. ...
  • Lytvynenko, T.I. (Проблеми програмування, 2016)
    Розглянуто застосування методу дерев рішень до проблеми аналізу даних та прогнозування. Обробка даних базується на реальних спостереженнях рівня продажу груп товарів протягом 2006-2009 рр. R (мова програмування та програмне ...
  • Goerigk, Wolfgang; Langmaack, Hans (2003)
    Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
  • Kussul, O.M. (Проблеми програмування, 2012)
    In this paper we present the service-oriented infrastructure within the Wide Area Grid (WAG) project that was carried out within the Working Group on Information Systems and Services of the Committee on Earth Observation ...
  • Palagin, O.V.; Velychko, V.Yu.; Malakhov, K.S.; Shchurov, O.S. (Проблеми програмування, 2018)
    Against the backdrop of the development of modern technologies in the field of scientific research, the new class of Current Research Information Systems (CRIS) and related intelligent information technologies have arisen. ...
  • Ludwig, T. (2004)
    Parallel input/output in high performance computing is a field of increasing importance. In particular with compute clusters we see the concept of replicated resources being transferred to I/O issues. Consequently, we ...

Пошук


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

Перегляд

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