Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
Hauptverfasser:	Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	Nvidia CUDA GPGPU SAA Petri net transition system UDC 004.4
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/258
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

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

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

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

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

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

Transition systems as method of designing applications in GPGPU technology
von: S. L. Kryvyi, et al.
Veröffentlicht: (2018)

A structural and analytical simulation and animation of technological processes in engineering complexes
von: Denisenko, A. V.
Veröffentlicht: (2016)

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

Modern Videoadapter Architectures. GPGPU Technology (Part 1)
von: Pogorilyy, S. D, et al.
Veröffentlicht: (2012)

Modern Videoadapter Architectures. GPGPU Technology (Part 2)
von: Pogorilyy, S. D., et al.
Veröffentlicht: (2013)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

A method of two-tier storage management in virtualized data center
von: Zharikov, E.V.
Veröffentlicht: (2019)

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine
von: Tverdokhlib, Ye.M., et al.
Veröffentlicht: (2017)

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

Graphical data aggregation and analysis in dedicated mobile device networks.
von: Pogorilyy, S. D., et al.
Veröffentlicht: (2019)

Automated design of OpenCL programs based on algebra-algorithmic approach
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Managing data center resources using heuristic search
von: Zharikov, E.V.
Veröffentlicht: (2018)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
von: Iwaniak, M., et al.
Veröffentlicht: (2013)

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)

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

Injection of functional dependencies using inversion of control container
von: Glybovets, M.M., et al.
Veröffentlicht: (2019)

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Infrastructure FOR XML-models transformation
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

On unification of processing methods of the structured information
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

Flow based bonet traffic detection using AI
von: Panchuk, B.O.
Veröffentlicht: (2023)