Search Results - "Concurrent programming structures"
-
1
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems
Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences
File Description: application/pdf
-
2
Authors:
Source: Workshops in Computing ISBN: 9783540197331
-
3
Authors:
Source: Proceedings of the ACM on Programming Languages. 3:1-29
Subject Terms: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/ -
4
Authors: et al.
Contributors: et al.
Subject Terms: parallelism, Software and its engineering → Concurrent programming structures, concurrency, ddc:004, do-notation, effects, Software and its engineering → Domain specific languages, Software and its engineering → Parallel programming languages
File Description: application/pdf
-
5
Authors: Anonymous Author(s)
Subject Terms: Software and its engineering, Concurrent programming languages, Concurrent programming structures
Relation: https://zenodo.org/records/16909800; oai:zenodo.org:16909800; https://doi.org/10.5281/zenodo.16909800
-
6
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 2:1-28
Subject Terms: Concurrent programming structures, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, 02 engineering and technology, Theory of computation
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3276514
https://eprints.mdx.ac.uk/25492/1/oopsla18main-p43-p-72a2fb3-38877-final.pdf
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BlackshearGOS18
https://dl.acm.org/doi/pdf/10.1145/3276514
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BlackshearGOS18
https://dl.acm.org/doi/10.1145/3276514
https://eprints.mdx.ac.uk/25492/
https://discovery-pp.ucl.ac.uk/id/eprint/10074292/ -
7
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01778656 ; 2019.
Subject Terms: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.10355; ARXIV: 1804.10355
-
8
Authors: et al.
Contributors: et al.
Source: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-01148318 ; ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Subject Terms: Mémoire partagée, Concurrence, Objet Partagé, Construction Universelle, Consensus, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO]Computer Science [cs]
Relation: info:eu-repo/grantAgreement//318809/EU/Large-scale Elastic Architecture for Data as a Service/LEADS; hal-01148318; https://hal.science/hal-01148318; https://hal.science/hal-01148318/document; https://hal.science/hal-01148318/file/paper%20%281%29.pdf
-
9
Authors:
Contributors:
File Description: application/pdf
-
10
Authors:
Contributors:
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
File Description: application/postscript
-
12
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: General Terms Languages, Theory Keywords Threads, Deadlock, Type Safety, Java
File Description: application/pdf
-
13
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
-
14
Authors:
Contributors:
Subject Terms: Algorithms, Measurement, Performance. Keywords Stack, non-blocking, lock-free, linked list, signal handler, interrupt handler, compare-and-swap, memory allocation
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Source: Modularity - 13th International Conference on Modularity ; https://inria.hal.science/hal-00872791 ; Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Lugano, Switzerland
-
16
Authors: Harrison, William
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 41 - 47
Subject Terms: service-oriented, aspect-oriented, programming language, middleware, concurrency, Data processing Computer science, Software Architectures (NEW), Data abstraction (NEW), Domain-specific architectures (NEW), Information hiding (NEW), Languages (e.g., description, interconnection, definition) (NEW), Patterns (e.g., client/server, pipeline, blackboard) (NEW), Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4138/
-
17
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31
Subject Terms: aspect oriented programming, program analysis, security policies, distributed systems, tuple spaces, Data processing Computer science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion, Security and Protection (K.6.5), Access controls, Authentication, Cryptographic controls, Information flow controls, Invasive software (e.g., viruses, worms, Trojan horses), Security kernels, Verification, Semantics of Programming Languages (D.3.1), Algebraic approaches to semantics, Denotational semantics, Operational semantics, Partial evaluation (NEW), Process models (NEW), Program analysis (NEW)
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4136/
-
18
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 9 - 17
Subject Terms: History of pattern occurrences, bug tracking, Herodotos, Coccinelle, Data processing Computer science, Metrics (D.4.8), Complexity measures, Performance measures, Process metrics (NEW), Product metrics (NEW), Software science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4132/
-
19
Authors:
Contributors:
Subject Terms: Trees, Tables, Records (NEW), Lists, stacks, and queues (REVISED), Graphs and networks (REVISED), Distributed data structures (NEW), Arrays, DATA STRUCTURES, Frameworks (NEW), Constraints (NEW), Control structures, Language Constructs and Features (E.2), Input/output, Patterns (NEW), Procedures, functions, and subroutines, Coroutines, Inheritance (NEW), Classes and objects (NEW), Data types and structures, Modules, packages, Polymorphism (NEW), Abstract data types, Dynamic storage management, Concurrent programming structures, Recursion
File Description: application/pdf
Relation: diss/z2016/0107; https://doi.org/10.17192/z2016.0107
-
20
Authors: et al.
Contributors: et al.
Source: 22nd European Symposium on Programming, ESOP 2013
https://inria.hal.science/hal-00811629
22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩Subject Terms: ACM: F.: Theory of Computation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Full Text Finder 
Nájsť tento článok vo Web of Science