Výsledky vyhledávání - "concurrent programming structures"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Programming Languages and Systems
Témata: 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
Popis souboru: application/pdf
-
2
Autoři:
Zdroj: Workshops in Computing ISBN: 9783540197331
-
3
Autoři:
Zdroj: Proceedings of the ACM on Programming Languages. 3:1-29
Témata: 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)
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17
-
5
Autoři: Anonymous Author(s)
Témata: 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
Autoři: a další
Zdroj: Proceedings of the ACM on Programming Languages. 2:1-28
Témata: Concurrent programming structures, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, 02 engineering and technology, Theory of computation
Popis souboru: application/pdf
Přístupová URL adresa: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01778656 ; 2019.
Témata: 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
Autoři: a další
Přispěvatelé: a další
Zdroj: 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
Témata: 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
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
-
10
Autoři:
Přispěvatelé:
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis souboru: application/postscript
-
12
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: General Terms, Languages, Performance Additional Key Words and Phrases, Parallel computing, parallel programming languages
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: Algorithms, Measurement, Performance. Keywords Stack, non-blocking, lock-free, linked list, signal handler, interrupt handler, compare-and-swap, memory allocation
Popis souboru: application/pdf
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩
Témata: 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]
Geografické téma: Lugano, Switzerland
-
16
Autoři: Harrison, William
Zdroj: 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
Témata: 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
Popis souboru: application/pdf
Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4138/
-
17
Autoři: a další
Zdroj: 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
Témata: 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)
Popis souboru: application/pdf
Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4136/
-
18
Autoři: a další
Zdroj: 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
Témata: 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
Popis souboru: application/pdf
Dostupnost: http://opus.kobv.de/ubp/volltexte/2010/4132/
-
19
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: diss/z2016/0107; https://doi.org/10.17192/z2016.0107
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: 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⟩Témata: 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