Výsledky vyhľadávania - "Concurrent Programming — parallel programming General Terms Languages"

An annotation assistant for interactive debugging of programs with common synchronization idioms

Autori: Tayfun Elmas Ali Sezgin Serdar Tasiran a ďalší

Prispievatelia: Tayfun Elmas Ali Sezgin Serdar Tasiran a ďalší

Zdroj: http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf.

Predmety: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging — debugging aids, diagnostics, D.2.4 [Software Engineering, Software/Program Verification — assertion checkers, formal methods, D.1.3 [Programming Tech- niques, Concurrent Programming — parallel programming General Terms Languages, Theory, Verification Keywords Concurrent Programs, Atomicity, Synchronization Id

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.2360; http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.2360
http://portal.ku.edu.tr/~stasiran/publications/padtad09.pdf

Concurrency control with data coloring

Autori: Luis Ceze Christoph Von Praun Pablo Montesinos a ďalší

Prispievatelia: Luis Ceze Christoph Von Praun Pablo Montesinos a ďalší

Zdroj: http://www.in.ohm-hochschule.de/professors/praun/pubs/mspc08.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—parallel programming General Terms Languages, Performance Keywords Programming Model, Concurrency Control, Data Coloring

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.8445
http://www.in.ohm-hochschule.de/professors/praun/pubs/mspc08.pdf

Semantics of transactional memory and automatic mutual exclusion

Autori: Martín Abadi Andrew Birrell Tim Harris a ďalší

Prispievatelia: Martín Abadi Andrew Birrell Tim Harris a ďalší

Zdroj: http://research.microsoft.com/~tharris/papers/2008-popl.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Theory

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.3656
http://research.microsoft.com/~tharris/papers/2008-popl.pdf

Parallel Execution of Multi-set Constraint Rewrite Rules

Autori: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a ďalší

Prispievatelia: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a ďalší

Zdroj: http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.2109
http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf

Comparing the performance of concurrent linked-list implementations in haskell

Autori: Martin Sulzmann Edmund S. L. Lam Simon Marlow a ďalší

Prispievatelia: Martin Sulzmann Edmund S. L. Lam Simon Marlow a ďalší

Zdroj: http://ww2.cs.mu.oz.au/~sulzmann/publications/performance-concurrent-linked-list-haskell.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.598.4249
http://ww2.cs.mu.oz.au/~sulzmann/publications/performance-concurrent-linked-list-haskell.pdf

R.: Deterministic Parallelism via Liquid Effects

Autori: Ming Kawaguchi Patrick Rondon Alexander Bakst a ďalší

Prispievatelia: Ming Kawaguchi Patrick Rondon Alexander Bakst a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

parallelizable programming instead?

Autori: João Cachopo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: João Cachopo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Performance Keywords Automatic parallelization, Thread-Level Speculation, Software Transactional Memory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9437; http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9437
http://gee.cs.oswego.edu/dl/html/cap/cap100_submission_1.pdf

Deterministic Parallelism via Liquid Effects ∗

Autori: Ming Kawaguchi Patrick Rondon Alexander Bakst a ďalší

Prispievatelia: Ming Kawaguchi Patrick Rondon Alexander Bakst a ďalší

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

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

Popis súboru: application/pdf

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

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