Buchumschlag

Proving Highly-Concurrent Traversals Correct

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Feldman, Yotam M. Y., Khyzha, Artem, Enea, Constantin, Morrison, Adam, Nanevski, Aleksandar, Rinetzky, Noam, Shoham, Sharon
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strong Linearizability using Primitives with Consensus Number 2
von: Attiya, Hagit, et al.
Veröffentlicht: (2024)

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
von: Attiya, Hagit, et al.
Veröffentlicht: (2025)

Arbitration-Free Consistency is Available (and Vice Versa)
von: Attiya, Hagit, et al.
Veröffentlicht: (2025)

Hyperproperty-Preserving Register Specifications (Extended Version)
von: Shimon, Yoav Ben, et al.
Veröffentlicht: (2024)

CrowdProve: Community Proving for ZK Rollups
von: Stephan, John, et al.
Veröffentlicht: (2025)

Proving there is a leader without naming it
von: Feuilloley, Laurent, et al.
Veröffentlicht: (2025)

Run-time application migration using checkpoint/restore in userspace
von: Tošić, Aleksandar
Veröffentlicht: (2023)

HiCoCS: High Concurrency Cross-Sharding on Permissioned Blockchains
von: Yang, Lingxiao, et al.
Veröffentlicht: (2025)

Concurrent Scheduling of High-Level Parallel Programs on Multi-GPU Systems
von: Knorr, Fabian, et al.
Veröffentlicht: (2025)

History-Independent Concurrent Objects
von: Attiya, Hagit, et al.
Veröffentlicht: (2024)

StableShard: Stable and Scalable Blockchain Sharding with High Concurrency via Collaborative Committees
von: Li, Mingzhe, et al.
Veröffentlicht: (2024)

CONCUR: High-Throughput Agentic Batch Inference of LLM via Congestion-Based Concurrency Control
von: Chen, Qiaoling, et al.
Veröffentlicht: (2026)

TrioSeq: A Novel Approach to Accelerate Triplet Sequence Alignment on GPUs
von: Graça, Miguel, et al.
Veröffentlicht: (2026)

Fused Breadth-First Probabilistic Traversals on Distributed GPU Systems
von: Neff, Reece, et al.
Veröffentlicht: (2023)

Resolving Conflicts with Grace: Dynamically Concurrent Universality
von: Kuznetsov, Petr, et al.
Veröffentlicht: (2025)

A Study of Synchronization Methods for Concurrent Size
von: Kas-Sharir, Hen, et al.
Veröffentlicht: (2025)

PULSE: Accelerating Distributed Pointer-Traversals on Disaggregated Memory (Extended Version)
von: Tang, Yupeng, et al.
Veröffentlicht: (2023)

Anthemius: Efficient & Modular Block Assembly for Concurrent Execution
von: Neiheiser, Ray, et al.
Veröffentlicht: (2025)

PRISM: Processing-In-Memory Sparse MTTKRP for Tensor Decomposition Acceleration
von: Pacheco, Daniel, et al.
Veröffentlicht: (2026)

CARM Tool: Cache-Aware Roofline Model Automatic Benchmarking and Application Analysis
von: Morgado, José, et al.
Veröffentlicht: (2026)

HPX -- An open source C++ Standard Library for Parallelism and Concurrency
von: Heller, Thomas, et al.
Veröffentlicht: (2023)

Fulcrum: Optimizing Concurrent DNN Training and Inferencing on Edge Accelerators
von: K., Prashanthi S., et al.
Veröffentlicht: (2025)

SmartPQ: An Adaptive Concurrent Priority Queue for NUMA Architectures
von: Giannoula, Christina, et al.
Veröffentlicht: (2024)

AMECOS: A Modular Event-based Framework for Concurrent Object Specification
von: Albouy, Timothé, et al.
Veröffentlicht: (2024)

Tally: Non-Intrusive Performance Isolation for Concurrent Deep Learning Workloads
von: Zhao, Wei, et al.
Veröffentlicht: (2024)

Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
von: Luo, Yicong, et al.
Veröffentlicht: (2025)

AdaOper: Energy-efficient and Responsive Concurrent DNN Inference on Mobile Devices
von: Lin, Zheng, et al.
Veröffentlicht: (2024)

A New Perspective of Graph Data and A Generic and Efficient Method for Large Scale Graph Data Traversal
von: Zhang, Chenglong
Veröffentlicht: (2020)

NAVIS: Concurrent Search and Update with Low Position-Seeking Overhead in On-SSD Graph-Based Vector Search
von: Song, Jaeyong, et al.
Veröffentlicht: (2026)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
von: Borgarelli, Andrea, et al.
Veröffentlicht: (2024)

Decentralized Distributed Proximal Policy Optimization (DD-PPO) for High Performance Computing Scheduling on Multi-User Systems
von: Sgambati, Matthew, et al.
Veröffentlicht: (2025)

Stream-K Optimization and Exploration
von: Rackley, Nick, et al.
Veröffentlicht: (2024)

Epoch-based Optimistic Concurrency Control in Geo-replicated Databases
von: Mao, Yunhao, et al.
Veröffentlicht: (2026)

Zipage: Maintain High Request Concurrency for LLM Reasoning through Compressed PagedAttention
von: Liao, Mengqi, et al.
Veröffentlicht: (2026)

Serverless Abstractions for Short-Running, Lightweight Streams
von: Carl, Natalie, et al.
Veröffentlicht: (2026)

Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains (Extended Version)
von: Hay, Yaron, et al.
Veröffentlicht: (2024)

A Unified Approach to Concurrent, Parallel Map-Reduce in R using Futures
von: Bengtsson, Henrik
Veröffentlicht: (2026)

A Lightweight Neural Network for Accelerating Radiative Transfer Modeling in WRF
von: Fredj, Erick, et al.
Veröffentlicht: (2025)

SpiralShard: Highly Concurrent and Secure Blockchain Sharding via Linked Cross-shard Endorsement
von: Lin, You, et al.
Veröffentlicht: (2024)

Multiple Concurrent Proposers: Why and How
von: Garimidi, Pranav, et al.
Veröffentlicht: (2025)