Search Results - Concurrent Programming—Parallel pro- programming Keywords~
-
1
Authors: et al.
Contributors: et al.
Source: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :429-442
Subject Terms: QA75, QA75 Electronic computers. Computer science, C0 [General]: Modeling of computer architecture, ~DC~, Mixed-size, NDAS, ISA, 02 engineering and technology, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], F31 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs Keywords Relaxed Memory Models, mixed-size, Relaxed Memory Models, 0202 electrical engineering, electronic engineering, information engineering, BDC, D13 [Programming Techniques]: Con- current Programming—Parallel programming, semantics, R2C
File Description: application/pdf
Access URL: https://kar.kent.ac.uk/64723/1/mixed-size.pdf
https://inria.hal.science/hal-01413221v1
https://research-repository.st-andrews.ac.uk/handle/10023/9901
https://hal.inria.fr/hal-01413221
https://dl.acm.org/doi/pdf/10.1145/3009837.3009839
https://hal.inria.fr/hal-01413221/document
https://doi.org/10.1145/3009837.3009839
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
https://hdl.handle.net/10023/9901 -
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1 [Programming Techniques, Concurrent Programming—Parallel program- ming, D.1 [Programming Techniques, Object-oriented Programming Keywords object, session types, linear types, process, pro
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Program- ming Techniques, Concurrent Programming—Parallel pro- gramming Keywords, Memory Contention, Parallel Programming Permission to make digital or hard copies of
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8075; http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Program- ming, D.2.5 [Software Engineering, Testing and Debug- ging – Debugging Aids, D.4.1 [Operating Systems, Pro- cess Management – Synchronization General Terms Design, Reliability, Performance Keywords Deterministic Multithreading, Determinism, Parallel Programming, Debugging, Multicore
File Description: application/pdf
-
5
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
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel Programming, D.2.5 [Software Engineering, Testing and Debugging – Debugging Aids, D.4.0 [Operating Systems, General General Terms Design, Reliability, Performance Keywords Data Race Detection, Debugging, Multicore
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— parallel programming General Terms Design, Performance Keywords Contention Intensity, Parallelism, Performance, Transaction Effec- tiveness, Transactional Memory Systems
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors Software [Programming Techniques, Concurrent Programming— Parallel Programming, Software [Programming Languages, Pro- cessors—Compilers General Terms Algorithms, Design, Performance Keywords Automatic parallelization, semantic annotations
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.8490; http://www.cs.qub.ac.uk/~H.Vandierendonck/papers/plx_scopes11.pdf
-
9
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, Pro- cessors—Code Generation, Compilers Keywords DSL, Multicore, SIMD, Split Tiling, Stencils
File Description: application/pdf
-
10
Authors: Kanjilal, Joydip
Source: CODE Magazine; Nov/Dec2024, p58-74, 17p, 39 Color Photographs
-
11
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
12
-
13
Authors: et al.
Source: International Journal of Parallel Programming; Dec2024, Vol. 52 Issue 5/6, p400-453, 54p
Subject Terms: PARALLEL programming, REPRESENTATIONS of graphs, PARALLEL processing, STRUCTURAL frames, MEERKAT
-
14
Authors: Nir Dobovizki
Resource Type: eBook.
Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Parallel, COMPUTERS / Programming / Macintosh
-
15
Authors:
Source: Electronics (2079-9292); Apr2025, Vol. 14 Issue 7, p1331, 28p
-
16
Authors: Brenden Matthews
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel
-
17
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, run- time environments, compilers, optimization, D.4.8 [Operating Systems, Performance—measurements, monitors General Terms Performance, Algorithms, Measurement Keywords contention, multicore, cross-core interference, dy- namic techniques, online adaptation, execution runtimes
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— Parallel programming, D.4.1 [Process Management, Concur- rency, Threads, D.4.8 [Performance, Measurements General Terms Design, Experimentation, Measurement, Performance Keywords web servers, events, scalability, performance
File Description: application/pdf
-
19
Authors:
Source: Journal of the ACM; May2006, Vol. 53 Issue 3, p397-405, 27p
Subject Terms: HASHING, ALGORITHMS, COMPUTER programming, SOURCE code, COMPUTER software
-
20
Authors: Joe Duffy
Resource Type: eBook.
Subjects: Microsoft Windows (Computer file), Parallel programming (Computer science), Electronic data processing--Distributed processi, Computer multitasking
Nájsť tento článok vo Web of Science 
Full Text Finder