Search Results - "concurrent programming"
-
1
Authors:
Source: Anpassad datastruktursemantik för skalbar processering av data IEEE Transactions on Parallel and Distributed Systems. 36(12):2578-2595
Subject Terms: Data Structures, Concurrent Programming, Semantics
File Description: electronic
-
2
Authors:
Source: 2025 33rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). :364-371
-
3
Authors:
Contributors:
Source: urn:tid:204000017
Subject Terms: Concurrent programming, Java, Race conditions, Deadlocks, Detection tools, Atomicity violations, Programação concorrente, Ferramentas de deteção, Violações de atomicidade
File Description: application/pdf
Availability: http://hdl.handle.net/10400.22/30458
-
4
Authors: Ashok Lama Software Engineer
-
5
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
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Verification, Mailbox communication, ddc:004, Concurrent programming, Synchronizability
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Computational Logic. 25:1-40
Subject Terms: 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
File Description: application/pdf
-
8
Authors:
Source: Applied Sciences ; Volume 15 ; Issue 4 ; Pages: 1834
Subject Terms: GPGPU, concurrent queues, concurrent data structures, concurrent programming, parallel programming, strict First-In-First-Out (FIFO)
Subject Geographic: agris
File Description: application/pdf
Relation: Computing and Artificial Intelligence; https://dx.doi.org/10.3390/app15041834
Availability: https://doi.org/10.3390/app15041834
-
9
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
10
Authors:
Source: Informatics in Education, Vol 23, Iss 3, Pp 679-718 (2024)
Subject Terms: computer science education, Concurrent Programming, Concurrency Education, Multithreading, Misconceptions in programming, Special aspects of education, LC8-6691
File Description: electronic resource
-
11
Authors:
Source: Acta Electrotechnica et Informatica, Vol 23, Iss 2, Pp 19-27 (2023)
Subject Terms: 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
-
12
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 4(HOPL)
Subject Terms: 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)
File Description: print
-
13
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)
Authors:
Source: Lecture Notes in Computer Science. :269-273
Subject Terms: 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
File Description: print
-
14
Authors: Freiberger, Felix
Source: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1. :414-420
-
15
Authors: et al.
Source: Ateliers d'Anthropologie, Vol 54 (2024)
Subject Terms: generative art, incremental lability, haouking, Jean Rouch, Kim Kardashian, concurrent programming, Anthropology, GN1-890
File Description: electronic resource
-
16
Authors: et al.
Contributors: et al.
Source: Discrete Applied Mathematics. 325:9-36
Subject Terms: 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
File Description: application/pdf
Access URL: http://arxiv.org/abs/2007.08084
-
17
Authors: et al.
Contributors: et al.
Subject Terms: 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)
File Description: application/pdf
-
18
Authors:
Contributors:
Source: urn:tid:203607481
Subject Terms: Transactional memory, Concurrent programming, Hot spot optimisation, Memória transacional, Programação concorrente, Otimização de hot spots
File Description: application/pdf
Availability: https://hdl.handle.net/1822/92567
-
19
-
20
Authors: Hoey, James B.
Full Text Finder 
Nájsť tento článok vo Web of Science