Search Results - D.1.3 [Concurrent Programming]: Parallel Programming~
-
1
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Subject Terms: 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)
Access 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
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Software, Programming Techniques—concurrent programming
File Description: application/pdf
-
5
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: application/postscript
-
6
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: D.1.3 [Concurrent Programming, Parallel programming, D.3.3
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming- Parallel Programming Keywords
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: http://www1.ju.edu.jo/ecourse/cpestcourse/readings/Programming for Parallelism and Locality with Hierarchically Tiled Arrays.pdf.
Subject Terms: 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
File Description: 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
Availability: 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
Authors:
Contributors:
Subject Terms: 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
File Description: 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
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 -
13
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming — parallel programming. General Terms Performance, Design, Languages. Keywords Transactions
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.571; http://jaeheon.info/papers/OOPSLA11.pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/postscript
-
20
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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