CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
iBFS: Concurrent breadth-first search on GPUs,
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
BLEST is a Tensor Core-accelerated BFS framework using BVSS representation and optimized MMA layouts that reports average speedups of 22x over GAP on real-world graphs.
A subjective interestingness measure for multidimensional BI queries is defined by modeling user belief as a probability distribution learned via random walk from past interactions, cube schema, and other users' activities.
citing papers explorer
-
CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering
CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
-
Graph Traversal on Tensor Cores: A BFS Framework for Modern GPUs
BLEST is a Tensor Core-accelerated BFS framework using BVSS representation and optimized MMA layouts that reports average speedups of 22x over GAP on real-world graphs.
-
A Subjective Interestingness measure for Business Intelligence explorations
A subjective interestingness measure for multidimensional BI queries is defined by modeling user belief as a probability distribution learned via random walk from past interactions, cube schema, and other users' activities.