:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhang, Di
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Distributed, Parallel, and Cluster Computing Logic in Computer Science Algebraic Topology 68Q85, 55P99, 68N30, 55U10 D.2.4; F.3.1; D.1.3; F.1.2
Online Access:	https://arxiv.org/abs/2510.25112
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
by: Böhnlein, Toni, et al.
Published: (2024)

Stochastic well-structured transition systems
by: Aspnes, James
Published: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2024)

A Study of Performance Portability in Plasma Physics Simulations
by: Ruzicka, Josef, et al.
Published: (2024)

The Impact of Partial Computations on the Red-Blue Pebble Game
by: Papp, Pál András, et al.
Published: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)

Reversible computations are computations
by: Aubert, Clément, et al.
Published: (2025)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
by: Landers, Rob, et al.
Published: (2026)

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

Conformance Games for Graded Semantics
by: Forster, Jonas, et al.
Published: (2024)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

Design, Configuration, Implementation, and Performance of a Simple 32 Core Raspberry Pi Cluster
by: Cicirello, Vincent A.
Published: (2017)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Notes on applicative matching logic
by: Leuştean, Laurenţiu
Published: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, et al.
Published: (2025)

A Systematic Literature Survey of Sparse Matrix-Vector Multiplication
by: Gao, Jianhua, et al.
Published: (2024)

Monitoring Hyperproperties over Observed and Constructed Traces
by: Chalupa, Marek, et al.
Published: (2025)

Unifying Weak Independence and Signal Hierarchy Theory: Extended Biological Petri Net Formalism with Application to Vibrio fischeri Quorum Sensing
by: Simao, Eugenio
Published: (2025)

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
by: Tang, Jian-Gang
Published: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
by: Gabbay, Murdoch J.
Published: (2025)

Practical Livelock Analysis in Parameterized Unidirectional Rings
by: Farahat, Aly
Published: (2026)

Computing Inductive Invariants of Regular Abstraction Frameworks
by: Czerner, Philipp, et al.
Published: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

The Polynomial Hierarchy does not collapse
by: Czerwinski, Reiner
Published: (2024)

A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
by: Martens, Jan, et al.
Published: (2024)

Solving Large Rank-Deficient Linear Least-Squares Problems on Shared-Memory CPU Architectures and GPU Architectures
by: Chillarón, Mónica, et al.
Published: (2024)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

Semitopology: a topological approach to decentralised collaborative action
by: Gabbay, Murdoch
Published: (2023)

Precision-Aware Iterative Algorithms Based on Group-Shared Exponents of Floating-Point Numbers
by: Gao, Jianhua, et al.
Published: (2024)

Cascaded Prediction and Asynchronous Execution of Iterative Algorithms on Heterogeneous Platforms
by: Gao, Jianhua, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)