Suchergebnisse - D.1.3 [Concurrent Programming]: Parallel Programming
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Compilers, Optimization Languages, Performance, Design, Experimenta- General Terms tion Keywords Implicit parallelism, semantic commutativity, programming model, automatic parallelization
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696; http://liberty.princeton.edu/Publications/pldi11_commset.pdf
-
2
Autoren:
Weitere Verfasser:
Schlagwörter: Real-time and embedded systems, D.1.3 [Concurrent Pro- gramming, Parallel programming, D.3.3 [Language Con- structs and Features, Concurrent programming structures General Terms Design, Experimentation, Languages, Measurement, Per- formance Keywords Wireless sensor networks, multi-threading, programming methodology, static
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.6708; http://selab.csuohio.edu/~nsridhar/research/Papers/PDF/afscp.pdf
-
3
Autoren:
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Zugangs-URL: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf -
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Software, Programming Techniques—concurrent programming
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Dateibeschreibung: application/postscript
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5739; http://www.cag.csail.mit.edu/~rinard/paper/toplas98.ps
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Software, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Compilers, Run-time environments General Terms Design, Performance Keywords automatic parallelization, code generation, compiler, flexible, multicore, parallel, performance portability, run-time, adaptivity
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.6803; http://liberty.princeton.edu/Publications/pldi12_parcae.pdf
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: D.1.3 [Concurrent Programming, Parallel programming, D.3.3
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming- Parallel Programming Keywords
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://www1.ju.edu.jo/ecourse/cpestcourse/readings/Programming for Parallelism and Locality with Hierarchically Tiled Arrays.pdf.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming, D.3.3 [Programming Lan- guages, Language Constructs and Features General Terms Language Keywords Parallel programming, data-parallel, locality enhance- ment
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.521.7988; http://www1.ju.edu.jo/ecourse/cpestcourse/readings/Programming for Parallelism and Locality with Hierarchically Tiled Arrays.pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.521.7988
http://www1.ju.edu.jo/ecourse/cpestcourse/readings/Programming for Parallelism and Locality with Hierarchically Tiled Arrays.pdf -
11
Autoren:
Weitere Verfasser:
Schlagwörter: C.1.4 [Parallel Architectures]. D.1.3 [Concurrent Programming, Distributed programming, parallel programming. B.7.1 [Integrated Circuits, Microprocessors, Very Large Scale Integration (VLSI). General Terms Algorithms, Performance, Design. Keywords Multicore, Massively Parallel Processing, Parallel Architectures and Algorithms
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9033; http://kona.ee.pitt.edu/steve/Recent+Publications/DAC_2009.pdf
-
12
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 -
13
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—Software libraries, D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming General Terms Algorithms, Design, Languages, Standardization Keywords Parallel Algorithm Libraries
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.547.455; http://algo2.iti.kit.edu/singler/mcstl/parallelmode_se.pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.1.3 [Programming Techniques, Concurrent Programming — parallel programming. General Terms Performance, Design, Languages. Keywords Transactions
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2537; http://tcc.stanford.edu/publications/tcc_asplos2004.pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Software, Programming Techniques—Concurrent Programming, D.3.3 [Software, Programming Languages—Language Constructs and Features General Terms Languages, Performance Keywords Self-adjusting computation, Incremental memoization
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.571; http://jaeheon.info/papers/OOPSLA11.pdf
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— parallel programming, D.2.5 [Software Engineering, Testing and Debugging—debugging aids, E.1 [Data Structures, distributed data structures, G.2 [Discrete Mathematics, Graph Theory—graph algorithms
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— parallel programming, D.2.5 [Software Engineering, Testing and Debugging—debugging aids, E.1 [Data Structures, distributed data structures, G.2 [Discrete Mathematics, Graph Theory—graph algorithms
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.7098; http://supertech.csail.mit.edu/papers/sporder.pdf
-
18
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, C.1.2 [Processor Architectures, Multiple Data Stream Architectures, C.4 [Computer Systems Organization, Performance of Systems---modeling techniques, D.1.3 [Programming Techniques, Concurrent Programming---parallel programming General Terms, Experimentation, Parallel Computation Models, Performance Evaluation
Dateibeschreibung: application/postscript
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory- semantics, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs- assertions, invariants Key Words and Phrases, Programming methodology, parallel programming, formal specification of problems, relational semantics, UNITY, compositionality
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.8569; http://www.elte.hu/~kto/papers/Anyagok/finland.ps
Nájsť tento článok vo Web of Science 
Full Text Finder