Suchergebnisse - Concurrent programming structures

Elastic Relaxation of Concurrent Data Structures

Autoren: von Geijer, Kåre Tsigas, Philippas

Quelle: Anpassad datastruktursemantik för skalbar processering av data IEEE Transactions on Parallel and Distributed Systems. 36(12):2578-2595

Schlagwörter: Data Structures, Concurrent Programming, Semantics

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/547547
https://research.chalmers.se/publication/547547/file/547547_Fulltext.pdf

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoren: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Weitere Verfasser: Din, Crystal Hähnle, Reiner Henrio, Ludovic et al.

Quelle: ACM Transactions on Programming Languages and Systems

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

Boundary-Aware Concurrent Queue: A Fast and Scalable Concurrent FIFO Queue on GPU Environments

Autoren: Md. Sabbir Hossain Polak David A. Troendle Byunghyun Jang

Quelle: Applied Sciences, Vol 15, Iss 4, p 1834 (2025)

Schlagwörter: GPGPU, concurrent queues, concurrent data structures, concurrent programming, parallel programming, strict First-In-First-Out (FIFO), Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/4/1834; https://doaj.org/toc/2076-3417

Zugangs-URL: https://doaj.org/article/ef13cab12f2c463e84f5a7abfa5cef76

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Autoren: Cruz, Flavio Rocha, Ricardo Goldstein, Seth Copen et al.

Index Begriffe: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1405.3556

A history of the Oz multiparadigm language

Autoren: Van Roy, Peter Haridi, Seif Schulte, Christian et al.

Quelle: Proceedings of the ACM on Programming Languages. 4(HOPL)

Schlagwörter: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

General Queueing Network Models with Variable Concurrent Programming Structures and Synchronisation

Autoren: Demetres D. Kouvatsos Andreas Skliros

Quelle: Workshops in Computing ISBN: 9783540197331

Zugangs-URL: https://rd.springer.com/chapter/10.1007/978-1-4471-3538-8_5
https://dblp.uni-trier.de/db/conf/ctpe/ctpe1991.html#KouvatsosS91
https://link.springer.com/chapter/10.1007/978-1-4471-3538-8_5
https://link.springer.com/10.1007/978-1-4471-3538-8_5

Type-directed optimization of communication of high-level data structures in concurrent programming languages / 並列言語の高レベルなデータの通信における型を利用した最適化について

Autoren: Naoki Kobayashi Toshihiro Shimizu 小林 直樹 et al.

Quelle: コンピュータ ソフトウェア / Computer Software. 1997, 14(2):2-185

Functional and Concurrent Programming : Core Concepts and Features

Autoren: Michel Charpentier

Resource Type: eBook.

Schlagworte: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Detecting Concurrent Blocking Bugs in Go via Controlled Replay

Autoren: Anonymous Author(s)

Schlagwörter: 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

Verfügbarkeit: https://doi.org/10.5281/zenodo.16909800
https://zenodo.org/records/16909800

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Autoren: Flávio Fernandes Cruz Ricardo Rocha Goldstein,SC et al.

Dateibeschreibung: application/pdf

Verfügbarkeit: http://repositorio.inesctec.pt/handle/123456789/3633

LAGC Semantics of Concurrent Programming Languages

Autoren: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic et al.

Index Begriffe: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2202.12195

Petri Nets for Concurrent Programming

Autoren: Rawson, Marshall Rawson, Michael

Index Begriffe: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Formal Languages and Automata Theory, text

URL: http://arxiv.org/abs/2208.02900

Synch: A framework for concurrent data-structures and benchmarks

Autoren: Kallimanis, Nikolaos D.

Index Begriffe: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Data Structures and Algorithms, text

URL: http://arxiv.org/abs/2103.16182

Abstractions for safe concurrent programming in networked embedded systems

Autoren: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Quelle: http://selab.csuohio.edu/~nsridhar/research/Papers/PDF/afscp.pdf.

Schlagwörter: Real-time and embedded systems, D.1.3 [Concurrent Pro- gramming, Parallel programming, D.3.3 [Language Con- structs and Features, Concurrent programming structures General Terms Design, Experimentation, Languages, Measurement, Per- formance Keywords Wireless sensor networks, multi-threading, programming methodology, static

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.6708; http://selab.csuohio.edu/~nsridhar/research/Papers/PDF/afscp.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.493.6708
http://selab.csuohio.edu/~nsridhar/research/Papers/PDF/afscp.pdf

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)

Autoren: Richter, David Böhler, Timon Weisenburger, Pascal et al.

Weitere Verfasser: Richter, David Böhler, Timon Weisenburger, Pascal et al.

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17

A true positives theorem for a static race detector

Autoren: Gorogiannis, N O'Hearn, PW Sergey, I

Quelle: Proceedings of the ACM on Programming Languages. 3:1-29

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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/

Concurrent Flexible Reversibility

Autoren: Lanese, Ivan Lienhardt, Michaël Mezzina, Claudio, Antares et al.

Weitere Verfasser: Lanese, Ivan Lienhardt, Michaël Mezzina, Claudio, Antares et al.

Quelle: 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⟩

Schlagwörter: 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]

Geographisches Schlagwort: Rome, Italy

Verfügbarkeit: https://inria.hal.science/hal-00811629
https://inria.hal.science/hal-00811629v1/document
https://inria.hal.science/hal-00811629v1/file/crop.pdf
https://doi.org/10.1007/978-3-642-37036-6_21

Understanding Control Flow : Concurrent Programming Using μC++ / by Peter A. Buhr.

Autoren: Buhr, Peter A. author. SpringerLink (Online service)

Index Begriffe: Computer science., Microprogramming., Computer software Reusability., Computer programming., Software engineering., Programming languages (Electronic computers)., Computer Science., Programming Languages, Compilers, Interpreters., Programming Techniques., Software Engineering., Performance and Reliability., Control Structures and Microprogramming., text

URL: Springer eBooks

Concurrent libraries with foresight

Autoren: Guy Golan-gueta G. Ramalingam Mooly Sagiv et al.

Weitere Verfasser: Guy Golan-gueta G. Ramalingam Mooly Sagiv et al.

Quelle: http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Concurrent programming structures, Data types and structures Keywords Concurrency, Composition, Transactions, Data Structures, Automatic Synchronization

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7801; http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7801
http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf

RacerD: compositional static race detection

Autoren: Blackshear, S Gorogiannis, N O'Hearn, P et al.

Quelle: Proceedings of the ACM on Programming Languages. 2:1-28

Schlagwörter: Concurrent programming structures, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, 02 engineering and technology, Theory of computation

Dateibeschreibung: application/pdf

Zugangs-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/