Search Results - "Theory of computation → Parallel computing models"

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

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

Contributors: Din, Crystal Hähnle, Reiner Henrio, Ludovic 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

Access URL: 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

Authors: Czerwiński, Wojciech Hofman, Piotr Wojciech Czerwiński and Piotr Hofman et al.

Contributors: Czerwiński, Wojciech Hofman, Piotr Wojciech Czerwiński and Piotr Hofman 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

Access URL: http://arxiv.org/abs/2202.08033
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.16

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

Authors: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo et al.

Contributors: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo 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

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Precision Tuning in Parallel Applications

Authors: Magnani, Gabriele Denisov, Lev Cattaneo, Daniele et al.

Contributors: Magnani, Gabriele Denisov, Lev Cattaneo, Daniele 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

Access URL: 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

Sublinear-Round Parallel Matroid Intersection

Authors: Blikstad, Joakim Joakim Blikstad Bojańczyk, Mikołaj et al.

Contributors: Blikstad, Joakim Joakim Blikstad Bojańczyk, Mikołaj 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

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.25

Improved Lower Bounds for Reachability in Vector Addition Systems

Authors: Czerwiński, Wojciech Lasota, Sławomir Orlikowski, Łukasz et al.

Contributors: Czerwiński, Wojciech Lasota, Sławomir Orlikowski, Łukasz et al.

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

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.128

Verification of Flat FIFO Systems

Authors: Finkel, Alain Praveen, M. FINKEL, Alain et al.

Contributors: Finkel, Alain Praveen, M. FINKEL, Alain 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

enInvolved VASS Zoo (Invited Talk)

Authors: Czerwiński, Wojciech Klin, Bartek Lasota, Sławomir et al.

Contributors: Czerwiński, Wojciech Klin, Bartek Lasota, Sławomir et al.

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

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

Authors: Porath, Ron

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

Verification of Flat FIFO Systems

Authors: Finkel, Alain Praveen, M.

Index Terms: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Theory of computation - Parallel computing models, text

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