Results 1 to 10 of about 18,322 (54)
On the application of equivalence checking algorithms for program minimization
Труды Института системного программирования РАН, 2018 Equivalence checking algorithms found vast applications in system programming; they are used in software refactoring, security checking, malware detection, program integration, regression verification, compiler verification and validation.
V. A. Zakharov, V. V. Podymov
doaj +1 more source
Finite state automata in the theory of algebraic program schemata
Труды Института системного программирования РАН, 2018 Algebraic models of programs considered in this paper generalize two models of programs introduced by A.A. Lyapunov and A.A. Letichevsky. The theory of these models focuses on the equivalence checking problem for program schemata which are formalization ...
R. I. Podlovchenko
doaj +1 more source
Modeling and analysis of the behavior of successive reactive programs
Труды Института системного программирования РАН, 2018 Finite state transducers extend the finite state automata to model functions on strings or lists. They may be used also as simple models of sequential reactive programs. These programs operate in the interaction with the environment permanently receiving
V. A. Zakharov
doaj +1 more source
Труды Института системного программирования РАН, 2018 In this paper we study the equivalence problem in the model of sequential programs which assumes that some instructions are commutative and absorbing. Two instructions are commutative if the result of their executions does not depend on an order of their
V. V. Podymov, V. A. Zakharov
doaj +1 more source
Ekonomìka ta suspìlʹstvoУ статті розглянуто механізм прогнозування та оперативного реагування на кризу. Важливо кризу визначати на ранніх стадіях. Це безпосередньо впливає на збереження достатнього рівня економічної безпеки.
Олена Колмакова +2 more
semanticscholar +1 more source
КОМПЛЕКСНИЙ АЛГОРИТМ ФОРМУВАННЯ ТА РЕАЛІЗАЦІЇ СТРАТЕГІЇ МІЖНАРОДНОЇ РЕЛОКАЦІЇ БІЗНЕСУ
Ekonomìka ta suspìlʹstvoСтаттю присвячено формуванню комплексного алгоритму стратегії міжнародної релокації бізнесу. Авторами виявлено ключові відмінності між внутрішньою та міжнародною релокацію, охарактеризовано ключові переваги та недоліки процесу міжнародної релокації ...
Оксана Булкот +1 more
semanticscholar +1 more source
Функціональна модель та алгоритм розробки інформаційного сервісу для обліку й закупівлі товарів
TECHNICAL SCIENCES AND TECHNOLOGIESДослідження присвячено розробці функціональної моделі та алгоритму інформаційного сервісу з питань обліку і закупівлі, що враховує індивідуальні потреби користувача.
Павло Козолуп +1 more
semanticscholar +1 more source
ТЕХНОЛОГІЯ ПРОЄКТУВАННЯ ОСВІТНЬОГО ПРОЦЕСУ: АНАЛІЗ ТЕОРЕТИЧНИХ ПЕРЕДУМОВ І АЛГОРИТМ РЕАЛІЗАЦІЇЇ
Молодь і ринокУ статті визначено особливості технології проєктування освітнього процесу як особливої діяльності педагога ЗВО зі створення спеціальних інтелектуальних засобів трансформації освітньо-наукових задумів у виважені рішення.
Ванда Вишківська +2 more
semanticscholar +1 more source
Scientific Bulletin of Kherson State University. Series Economic SciencesСтаття присвячена проблемі об’єктивної оцінки потенційних працівників та формування ефективних команд, що є однією з найважливіших у сучасному управлінні персоналом.
Татьяна Ивановна Тищенко +2 more
semanticscholar +1 more source
Вестник ВГУ. Серия: Системный анализ и информационные технологииВ работе предложен и программно реализован алгоритм работы клеточного автомата, предназначенного для моделирования поверхностного роста бактериальной пленки в условиях проточного культивирования.
Самвел Каджикович Саруханян +1 more
semanticscholar +1 more source