Suchergebnisse - Language Constructs and Features- Concurrent programming structures General Terms~
-
1
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: Language Constructs and Features—concurrent programming structures General Terms, Languages Additional Key Words and Phrases, Ada tasking, distributed termination, master/dependent relation
Dateibeschreibung: 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
Autoren: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
6
Autoren: et al.
Quelle: Frontiers in Veterinary Science. 2025, p1-13. 13p.
HTML Volltext PDF-Volltext -
7
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
12
A Filter Model for Concurrent $\lambda$-Calculus: A filter model for concurrent \(\lambda\)-calculus
Autoren:
Quelle: SIAM Journal on Computing. 27:1376-1419
Schlagwörter: 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
Dateibeschreibung: application/xml
-
13
Quelle: Journal of Veterinary Internal Medicine. Mar2025, Vol. 39 Issue 2, p1-66. 66p.
HTML Volltext PDF-Volltext -
14
-
15
Autoren:
Quelle: Evolutionary Bioinformatics; 2019, p1-5, 5p
Schlagwörter: NUCLEOTIDE sequencing, C++, PROGRAMMING languages, SEQUENCE alignment, SOFTWARE frameworks
-
16
Autoren: Arvind Kumar Bansal
Resource Type: eBook.
Schlagworte: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc
Categories: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic
-
17
Autoren:
Quelle: IEEE Transactions on Software Engineering. Dec90, Vol. 16 Issue 12, p1361-1373. 13p. 2 Color Photographs.
Schlagwörter: *COMPUTER programming, *SOFTWARE engineering, *COMPUTER software, *COMPUTER systems, *COMPUTER networks
-
18
Autoren: et al.
Quelle: Animal Microbiome. 1/26/2023, Vol. 5 Issue 1, p1-22. 22p.
HTML Volltext PDF-Volltext -
19
Autoren: Husseini Orabi, Mahmoud
Thesis Advisors: Lethbridge, Timothy
Schlagwörter: Umple, Composite Structure, Distributed Systems, Real-time, Embedded, UML, RTOS, C++, Component-based development, ROOM
Verfügbarkeit: http://hdl.handle.net/10393/36452
-
20
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text