Search Results - "Parallel Programming"

Suggested Topics within your search.
Refine Results
  1. 1
    Synthesis of parallel algorithms /

    Synthesis of parallel algorithms /

    Published 1993
    Subjects: “…Parallel programming (Computer science)…”
    Book

    Save to List
    Saved in:
  2. 2
    An implementation of a plasma physics application for distributed-memory supercomputers using a directive-based programming framework

    An implementation of a plasma physics application for distributed-memory supercomputers using a directive-based programming framework by Christian Asch, Emilio Francesquini, Esteban Meneses

    Published 2024-06-01
    Subjects: “…Parallel Programming…”
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    The SR programming language : concurrency in practice /

    The SR programming language : concurrency in practice / by Andrews, Gregory R.

    Published 1993
    Subjects:
    Book

    Save to List
    Saved in:
  4. 4
    New parallel architectures and languages

    New parallel architectures and languages by Aravinda

    Published 1993
    Subjects:
    Slide

    Save to List
    Saved in:
  5. 5
    Highly parallel computing /

    Highly parallel computing / by Almasi, George S., 1938-

    Published 1994
    Subjects: “…Parallel programming (Computer science)…”
    Book

    Save to List
    Saved in:
  6. 6
    An efficient omnidirectional image unwrapping approach

    An efficient omnidirectional image unwrapping approach by Said Bouhend, Chakib Mustapha Anouar Zouaoui, Adil Toumouh, Nasreddine Taleb

    Published 2025-06-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Tail Recursion Transformation in Functional Dataflow Parallel Programs

    Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

    Published 2015-02-01
    Subjects: “…functional dataflow parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    The System for Transforming the Code of Dataflow Programs into Imperative

    The System for Transforming the Code of Dataflow Programs into Imperative by Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

    Published 2021-06-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2015-03-01
    Subjects: “…functional data-flow parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Concurrent programming /

    Concurrent programming / by Burns, Alan, 1953-

    Published 1993
    Subjects: “…Parallel programming (Computer science)…”
    Book

    Save to List
    Saved in:
  11. 11
    Defect Detection and Correction in OpenMP: A Static Analysis and Machine Learning-Based Solution

    Defect Detection and Correction in OpenMP: A Static Analysis and Machine Learning-Based Solution by Norah A. Al-Johany, Fathy E. Eassa, Sanaa A. Sharaf, Eynas H. Balkhair, Sara M. Assiri

    Published 2025-01-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Automation of Formal Verification of Programs in the Pifagor Language

    Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

    Published 2015-08-01
    Subjects: “…functional data-flow parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Verification of Programs with Mutual Recursion in the Pifagor Language

    Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

    Published 2018-08-01
    Subjects: “…data driven functional parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    MULTI-CHANNEL CONTROL SYSTEM FOR IN-SITU LABORATORY LOADING DEVICES

    MULTI-CHANNEL CONTROL SYSTEM FOR IN-SITU LABORATORY LOADING DEVICES by Václav Rada, Tomáš Fíla, Petr Zlámal, Daniel Kytýř, Petr Koudelka

    Published 2018-10-01
    Subjects: “…CNC, controlling, LinuxCNC, Python Interface, Python, parallel programming, Qt, PyQt, Qwt, PythonQwt, LabJack…”
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Loop-invariant Optimization in the Pifagor Language

    Loop-invariant Optimization in the Pifagor Language by Vladimir S. Vasilev, Alexander I. Legalov

    Published 2018-08-01
    Subjects: “…data driven functional parallel programming…”
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

    Published 2021-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

    DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS by Olga F. Babakhyan

    Published 2011-08-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

    A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs by Andrew M. Mironov

    Published 2021-12-01
    Subjects: “…parallel programs…”
    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    Parallel algorithm for calculating the integration.

    Parallel algorithm for calculating the integration. by Ehab Alasadi

    Published 2025-06-01
    Subjects: “…parallel program…”
    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Autotuning Parallel Programs by Model Checking

    Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

    Published 2021-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: