Search Results - Parallel Programs
-
1
Authors:
Source: Моделирование и анализ информационных систем, Vol 32, Iss 2, Pp 150-171 (2025)
Subject Terms: synchronization primitives, petri nets, parallel program, Information technology, verification, T58.5-58.64
-
2
Authors: et al.
Source: IEEE Access, Vol 13, Pp 65939-65954 (2025)
-
3
Authors: Nikolai Beliaev
Source: Lecture Notes in Computer Science ISBN: 9783032067500
-
4
Authors: et al.
Contributors: et al.
Source: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221
Subject Terms: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://hal.science/hal-04814885v1
-
5
Authors: et al.
Source: ACM Transactions on Embedded Computing Systems.
-
6
Authors: et al.
Source: ISC High Performance 2024 Research Paper Proceedings (39th International Conference). :1-12
Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, Distributed, Parallel, and Cluster Computing (cs.DC)
Access URL: http://arxiv.org/abs/2306.17281
-
7
Authors:
Source: IEEE Access, Vol 12, Pp 23666-23694 (2024)
Subject Terms: Parallel computing, accelerators, parallel programming, 0202 electrical engineering, electronic engineering, information engineering, OpenMP, hybrid platform, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, heterogeneous platform, 7. Clean energy, TK1-9971
-
8
Authors: V. A. Bakhtin
Source: Mathematical Models and Computer Simulations. 16:S171-S180
-
9
Authors: et al.
Source: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :180-188
-
10
Authors:
Source: 2024 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW). :33-41
-
11
Authors: et al.
Source: 2024 International Conference on Networking, Sensing and Control (ICNSC). :1-6
-
12
-
13
Authors: et al.
Subject Terms: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC)
Access URL: http://arxiv.org/abs/2503.10516
-
14
Authors: et al.
Source: Vasconcelos, V T, Martins, F, López, H A & Yoshida, N 2022, ' A Type Discipline for Message Passing Parallel Programs ', ACM Transactions on Programming Languages and Systems, vol. 44, no. 4, 26 . https://doi.org/10.1145/3552519
Subject Terms: termination, dependent types, Parallel programs, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, message passing computation
File Description: application/pdf
-
15
Authors: et al.
Source: 2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD). :2466-2471
-
16
Authors:
Source: IEEE Transactions on Parallel and Distributed Systems. 34:623-638
Subject Terms: Performance (cs.PF), FOS: Computer and information sciences, Computer Science - Performance, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, 01 natural sciences
Access URL: http://arxiv.org/abs/2205.04190
-
17
Authors:
Source: Informacionnye Tehnologii. 29:529-539
-
18
Authors:
Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 338-355 (2021)
Subject Terms: counterexamples, gpu programming, opencl, 0211 other engineering and technologies, parallel programs, Information technology, 02 engineering and technology, spin, T58.5-58.64, model checking, promela, 0202 electrical engineering, electronic engineering, information engineering, optimization problem, auto-tuning of parallel programs
-
19
Authors: Andrew M. Mironov
Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 394-412 (2021)
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, mpi, parallel programs, Information technology, 02 engineering and technology, verification, T58.5-58.64, distributed processes
-
20
Full Text Finder
Nájsť tento článok vo Web of Science