Search Results - theory of computation - parallel computing models
-
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: et al.
Contributors: et al.
Source: Logical Methods in Computer Science. 21
Subject Terms: FOS: Computer and information sciences, unambiguity, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), vector addition systems, determinism, Petri nets, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), bounded ambiguity, Theory of computation → Parallel computing models, language inclusion, 0202 electrical engineering, electronic engineering, information engineering, language equivalence, ddc:004, well-structured transition systems
File Description: application/pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Theory of computation → Parallel computing models, Mathematics of computing → Matroids and greedoids, Combinatorial Optimization, Parallel Algorithms, Theory of computation → Discrete optimization, Matroid Intersection, ddc:004, Theory of computation → Approximation algorithms analysis
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Parallel Programming, Compilers, Theory of computation → Parallel computing models, Precision Tuning, ddc:004, Software and its engineering → Compilers
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Source: Logical Methods in Computer Science, Vol Volume 16, Issue 4 (2020)
Subject Terms: termination, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic, counters, flat systems, [MATH] Mathematics [math], 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Computational Complexity (cs.CC), 01 natural sciences, computer science - logic in computer science, [SCCO.COMP] Cognitive science/Computer science, 0202 electrical engineering, electronic engineering, information engineering, Infinite state systems, BC1-199, FIFO, QA75.5-76.95, Logic in Computer Science (cs.LO), theory of computation - parallel computing models, Computer Science - Computational Complexity, Theory of computation - Parallel computing models, Electronic computers. Computer science, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], computer science - computational complexity, ddc:004, complexity, reachability
File Description: application/pdf
Access URL: http://arxiv.org/abs/1908.07282
https://lmcs.episciences.org/5999
https://doi.org/10.23638/lmcs-16(4:4)2020
https://hal.science/hal-04285325v1
https://doi.org/10.23638/lmcs-16(4:4)2020
https://hal.science/hal-02267453v1/document
https://hal.science/hal-02267453v1
https://doaj.org/article/2f04ec861fbf489a9fa1d88014193e29
https://hal.archives-ouvertes.fr/hal-02267453
http://dblp.uni-trier.de/db/conf/concur/concur2019.html#FinkelP19
https://drops.dagstuhl.de/opus/volltexte/2019/10914/
https://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-07282
https://hal.archives-ouvertes.fr/hal-02267453/document
https://drops.dagstuhl.de/opus/volltexte/2019/10914/pdf/LIPIcs-CONCUR-2019-12.pdf/
https://ui.adsabs.harvard.edu/abs/2019arXiv190807282F/abstract
https://arxiv.org/abs/1908.07282
https://arxiv.org/pdf/1908.07282v5
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.12 -
7
Authors: et al.
Contributors: et al.
Subject Terms: Theory of computation → Parallel computing models, vector addition systems, reachability problem, Petri nets, ddc:004
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
-
9
-
10
Authors:
Source: PLOS ONE. 11(3)
Subject Terms: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), 40 Engineering (for-2020), 34 Chemical Sciences (for-2020), 5.1 Pharmaceuticals (hrcs-rac), 1.1 Normal biological development and functioning (hrcs-rac), Animals (mesh), Computer Simulation (mesh), Drug Evaluation, Preclinical (mesh), Humans (mesh), Ion Channels (mesh), Models, Molecular (mesh), Pharmaceutical Preparations (mesh), Animals (mesh), Humans (mesh), Ion Channels (mesh), Pharmaceutical Preparations (mesh), Drug Evaluation, Preclinical (mesh), Models, Molecular (mesh), Computer Simulation (mesh), Animals (mesh), Computer Simulation (mesh), Drug Evaluation, Preclinical (mesh), Humans (mesh), Ion Channels (mesh), Models, Molecular (mesh), Pharmaceutical Preparations (mesh), General Science & Technology (science-metrix)
File Description: application/pdf
-
11
Authors:
Source: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 8/1/2025, Vol. 481 Issue 2319, p1-29, 29p
-
12
Authors:
Source: Кібернетика та комп'ютерні технології, Iss 2, Pp 38-51 (2022)
Subject Terms: computer technologies, rounding error, sequential, parallel and quantum computing models, complexity estimate, Cybernetics, Q300-390
File Description: electronic resource
-
13
Authors: et al.
Source: NPJ Computational Materials; 11/17/2025, Vol. 11 Issue 1, p1-9, 9p
Subject Terms: PHOTOLUMINESCENCE, DENSITY functional theory, PHOTOEMISSION, POINT defects, PHONONS, MACHINE learning
-
14
Authors:
Source: Proceedings of the 2020 Forum for Specification & Design Languages (FDL) International Forum on Design Languages.
Subject Terms: models of computation, parallel simulation, dataflow, discrete event systems
File Description: electronic
-
15
Authors: et al.
Source: International Journal of Science for Global Sustainability (IJSGS); Oct2025, Vol. 11 Issue 3, p34-40, 7p
-
16
Authors: Teng, Shang-Hua
Source: ACM Transactions on Intelligent Systems & Technology; Dec2023, Vol. 14 Issue 6, p1-39, 39p
-
17
-
18
Authors: Cardone, Felice
Source: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p
-
19
Authors: et al.
Source: ACM Transactions on Programming Languages and Systems. 39:1-38
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.2.4, Program analysis, 02 engineering and technology, Static analysis, program synthesis, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, weak memory, Parallel computing models, 0202 electrical engineering, electronic engineering, information engineering, concurrency, Theory of computation
Access URL: http://arxiv.org/abs/1312.1411
https://discovery.ucl.ac.uk/id/eprint/1568617/
https://ora.ox.ac.uk/objects/uuid:180130bb-0ce3-4fcd-8a72-12d60f5cf05f
http://doi.org/10.1145/2994593
https://www.cs.ox.ac.uk/publications/publication8763-abstract.html
https://dl.acm.org/doi/10.1145/2994593
https://dl.acm.org/citation.cfm?id=2994593
https://ora.ox.ac.uk/objects/uuid:180130bb-0ce3-4fcd-8a72-12d60f5cf05f
https://discovery-pp.ucl.ac.uk/id/eprint/1568617/ -
20
Authors: K.R. Chowdhary
Resource Type: eBook.
Subjects: Machine theory
Categories: COMPUTERS / General, COMPUTERS / Computer Science
Full Text Finder 
Nájsť tento článok vo Web of Science