Search Results - "KEYWORDS Multithreaded programming"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    High Performance Computing Experiments in Enumerative and Algebraic Combinatorics

    Authors: Hivert, Florent

    Contributors: Hivert, Florent

    Source: Proceedings of the International Workshop on Parallel Symbolic Computation. :1-4

    Subject Terms: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], • Theory of computation → Parallel algorithms, Combinatorics, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], com- binatorics, CCS CONCEPTS • Mathematics of computing → Mathematical software per- formance, 0102 computer and information sciences, 0101 mathematics, Permutations and combinations, computer algebra, work-stealing, 01 natural sciences, KEYWORDS Multithreaded programming

    Access URL: https://dblp.uni-trier.de/db/conf/issac/pasco2017.html#Hivert17
    https://dl.acm.org/citation.cfm?id=3115938
    https://dl.acm.org/doi/10.1145/3115936.3115938

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Rigorous concurrency analysis of multithreaded programs

    Authors: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom et al.

    Contributors: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom et al.

    Source: http://www.cs.utah.edu/~yyang/papers/thread.pdf.

    Subject Terms: Verification, Testing, Reliability Keywords Multithreaded programming, constraint solving, data races, race conditions, atomicity, memory consistency models, static

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.6187; http://www.cs.utah.edu/~yyang/papers/thread.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.6187
    http://www.cs.utah.edu/~yyang/papers/thread.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Rigorous Concurrency Analysis of Multithreaded Programs

    Authors: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom et al.

    Contributors: Yue Yang Ganesh Gopalakrishnan Gary Lindstrom et al.

    Source: http://www.cs.utah.edu/techreports/2003/ps/UUCS-03-026.ps.gz.

    Subject Terms: Languages, Verification, Reliability Keywords Multithreaded programming, constraint solving, data races

    File Description: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.5921

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.5921
    http://www.cs.utah.edu/techreports/2003/ps/UUCS-03-026.ps.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: