Výsledky vyhledávání - Concurrent Programming—parallel programming General Terms Languages

Associating synchronization constraints with data in an object-oriented language

Autoři: Mandana Vaziri Frank Tip Julian Dolby a další

Přispěvatelé: Mandana Vaziri Frank Tip Julian Dolby a další

Zdroj: http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435
http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Concurrent Programming—Parallel Programming General Terms Languages, Verification

Autoři: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a další

Přispěvatelé: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a další

Zdroj: http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.742; http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.742
http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/agarwal.pdf

Concurrent programming structures. D.1.3 [Software]: Concurrent Programming – Parallel Programming General Terms: Languages, Performance

Autoři: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p109.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.2770
http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/isss02/pdffiles/p109.pdf

Functional and Concurrent Programming : Core Concepts and Features

Autoři: Michel Charpentier

Resource Type: eBook.

Témata: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

A domain-specific approach to heterogeneous parallelism

Autoři: Hassan Chafi Arvind K. Sujeeth Kevin J. Brown a další

Přispěvatelé: Hassan Chafi Arvind K. Sujeeth Kevin J. Brown a další

Zdroj: http://ppl.stanford.edu/papers/ppopp20-chafi.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.4 [Programming Languages, Processors – Code generation, Opti- mization, Run-time environments General Terms Languages, Performance Keywords Parallel Programming, Domain-Specific Languages, Dynamic Optimizations

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.4729
http://ppl.stanford.edu/papers/ppopp20-chafi.pdf

Semantics of transactional memory and automatic mutual exclusion

Autoři: Martín Abadi Andrew Birrell Tim Harris a další

Přispěvatelé: Martín Abadi Andrew Birrell Tim Harris a další

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

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

Popis souboru: application/pdf

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

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

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

Autoři: Tayfun Elmas Ali Sezgin Serdar Tasiran a další

Přispěvatelé: Tayfun Elmas Ali Sezgin Serdar Tasiran a další

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

Témata: 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 souboru: 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

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

Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.5798; http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.5798
http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf

Concurrency control with data coloring

Autoři: Luis Ceze Christoph Von Praun Pablo Montesinos a další

Přispěvatelé: Luis Ceze Christoph Von Praun Pablo Montesinos a další

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

Témata: 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 souboru: application/pdf

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

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

Parallel Execution of Multi-set Constraint Rewrite Rules

Autoři: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a další

Přispěvatelé: Martin Sulzmann Rued Langgaards Vej Edmund S. L. Lam a další

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

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

Popis souboru: application/pdf

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

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

Learning Concurrent Programming in Scala : Practical Multithreading in Scala

Autoři: Aleksandar Prokopec

Resource Type: eBook.

Témata: Scala (Computer program language), Application software--Development

Categories: COMPUTERS / Languages / Java, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / Parallel

Concurrent Programming—Parallel programming

Autoři: Martín Abadi The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Martín Abadi The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cse.ucsc.edu/~abadi/Papers/popl065-abadi.pdf.

Témata: General Terms Languages, Theory Keywords denotational semantics, monad, operational semantics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9537
http://www.cse.ucsc.edu/~abadi/Papers/popl065-abadi.pdf

Comparing the performance of concurrent linked-list implementations in haskell

Autoři: Martin Sulzmann Edmund S. L. Lam Simon Marlow a další

Přispěvatelé: Martin Sulzmann Edmund S. L. Lam Simon Marlow a další

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

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

Popis souboru: application/pdf

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

Dostupnost: 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

parallelizable programming instead?

Autoři: João Cachopo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: João Cachopo The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

Dostupnost: 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

Concurrency in .NET : Modern Patterns of Concurrent and Parallel Programming

Autoři: Riccardo Terrell

Resource Type: eBook.

Témata: Microsoft .NET Framework, Parallel programming (Computer science), Computer multitasking

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Microsoft, COMPUTERS / Languages / .NET

Abstract Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4100; http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4100
http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf

Learning Concurrency in Python : Build Highly Efficient, Robust, and Concurrent Applications

Autoři: Elliot Forbes

Resource Type: eBook.

Témata: Application software--Development, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel

Abstract Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9318; http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9318
http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf

Python High Performance, Second Edition : Build High-performing, Concurrent, and Distributed Applications

Autoři: Dr. Gabriele Lanaro

Resource Type: eBook.

Témata: Computer programming, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

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