Search Results - "parallel programming system"

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

Authors: D. A. Kondratyev

Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 372-393 (2021)

Subject Terms: symbolic method of verification of definite iterations, cloud parallel programming system, 0202 electrical engineering, electronic engineering, information engineering, loop invariant, c-lightver, Information technology, 0102 computer and information sciences, 02 engineering and technology, deductive verification, T58.5-58.64, 01 natural sciences, acl2

Access URL: https://www.mais-journal.ru/jour/article/download/1566/1196
https://doaj.org/article/ff6a7cc2c6214b5c8b4e028660412423

Towards verification of scientific and engineering programs. The CPPS project

Source: Вычислительные технологии. :91-106

Subject Terms: ACL2, cloud parallel programming system, 0211 other engineering and technologies, loop invariant, 02 engineering and technology, Cloud-Sisal-kernel, облачная система параллельного программирования, deductive verification, инвариант цикла, 0202 electrical engineering, electronic engineering, information engineering, Cloud-Sisal, Cloud Sisal, C-lightVer, дедуктивная верификация

АВТОМАТИЧЕСКОЕ КОНСТРУИРОВАНИЕ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ ДЛЯ ЗАДАЧ РАЗРЕЖЕННОЙ ЛИНЕЙНОЙ АЛГЕБРЫ В СИСТЕМЕ LUNA

Authors: Беляев H.А.

Subject Terms: parallel preconditioner, fragmented programming, parallel run-time system, параллелизм уровня задач, parallel program synthesis, DAG, конструирование параллельной программы, parallel programming system, task based parallelism, параллельная реализация предобуславливателя, граф задач

Enterprise User's Manual Version 2.4

Authors: MacDonald, Steve Schaeffer, Jonathan Novillo, Diego et al.

Subject Terms: User manual, Enterprise parallel programming system

Availability: https://era.library.ualberta.ca/items/b192e478-e5ac-46a6-bd60-78f995152f4b
https://doi.org/10.7939/R32V2CC86

Enterprise User's Manual Version 2.2

Authors: Iglinski, Paul Smith, Carol Morrow, Chris et al.

Subject Terms: Users manual, Enterprise parallel programming system

Availability: https://era.library.ualberta.ca/items/0719585c-8d31-4d8c-bcdc-bd71bd94b98d
https://doi.org/10.7939/R3TX3568C

Realization of the particle-in-cell method for MIMD computers

Authors: Malyshkin, V. E. Vshivkov, V. A. Kraeva, M. A.

Subject Terms: assembly parallel programming system, Complexity and performance of numerical algorithms, Other numerical methods (fluid mechanics), parallel realization of the particle-in-cell method, Ionized gas flow in electromagnetic fields, plasmic flow, Parallel numerical computation, interaction of rarefied plasma flows

File Description: application/xml

Access URL: https://zbmath.org/1286131