Suchergebnisse - "• Theory of computation → Parallel algorithms"

MoMaS: Mold Manifold Simulation for real‐time procedural texturing

Autoren: F. Maggioli R. Marin S. Melzi et al.

Quelle: Computer Graphics Forum. 41:519-527

Schlagwörter: animated texture, CCS Concepts, GPU algorithm, Procedural texturing, slime mould, • Computing methodologies → Texturing, • Mathematics of computing → Geometric topology, • Theory of computation → Parallel algorithms, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11573/1673351

Verifying MPI Applications with SimGridMC

Autoren: Pham, The Anh Jéron, Thierry Quinson, Martin

Weitere Verfasser: Pham, The Anh Jéron, Thierry Quinson, Martin

Quelle: Proceedings of the First International Workshop on Software Correctness for HPC Applications. :28-33

Schlagwörter: • Theory of computation → Parallel algorithms, Ultra-large-scale systems, Software verification, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Dynamic analysis, Software and its engineering → Model checking, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Formal software verification, 16. Peace & justice

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-01632421/file/McSimGrid-correctness17.pdf
https://inria.hal.science/hal-01632421v1/document
https://doi.org/10.1145/3145344.3145345
https://inria.hal.science/hal-01632421v1
https://hal.archives-ouvertes.fr/hal-01632421v1
https://doi.org/10.1145/3145344.3145345
https://dblp.uni-trier.de/db/conf/sc/correctness2017.html#PhamJQ17
https://hal.inria.fr/hal-01632421/document
https://dl.acm.org/doi/10.1145/3145344.3145345
https://hal.inria.fr/hal-01632421

High Performance Computing Experiments in Enumerative and Algebraic Combinatorics

Autoren: Hivert, Florent

Weitere Verfasser: Hivert, Florent

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

Schlagwörter: [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

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