Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Συγγραφείς: Din, Crystal, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Pun, Violet, Tarifa, S. Lizeth Tapia

Συνεισφορές: Henrio, Ludovic

Πηγή: ACM Transactions on Programming Languages and Systems

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Czerwiński, Wojciech, Hofman, Piotr

Συνεισφορές: Wojciech Czerwiński and Piotr Hofman, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Πηγή: Logical Methods in Computer Science. 21

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2202.08033
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.16

Verification of Flat FIFO Systems

Συγγραφείς: Finkel, Alain, Praveen, M.

Πηγή: Logical Methods in Computer Science, Volume 16, Issue 4 (October 14, 2020) lmcs:5999

Θεματικοί όροι: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Theory of computation - Parallel computing models

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1908.07282

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

Συγγραφείς: Suchert, Felix, Zeidler, Lisza, Castrillon, Jeronimo, Ertel, Sebastian

Συνεισφορές: Felix Suchert and Lisza Zeidler and Jeronimo Castrillon and Sebastian Ertel

Θεματικοί όροι: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Precision Tuning in Parallel Applications

Συγγραφείς: Magnani, Gabriele, Denisov, Lev, Cattaneo, Daniele, Agosta, Giovanni

Συνεισφορές: Gabriele Magnani and Lev Denisov and Daniele Cattaneo and Giovanni Agosta, Palumbo, Francesca, Bispo, João, Cherubin, Stefano

Θεματικοί όροι: Parallel Programming, Compilers, Theory of computation → Parallel computing models, Precision Tuning, ddc:004, Software and its engineering → Compilers

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Blikstad, Joakim

Συνεισφορές: Joakim Blikstad, Bojańczyk, Mikołaj, Merelli, Emanuela, Woodruff, David P.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.25

Improved Lower Bounds for Reachability in Vector Addition Systems

Συγγραφείς: Czerwiński, Wojciech, Lasota, Sławomir, Orlikowski, Łukasz

Συνεισφορές: Wojciech Czerwiński and Sławomir Lasota and Łukasz Orlikowski, Bansal, Nikhil, Merelli, Emanuela, Worrell, James

Θεματικοί όροι: Theory of computation → Parallel computing models, vector addition systems, reachability problem, Petri nets, ddc:004

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.128

enInvolved VASS Zoo (Invited Talk)

Συγγραφείς: Czerwiński, Wojciech

Συνεισφορές: Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Θεματικοί όροι: 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

Συγγραφείς: Porath, Ron

Θεματικοί όροι: Theory of computation → Parallel computing models, Software and its engineering → Data flow architectures, CCS Concepts: Software and its engineering → Data flow architectures