Search Results - language construct and features- concurrent programming structures general terms*
-
1
Authors:
Contributors:
File Description: application/pdf
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classica- tions|Concurrent, distributed, and parallel languages, D.3.3 [Programming Languages, Lan- guage Constructs and Features|Concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Compositionality
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559; http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques] Applicative (functional) programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.2 [Programming Languages, Language Classifications- Concurrent, distributed, and parallel languages, ML, D.3.3 [Programming Languages, Language Constructs and Features- Concurrent programming structures General Terms, Design, Languages, Theory Keywords, Asynchrony, Concurrent ML, First-Class Events, Composability, Message-Passing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2953; http://www.cs.purdue.edu/homes/suresh/papers/pldi11.pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.4.2 [Operating Systems, Storage Management – Allocation/Deallocation strategies, Garbage collection, D.3.3 [Programming Languages, Language Constructs and Features – Concurrent programming structures General Terms Algorithms, Design, Experimentation, Management, Measurement, Performance Keywords barrier elimination, private heaps, parallel and concurrent collection
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.4789; http://www.cs.purdue.edu/homes/suresh/papers/ismm12.pdf
-
5
Authors:
Contributors:
Subject Terms: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.1790; http://www.cse.msu.edu/~ldillon/Sel_pubs/taskDependenceAndTerminationInAda.pdf
-
6
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
7
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-13. 13p.
HTML Full Text PDF Full Text -
8
Authors: et al.
Source: International Journal of Mental Health & Addiction; Oct2024, Vol. 22 Issue 5, p3262-3282, 21p
-
9
Authors:
Source: Social Indicators Research; Jan2025, Vol. 176 Issue 1, p337-411, 75p
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Concurrent Abstract Predicates, Concurrency
File Description: application/pdf
-
11
Source: Intensive Care Medicine Experimental; 11/23/2025, Vol. 13 Issue 1, p1-863, 863p
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— Parallel programming, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms Design, Performance Keywords MPI, Interoperability, Endpoints, Hybrid Parallel Programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.9184; http://www.mcs.anl.gov/~thakur/papers/endpoints.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.3 [Programming Languages, Language Constructs and Features– Concurrent programming structures General Terms, Design, Performance Keywords, One-sided Communication, MPI, GA, ARMCI, PGAS
File Description: application/pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent Programming Structures General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, Atomicity, Serializability, Synchronization, Dynamic Adaptivity, Machine Learning ACM Reference Format
File Description: application/pdf
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Separation Logic, Abduction, Frame Inference, Deterministic Parallelism
File Description: application/pdf
-
16
Authors: Alsubai, Shtwai
Source: Journal of Disability Research; Oct2025, Vol. 4 Issue 5, p1-30, 30p
-
17
Authors: et al.
Source: Nature Machine Intelligence; Dec2024, Vol. 6 Issue 12, p1594-1604, 11p
-
18
Authors: et al.
Source: Nature Machine Intelligence; Jul2025, Vol. 7 Issue 7, p1104-1118, 15p
-
19
A Filter Model for Concurrent $\lambda$-Calculus: A filter model for concurrent \(\lambda\)-calculus
Authors:
Source: SIAM Journal on Computing. 27:1376-1419
Subject Terms: nondeterminism, Logic in computer science, parallelism, Theory of programming languages, Semantics in the theory of computing, functional programming, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), concurrency, full abstraction, lambda-calculus, type-theoretic semantics, 0102 computer and information sciences, 01 natural sciences, operational semantics, Combinatory logic and lambda calculus, 0101 mathematics, semantics of untyped lambda calculus, powerdomain, Logical aspects of lattices and related structures
File Description: application/xml
-
20
Authors: et al.
Source: Water (20734441); Sep2025, Vol. 17 Issue 18, p2781, 24p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text