Výsledky vyhľadávania - Theory of computation - Parallel computing models

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autori: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Prispievatelia: Din, Crystal Hähnle, Reiner Henrio, Ludovic a ďalší

Zdroj: ACM Transactions on Programming Languages and Systems

Predmety: 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 súboru: application/pdf

Prí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

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

Autori: Czerwiński, Wojciech Hofman, Piotr Wojciech Czerwiński and Piotr Hofman a ďalší

Prispievatelia: Czerwiński, Wojciech Hofman, Piotr Wojciech Czerwiński and Piotr Hofman a ďalší

Zdroj: Logical Methods in Computer Science. 21

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2202.08033
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.16

Sublinear-Round Parallel Matroid Intersection

Autori: Blikstad, Joakim Joakim Blikstad Bojańczyk, Mikołaj a ďalší

Prispievatelia: Blikstad, Joakim Joakim Blikstad Bojańczyk, Mikołaj a ďalší

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.25

Precision Tuning in Parallel Applications

Autori: Magnani, Gabriele Denisov, Lev Cattaneo, Daniele a ďalší

Prispievatelia: Magnani, Gabriele Denisov, Lev Cattaneo, Daniele a ďalší

Predmety: Parallel Programming, Compilers, Theory of computation → Parallel computing models, Precision Tuning, ddc:004, Software and its engineering → Compilers

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2022.5
https://drops.dagstuhl.de/opus/volltexte/2022/16121/
https://hdl.handle.net/11311/1217631
https://doi.org/10.4230/oasics.parma-ditam.2022.5

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Autori: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a ďalší

Prispievatelia: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a ďalší

Predmety: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Verification of Flat FIFO Systems

Autori: Finkel, Alain Praveen, M. FINKEL, Alain a ďalší

Prispievatelia: Finkel, Alain Praveen, M. FINKEL, Alain a ďalší

Zdroj: Logical Methods in Computer Science, Vol Volume 16, Issue 4 (2020)

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Improved Lower Bounds for Reachability in Vector Addition Systems

Autori: Czerwiński, Wojciech Lasota, Sławomir Orlikowski, Łukasz a ďalší

Prispievatelia: Czerwiński, Wojciech Lasota, Sławomir Orlikowski, Łukasz a ďalší

Predmety: Theory of computation → Parallel computing models, vector addition systems, reachability problem, Petri nets, ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.128

enInvolved VASS Zoo (Invited Talk)

Autori: Czerwiński, Wojciech Klin, Bartek Lasota, Sławomir a ďalší

Prispievatelia: Czerwiński, Wojciech Klin, Bartek Lasota, Sławomir a ďalší

Predmety: vector addition systems, Theory of computation → Parallel computing models, reachability problem, examples, low dimensions

Static guarantees for coordinated components : a statically typed composition model for stream-processing networks

Autori: Penczek, Frank

Predmety: 005.13, progamming languages, type theory, distributed and parallel computing, runtime systems, formal semantics, language design and implementation

Prístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573321

Parameterization for In-Silico Modeling of Ion Channel Interactions with Drugs

Autori: Moreno, Jonathan D Lewis, Timothy J Clancy, Colleen E

Zdroj: PLOS ONE. 11(3)

Predmety: 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)

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/98k4c5zk
https://escholarship.org/content/qt98k4c5zk/qt98k4c5zk.pdf

The semi-analytic theory and computation of finite-depth standing water waves.

Autori: Abassi, Ahmad Wilkening, Jon

Zdroj: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 8/1/2025, Vol. 481 Issue 2319, p1-29, 29p

Predmety: STANDING waves, BIFURCATION theory, ASYMPTOTIC expansions, PADE approximant, SUPERCOMPUTERS, RECURSIVE functions, THEORY of wave motion

Models of Computer Calculations

Autori: Valerii Zadiraka Oleksandr Khimich Inna Shvidchenko

Zdroj: Кібернетика та комп'ютерні технології, Iss 2, Pp 38-51 (2022)

Predmety: computer technologies, rounding error, sequential, parallel and quantum computing models, complexity estimate, Cybernetics, Q300-390

Popis súboru: electronic resource

Relation: http://cctech.org.ua/13-vertikalnoe-menyu-en/365-abstract-22-2-4-arte; https://doaj.org/toc/2707-4501; https://doaj.org/toc/2707-451X

Prístupová URL adresa: https://doaj.org/article/7dafc2d19a324fb38329a5c139a6d4cf

Accelerating point defect photo-emission calculations with machine learning interatomic potentials.

Autori: Sharma, Kartikeya Loew, Antoine Wang, Haiyuan a ďalší

Zdroj: NPJ Computational Materials; 11/17/2025, Vol. 11 Issue 1, p1-9, 9p

Predmety: PHOTOLUMINESCENCE, DENSITY functional theory, PHOTOEMISSION, POINT defects, PHONONS, MACHINE learning

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

Autori: Ungureanu, George Jordao, Rodolfo Sander, Ingo, Professor

Zdroj: Proceedings of the 2020 Forum for Specification & Design Languages (FDL) International Forum on Design Languages.

Predmety: models of computation, parallel simulation, dataflow, discrete event systems

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286060
https://kth.diva-portal.org/smash/get/diva2:1502081/FULLTEXT01.pdf

Residue Theorem and Contour Integration: A Python-Based Approach to Real Integrals.

Autori: Buwai, Nura Salihu, Abdulrashid M. Adamu, Tanko a ďalší

Zdroj: International Journal of Science for Global Sustainability (IJSGS); Oct2025, Vol. 11 Issue 3, p34-40, 7p

Predmety: MATHEMATICAL complex analysis, PYTHON programming language, SYMBOLIC computation, NUMERICAL integration, DEFINITE integrals, LINE integrals, CAUCHY integrals

"Intelligent Heuristics Are the Future of Computing".

Autori: Teng, Shang-Hua

Zdroj: ACM Transactions on Intelligent Systems & Technology; Dec2023, Vol. 14 Issue 6, p1-39, 39p

Predmety: HEURISTIC, SIMPLEX algorithm, COMPUTER software, EVOLUTIONARY algorithms, COMPUTER science, UBIQUITOUS computing

Parallelizing Rendering on Devices with Multi-Core CPUs - Implementation Suggestion for Education

Autori: Porath, Ron

Predmety: Theory of computation → Parallel computing models, Software and its engineering → Data flow architectures, CCS Concepts: Software and its engineering → Data flow architectures

On the Interpretation of Denotational Semantics.

Autori: Cardone, Felice

Zdroj: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Predmety: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion

Autori: Jade Alglave Daniel Kroening Vincent Nimal a ďalší

Zdroj: ACM Transactions on Programming Languages and Systems. 39:1-38

Predmety: 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

Prístupová URL adresa: 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/

Theory of Computation

Autori: K.R. Chowdhary

Typ zdroja: eBook.

Predmet: Machine theory

Kategórie: COMPUTERS / General, COMPUTERS / Computer Science