Výsledky vyhledávání - "Safe Parallel Programming"

Access Annotation for Safe Speculative Parallelization: Semantics and Support

Autoři: Ding, Chen (1970 - )

Témata: safe parallel programming, software speculative parallelization, race checking

Relation: http://hdl.handle.net/1802/14390

Dostupnost: http://hdl.handle.net/1802/14390

R.: Deterministic Parallelism via Liquid Effects

Autoři: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

Přispěvatelé: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

Zdroj: http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation, D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152; http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152
http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

Deterministic Parallelism via Liquid Effects ∗

Autoři: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

Přispěvatelé: Ming Kawaguchi Patrick Rondon Alexander Bakst a další

Zdroj: http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf.

Témata: Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.5773
http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf