Výsledky vyhledávání - "Concurrent Programming"

Elastic Relaxation of Concurrent Data Structures

Autoři: von Geijer, Kåre Tsigas, Philippas

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

Témata: Data Structures, Concurrent Programming, Semantics

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/547547
https://research.chalmers.se/publication/547547/file/547547_Fulltext.pdf

Exploring Student Misconceptions about Concurrency Using Sonic Pi

Autoři: Delzanno G. Guerrini G. Traversaro D.

Zdroj: 2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). :364-371

Témata: Computer Science Education, Concurrency Education, Concurrent Programming, Misconception in programming, Multithreading

Přístupová URL adresa: https://hdl.handle.net/11567/1262017
https://doi.org/10.1109/PDP66500.2025.00058

Análise de ferramentas para deteção de problemas de concorrência em Java: Um estudo comparativo

Analysis of tools for detecting concurrency issues in Java: A comparative study

Autoři: VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES Nogueira, Luis Miguel Pinho REPOSITÓRIO P.PORTO

Přispěvatelé: VIGÁRIO, LUÍS FERNANDO DA SILVA NUNES Nogueira, Luis Miguel Pinho REPOSITÓRIO P.PORTO

Zdroj: urn:tid:204000017

Témata: Concurrent programming, Java, Race conditions, Deadlocks, Detection tools, Atomicity violations, Programação concorrente, Ferramentas de deteção, Violações de atomicidade

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10400.22/30458

Multithreading in Java: Techniques for Concurrent Programming

Autoři: Ashok Lama Software Engineer

Témata: Java, Multithreading, Concurrency, Thread Lifecycle, Synchronization, ExecutorService, Race Conditions, Deadlock, Performance Optimization, Concurrent Programming

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoři: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Přispěvatelé: Din, Crystal Hähnle, Reiner Henrio, Ludovic 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

Přístupová URL adresa: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

On the Send-Synchronizability Problem for Mailbox Communication

Autoři: Delpy, Romain Muscholl, Anca Sutre, Grégoire a další

Přispěvatelé: Delpy, Romain Muscholl, Anca Sutre, Grégoire a další

Témata: Verification, Mailbox communication, ddc:004, Concurrent programming, Synchronizability

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.15

An Axiomatic Theory for Reversible Computation

Autoři: Ivan Lanese Iain Phillips Irek Ulidowski a další

Přispěvatelé: Ivan Lanese Iain Phillips Irek Ulidowski a další

Zdroj: ACM Transactions on Computational Logic. 25:1-40

Témata: FOS: Computer and information sciences, causal consistency, causal liveness, causal safety, labelled transition system with independence, Reversible computation, Computer Science - Logic in Computer Science, Labelled Transition System with Independence, 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Causal Consistency, 01 natural sciences, Logic in Computer Science (cs.LO), Process calculi, Reversible Computation, CCS Concepts: Theory of computation → Concurrency Process calculi • Computing methodologies → Concurrent programming languages Reversible Computation, Causal Safety

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2307.13360
https://inria.hal.science/hal-04575972v1
https://inria.hal.science/hal-04575972v1/document
https://doi.org/10.1145/3648474
https://dl.acm.org/doi/10.1145/3648474
https://doi.org/10.1145/3648474
https://hdl.handle.net/11585/969345

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

Autoři: Md. Sabbir Hossain Polak David A. Troendle Byunghyun Jang

Zdroj: Applied Sciences ; Volume 15 ; Issue 4 ; Pages: 1834

Témata: GPGPU, concurrent queues, concurrent data structures, concurrent programming, parallel programming, strict First-In-First-Out (FIFO)

Geografické téma: agris

Popis souboru: application/pdf

Relation: Computing and Artificial Intelligence; https://dx.doi.org/10.3390/app15041834

Dostupnost: https://doi.org/10.3390/app15041834

Automatic and Dynamic Visualization of Process-Based Concurrent Programs

Autoři: Farina, Daniel Augusto Rodrigues Campiolo, Rodrigo Rufino, José a další

Přispěvatelé: Farina, Daniel Augusto Rodrigues Campiolo, Rodrigo Rufino, José a další

Témata: Konva JS, System Programming, JSON, React JS, Concurrent Programming, BPMN, Inspector functions, Concurrent programming, Code instrumentation, E-Learning Tool, Canvas, Code Instrumentation, ddc:004, System programming, E-Learning tool, Inspector Functions, Python

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/10198/29615
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2024.6

'Hear' and 'Play' Students Misconceptions on Concurrent Programming using Sonic Pi

Autoři: Daniele Traversaro Giorgio Delzanno Giovanna Guerrini

Zdroj: Informatics in Education, Vol 23, Iss 3, Pp 679-718 (2024)

Témata: computer science education, Concurrent Programming, Concurrency Education, Multithreading, Misconceptions in programming, Special aspects of education, LC8-6691

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1648-5831; https://doaj.org/toc/2335-8971

Přístupová URL adresa: https://doaj.org/article/18a39bd717404c99ae7fdc1b92fdc8ba

A Tag-Based Solution for Safer Parallel STL Usage

Autoři: Barth Benjámin Szalay Richárd Porkoláb Zoltán

Zdroj: Acta Electrotechnica et Informatica, Vol 23, Iss 2, Pp 19-27 (2023)

Témata: standard template library, concurrent programming, parallel programming, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, c++ programming language, type safety, TK1-9971

Přístupová URL adresa: https://doaj.org/article/deee26fa9c3343abace3bb60be203c39

A history of the Oz multiparadigm language

Autoři: Van Roy, Peter Haridi, Seif Schulte, Christian a další

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

Témata: 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)

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333

Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)

Autoři: Huisman, M. Merz, S. Seceleanu, C.

Zdroj: Lecture Notes in Computer Science. :269-273

Témata: Case-studies, Concurrent and distributed systems, Concurrent programming, Distributed systems, Parallel code, Performance, Real-world, Safety and securities, Verification method, Verification-and-validation, Distributed computer systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-69178

pseuCo Book: An Interactive Learning Experience

Autoři: Freiberger, Felix

Zdroj: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1. :414-420

Témata: ddc:004, concurrent programming, 4. Education, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, computer science education, 02 engineering and technology, 10. No inequality, concurrency theory, interactive textbook, 0503 education

Table ronde autour d’une performance dans un panier en osier

Autoři: Baptiste Buob Jérémy Demesmaeker Laurence Maillot a další

Zdroj: Ateliers d'Anthropologie, Vol 54 (2024)

Témata: generative art, incremental lability, haouking, Jean Rouch, Kim Kardashian, concurrent programming, Anthropology, GN1-890

Popis souboru: electronic resource

Relation: https://journals.openedition.org/ateliers/19153; https://doaj.org/toc/2117-3869

Přístupová URL adresa: https://doaj.org/article/6457fbf03137429db3e79c967aaa634d

Local certification of graphs with bounded genus

Autoři: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro a další

Přispěvatelé: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro a další

Zdroj: Discrete Applied Mathematics. 325:9-36

Témata: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, 0102 computer and information sciences, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), Computer Science - Distributed, Parallel, and Cluster Computing, proof-labeling scheme, Local certification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], locally checkable proofs, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2007.08084

An automata-based approach for synchronizable mailbox communication

Autoři: Delpy, Romain Muscholl, Anca Sutre, Grégoire a další

Přispěvatelé: Delpy, Romain Muscholl, Anca Sutre, Grégoire a další

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), 68Q45, Verification, Computer Science - Formal Languages and Automata Theory, Mailbox communication, ddc:004, Concurrent programming, 7. Clean energy, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2407.06968
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.22

Concurrency hot spot optimisation in transactional memory

Autoři: Ribeiro, Rui André Santos Pereira, José Universidade do Minho

Přispěvatelé: Ribeiro, Rui André Santos Pereira, José Universidade do Minho

Zdroj: urn:tid:203607481

Témata: Transactional memory, Concurrent programming, Hot spot optimisation, Memória transacional, Programação concorrente, Otimização de hot spots

Popis souboru: application/pdf

Dostupnost: https://hdl.handle.net/1822/92567

ANALYSIS AND COMPARISON OF AUTOMATIC PARALLELIZATION TOOLS

Autoři: Daniel, Tiago Oliveira Costa

Témata: Parallelization, Concurrent Programming, OpenMP, Automation

Dostupnost: http://hdl.handle.net/11110/2739

Reversing an imperative concurrent programming language

Autoři: Hoey, James B.

Témata: 005.13, Imperative Concurrent Programming Language, reversible executions, programming, Structured Operational Semantics

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554