Зображення обкладинки

Transition systems as method of designing applications in GPGPU technology

The method of researching systems with high-performance computing support, based on the transition systems apparatus (discrete computational model), is proposed. Two variants of synchronous product limitations of transition systems that model tha Nvidia CUDA approach are proposed. transition systems...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	Nvidia CUDA GPGPU SAA Petri net transition system UDC 004.4
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/258
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Метод семантичної верифікації застосувань у технології GPGPU
за авторством: Kryvyi, Serhii L., та інші
Опубліковано: (2020)

Research of the application of GPGPU and TPU technologies for ensuring comment quality in version control systems
за авторством: Semonov, B.O., та інші
Опубліковано: (2025)

Transition systems as method of designing applications in GPGPU technology
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2018)

ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
за авторством: Зименко, Андрей Евгеньевич, та інші
Опубліковано: (2008)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Compositional-nominative logics over hierarchical data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

Stability and monotonicity of programs for structural data transformations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

Modern Videoadapter Architectures. GPGPU Technology (Part 1)
за авторством: Pogorilyy, S. D, та інші
Опубліковано: (2012)

V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)

Modern Videoadapter Architectures. GPGPU Technology (Part 2)
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2013)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

A structural and analytical simulation and animation of technological processes in engineering complexes
за авторством: Denisenko, A. V.
Опубліковано: (2016)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Graphical data aggregation and analysis in dedicated mobile device networks.
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2019)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: Iwaniak, M., та інші
Опубліковано: (2013)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Комп'ютерне моделювання процесу паралельного оброблення зображень на основі технологій Openmp та Nvidia Cuda
за авторством: Яровий, А. А., та інші
Опубліковано: (2016)

Animation information technology of complex technical systems based on the discrete- continuous networks, FLASH-technology and means of DCNET
за авторством: Denisenko, A. V.
Опубліковано: (2014)

Design and Model Justification of GPU-Based Applications
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2018)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Managing data center resources using heuristic search
за авторством: Zharikov, E.V.
Опубліковано: (2018)

A method of two-tier storage management in virtualized data center
за авторством: Zharikov, E.V.
Опубліковано: (2019)

A network approach in the study of cascading effects critical infrastructures
за авторством: Хоменко, О. М., та інші
Опубліковано: (2024)

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

Study of the efficiency of some deterministic preprocessing methods for sorting algorithms
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)