Suchergebnisse - "Concurrent Programming—Parallel Programming General Terms Languages"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—parallel programming General Terms Languages, Performance Keywords Programming Model, Concurrency Control, Data Coloring
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming General Terms Languages, Theory
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance
Dateibeschreibung: application/pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.563.2109
http://ww2.cs.mu.oz.au/~sulzmann/publications/parallel-chr.pdf -
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://ww2.cs.mu.oz.au/~sulzmann/publications/performance-concurrent-linked-list-haskell.pdf.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming—Parallel Programming General Terms Languages, Performance
Dateibeschreibung: application/pdf
Verfügbarkeit: 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 -
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
7
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science