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

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

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

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

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

  • 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 ...
  • Шевченко, Р.С.; Дорошенко, А.Ю. (Проблеми програмування, 2019)
    У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...
  • Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)
    Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
  • Guba, A.A. (Проблеми програмування, 2014)
    The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space ...
  • Georgiev, I.; Kraus, J.; Margenov, S. (2006)
    In this paper a multiplicative two-level preconditioning algorithm for second order elliptic boundary value problems is considered, where the discretization is done using Rannacher-Turek non-conforming rotated bilinear ...
  • Маторин, С.И.; Попов, А.С. (2005)
    Рассмотрены системно-объективная методология УФО-моделирования, функциональные возможности BI-инструментария новой генерации – UFO-tookit, проведено сравнение с Bpwin, анализируются направления развития.
  • Peschanenko, V.; Poltorackiy, M. (Проблеми програмування, 2018)
    This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a ...
  • Анісімов, А.В.; Марченко, О.О.; Никоненко, А.О. (Проблеми програмування, 2012)
    Дана стаття описує мету та основні задачі, які ставилися розробниками при створенні онтології UWN. Детально розглянуто архітектуру створеної системи, структуру збереження знань, механізми доступу до знань, внутрішню логіку ...
  • Kleinová, K.; Bača, J.; Jakab, F.; Feciľak, P. (2008)
    Описано систему оценки качества голоса включая определение порога шума в течении передачи голоса различными сетевыми технологиями. Развитие передачи голоса интернет протоколом (VoIP) предпочитает решение проблем относящихся ...
  • Goerigk, Wolfgang; Langmaack, Hans (2003)
    The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system ...
  • Крамар, Ю.М. (2004)
    Приводится описание процесса контроля применения стиля языка программирования и устройства, автоматизирующего данный процесс, описывается математическая модель устройства и алгоритм его функционирования. Представляются ...

Пошук


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

Перегляд

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