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

Associating synchronization constraints with data in an object-oriented language

Autori: Mandana Vaziri Frank Tip Julian Dolby a ďalší

Prispievatelia: Mandana Vaziri Frank Tip Julian Dolby a ďalší

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

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

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

Autori: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a ďalší

Prispievatelia: Shivali Agarwal Rajkishore Barik Rudrapatna K Shyamasundar a ďalší

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

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

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

Autori: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Mitsuhisa Sato The Pennsylvania State University CiteSeerX Archives

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

Popis súboru: application/pdf

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

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

Autori: Michel Charpentier

Typ zdroja: eBook.

Predmet: Computer multitasking, Object-oriented programming (Computer science)

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

A domain-specific approach to heterogeneous parallelism

Autori: Hassan Chafi Arvind K. Sujeeth Kevin J. Brown a ďalší

Prispievatelia: Hassan Chafi Arvind K. Sujeeth Kevin J. Brown a ďalší

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

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

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

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

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

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

Software Behavior Oriented Parallelization

Autori: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

Prispievatelia: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

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

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

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

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

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

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

Learning Concurrent Programming in Scala : Practical Multithreading in Scala

Autori: Aleksandar Prokopec

Typ zdroja: eBook.

Predmet: Scala (Computer program language), Application software--Development

Kategórie: COMPUTERS / Languages / Java, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / Parallel

Concurrent Programming—Parallel programming

Autori: Martín Abadi The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Martín Abadi The Pennsylvania State University CiteSeerX Archives

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

Predmety: General Terms Languages, Theory Keywords denotational semantics, monad, operational semantics

Popis súboru: application/pdf

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

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

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

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

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

Autori: Riccardo Terrell

Typ zdroja: eBook.

Predmet: Microsoft .NET Framework, Parallel programming (Computer science), Computer multitasking

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

Abstract Software Behavior Oriented Parallelization

Autori: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

Prispievatelia: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

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

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

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

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

Autori: Elliot Forbes

Typ zdroja: eBook.

Predmet: Application software--Development, Python (Computer program language)

Kategórie: COMPUTERS / Languages / Python, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel

Abstract Software Behavior Oriented Parallelization

Autori: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

Prispievatelia: Chen Ding Xipeng Shen Kirk Kelsey a ďalší

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

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

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

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

Autori: Dr. Gabriele Lanaro

Typ zdroja: eBook.

Predmet: Computer programming, Python (Computer program language)

Kategórie: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel

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