Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	Nvidia CUDA GPGPU SAA Petri net transition system UDC 004.4
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/258
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
by: Pogorilyy, S.D., et al.
Published: (2018)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

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

Research of the application of GPGPU and TPU technologies for ensuring comment quality in version control systems
by: Semonov, B.O., et al.
Published: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
by: Зименко, Андрей Евгеньевич, et al.
Published: (2008)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Transition systems as method of designing applications in GPGPU technology
by: S. L. Kryvyi, et al.
Published: (2018)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

Modern Videoadapter Architectures. GPGPU Technology (Part 1)
by: Pogorilyy, S. D, et al.
Published: (2012)

Modern Videoadapter Architectures. GPGPU Technology (Part 2)
by: Pogorilyy, S. D., et al.
Published: (2013)

A structural and analytical simulation and animation of technological processes in engineering complexes
by: Denisenko, A. V.
Published: (2016)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

A method of two-tier storage management in virtualized data center
by: Zharikov, E.V.
Published: (2019)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine
by: Tverdokhlib, Ye.M., et al.
Published: (2017)

Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (2019)

Graphical data aggregation and analysis in dedicated mobile device networks.
by: Pogorilyy, S. D., et al.
Published: (2019)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Managing data center resources using heuristic search
by: Zharikov, E.V.
Published: (2018)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: Iwaniak, M., et al.
Published: (2013)

Approaches to realization Yen’s algorithm for systems with the shared memory
by: Pogorilyy, S.D., et al.
Published: (2025)

Injection of functional dependencies using inversion of control container
by: Glybovets, M.M., et al.
Published: (2019)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Infrastructure FOR XML-models transformation
by: Glybovets, M.M., et al.
Published: (2025)

On unification of processing methods of the structured information
by: Doroshenko, A.Yu., et al.
Published: (2025)

Flow based bonet traffic detection using AI
by: Panchuk, B.O.
Published: (2023)

Modified method of searching keywords and keyterms in text data
by: Bukhalenkov, D.O., et al.
Published: (2024)