Search Results - Language Constructs and Features- Concurrent programming structures General Terms*
-
1
Authors:
Contributors:
File Description: application/pdf
-
2
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
-
3
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
-
4
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
-
5
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
6
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-13. 13p.
HTML Full Text PDF Full Text -
7
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
-
8
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
-
9
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
-
10
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
-
11
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
-
12
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
-
13
Source: Journal of Veterinary Internal Medicine. Mar2025, Vol. 39 Issue 2, p1-66. 66p.
HTML Full Text PDF Full Text -
14
-
15
Authors:
Source: Evolutionary Bioinformatics; 2019, p1-5, 5p
Subject Terms: NUCLEOTIDE sequencing, C++, PROGRAMMING languages, SEQUENCE alignment, SOFTWARE frameworks
-
16
Authors: Arvind Kumar Bansal
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc
Categories: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic
-
17
Authors: Vikash Sharma
Resource Type: eBook.
Subjects: Object-oriented programming, Epitonium
Categories: COMPUTERS / Languages / Java, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / Tools
-
18
Authors:
Resource Type: eBook.
Subjects: Data structures (Computer science), Rust (Computer program language), Programming languages (Electronic computers)
Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms
-
19
Authors: Bonan Liu
Resource Type: eBook.
Categories: COMPUTERS / Programming / General, COMPUTERS / Languages / C++, COMPUTERS / Software Development & Engineering / General
-
20
Authors: James Cutajar
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Languages / C#
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text