Search Results - Concurrent Programming—parallel programming General Terms Languages~
-
1
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
2
Authors: et al.
Contributors: et al.
File Description: 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
-
3
Authors:
Contributors:
File Description: application/pdf
-
4
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
5
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Theory
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior
File Description: 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
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—parallel programming General Terms Languages, Performance Keywords Programming Model, Concurrency Control, Data Coloring
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.2109
http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf -
11
Authors: Aleksandar Prokopec
Resource Type: eBook.
Categories: COMPUTERS / Languages / Java, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / Parallel
-
12
Authors:
Contributors:
Subject Terms: General Terms Languages, Theory Keywords denotational semantics, monad, operational semantics
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Source: http://ww2.cs.mu.oz.au/~sulzmann/publications/performance-concurrent-linked-list-haskell.pdf.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance
File Description: application/pdf
Availability: 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 -
14
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
15
Authors: Riccardo Terrell
Resource Type: eBook.
Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Microsoft, COMPUTERS / Languages / .NET
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior
File Description: 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
-
17
Authors: Elliot Forbes
Resource Type: eBook.
Categories: COMPUTERS / Languages / Python, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior
File Description: 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
-
19
Authors: Dr. Gabriele Lanaro
Resource Type: eBook.
Categories: COMPUTERS / Languages / Python, COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel
-
20
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Nájsť tento článok vo Web of Science