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

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

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

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

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

  • 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 ...
  • Андон, Ф.И.; Гришанова, И.Ю.; Резниченко, В.А. (2008)
    Описаны базовые концепции и архитектура Semantic Web, а также положение дел по разработке данного проекта по состоянию на конец 2007 года. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития ...
  • Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)
    Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
  • Zberovsky, A.V.; Goman, O.G.; Zadornova, V.V.; Kharytonov, M.M. (2006)
    The local meteorological elements are connected with technical, economic and social parameters of the opencast atmosphere. The goal of this paper is the realization of methods and the developing of software for the ...
  • Shilov, N.V.; Shilova, S.O. (2010)
    The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...
  • Hudak, S.; Korecko, S.; Simonak, S. (2008)
    Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...

Пошук


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

Перегляд

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