Stochastic Distance in Property Testing
Fuente:
arXiv
Salvato in:
| Autori principali: | Meir, Uri, Schwartzman, Gregory, Yoshida, Yuichi |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Recursive Energy Efficient Agreement
di: Meir, Shachar, et al.
Pubblicazione: (2026)
di: Meir, Shachar, et al.
Pubblicazione: (2026)
Testing Spreading Behavior in Networks with Arbitrary Topologies
di: Modanese, Augusto, et al.
Pubblicazione: (2023)
di: Modanese, Augusto, et al.
Pubblicazione: (2023)
Speedup of Distributed Algorithms for Power Graphs in the CONGEST Model
di: Barenboim, Leonid, et al.
Pubblicazione: (2023)
di: Barenboim, Leonid, et al.
Pubblicazione: (2023)
Complementary Time-Space Tradeoff for Self-Stabilizing Leader Election: Polynomial States Meet Sublinear Time
di: Sudo, Yuichi
Pubblicazione: (2025)
di: Sudo, Yuichi
Pubblicazione: (2025)
Complete Graph Identification in Population Protocols
di: Kanaya, Haruki, et al.
Pubblicazione: (2024)
di: Kanaya, Haruki, et al.
Pubblicazione: (2024)
Sublinear-time Collision Detection with a Polynomial Number of States in Population Protocols
di: Araya, Takumi, et al.
Pubblicazione: (2024)
di: Araya, Takumi, et al.
Pubblicazione: (2024)
Arma: Byzantine Fault Tolerant Consensus with Horizontal Scalability
di: Manevich, Yacov, et al.
Pubblicazione: (2024)
di: Manevich, Yacov, et al.
Pubblicazione: (2024)
Distributed OpenMP Offloading of OpenMC on Intel GPU MAX Accelerators
di: Fridman, Yehonatan, et al.
Pubblicazione: (2024)
di: Fridman, Yehonatan, et al.
Pubblicazione: (2024)
Self-stabilizing Graph Exploration by a Single Agent
di: Sudo, Yuichi, et al.
Pubblicazione: (2020)
di: Sudo, Yuichi, et al.
Pubblicazione: (2020)
Distributed Download from an External Data Source in Asynchronous Faulty Settings
di: Augustine, John, et al.
Pubblicazione: (2025)
di: Augustine, John, et al.
Pubblicazione: (2025)
Recolorable Graph Exploration by an Oblivious Agent with Fewer Colors
di: Takahashi, Shota, et al.
Pubblicazione: (2025)
di: Takahashi, Shota, et al.
Pubblicazione: (2025)
Time Optimal Distance-$k$-Dispersion on Dynamic Ring
di: Mondal, Brati, et al.
Pubblicazione: (2024)
di: Mondal, Brati, et al.
Pubblicazione: (2024)
Bounding Distance Between Outputs in Distributed Lattice Agreement
di: Rasheed, Abdullah, et al.
Pubblicazione: (2025)
di: Rasheed, Abdullah, et al.
Pubblicazione: (2025)
Efficient Accelerated Graph Edit Distance Computation on GPU
di: Dabah, Adel, et al.
Pubblicazione: (2026)
di: Dabah, Adel, et al.
Pubblicazione: (2026)
Simulating Chirality: Solving Distance-$k$-Dispersion on an 1-Interval Connected Ring
di: Mondal, Brati, et al.
Pubblicazione: (2025)
di: Mondal, Brati, et al.
Pubblicazione: (2025)
Stochastic Modeling for Energy-Efficient Edge Infrastructure
di: Rossi, Fabio Diniz
Pubblicazione: (2025)
di: Rossi, Fabio Diniz
Pubblicazione: (2025)
Tight Bounds on Window Size and Time for Single-Agent Graph Exploration under T-Interval Connectivity
di: Sudo, Yuichi, et al.
Pubblicazione: (2026)
di: Sudo, Yuichi, et al.
Pubblicazione: (2026)
Identifying Quality Mersenne Twister Streams For Parallel Stochastic Simulations
di: Antunes, Benjamin, et al.
Pubblicazione: (2024)
di: Antunes, Benjamin, et al.
Pubblicazione: (2024)
Communication-Efficient Distributed Learning via Sparse and Adaptive Stochastic Gradient
di: Deng, Xiaoge, et al.
Pubblicazione: (2021)
di: Deng, Xiaoge, et al.
Pubblicazione: (2021)
TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
di: Keshavarzi, Sadegh, et al.
Pubblicazione: (2025)
di: Keshavarzi, Sadegh, et al.
Pubblicazione: (2025)
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
di: Dubois, Tanguy, et al.
Pubblicazione: (2026)
di: Dubois, Tanguy, et al.
Pubblicazione: (2026)
Transactional Dynamics in Hyperledger Fabric: A Stochastic Modeling and Performance Evaluation of Permissioned Blockchains
di: Melo, Carlos, et al.
Pubblicazione: (2025)
di: Melo, Carlos, et al.
Pubblicazione: (2025)
On the Complexity of Reachability Properties in Serverless Function Scheduling
di: De Palma, Giuseppe, et al.
Pubblicazione: (2024)
di: De Palma, Giuseppe, et al.
Pubblicazione: (2024)
Recognizing Hereditary Properties in the Presence of Byzantine Nodes
di: Cifuentes-Núñez, David, et al.
Pubblicazione: (2023)
di: Cifuentes-Núñez, David, et al.
Pubblicazione: (2023)
Generalize Synchronization Mechanism: Specification, Properties, Limits
di: Chien, Chih-Wei, et al.
Pubblicazione: (2023)
di: Chien, Chih-Wei, et al.
Pubblicazione: (2023)
What Cannot Be Implemented on Weak Memory?
di: Castañeda, Armando, et al.
Pubblicazione: (2024)
di: Castañeda, Armando, et al.
Pubblicazione: (2024)
Bounded Memory in Distributed Networks
di: Basat, Ran Ben, et al.
Pubblicazione: (2025)
di: Basat, Ran Ben, et al.
Pubblicazione: (2025)
Model-based Testing of Practical Distributed Systems in Actor Model
di: Kokorin, Ilya, et al.
Pubblicazione: (2025)
di: Kokorin, Ilya, et al.
Pubblicazione: (2025)
Testing and benchmarking emerging supercomputers via the MFC flow solver
di: Wilfong, Benjamin, et al.
Pubblicazione: (2025)
di: Wilfong, Benjamin, et al.
Pubblicazione: (2025)
Minimizing Intellectual Property Risks via Self-Stabilizing Algorithms
di: Kennedy, Ken, et al.
Pubblicazione: (2026)
di: Kennedy, Ken, et al.
Pubblicazione: (2026)
Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version)
di: Naser-Pastoriza, Alejandro, et al.
Pubblicazione: (2025)
di: Naser-Pastoriza, Alejandro, et al.
Pubblicazione: (2025)
A Distributed Edge FLISR Solution & Network Simulation Test Platform
di: Leniston, Darren, et al.
Pubblicazione: (2024)
di: Leniston, Darren, et al.
Pubblicazione: (2024)
A Transverse-Read-assisted Fast Valid-Bits Collection in Stochastic Computing MACs for Energy-Efficient in-RTM DNNs
di: Wang, Jihe, et al.
Pubblicazione: (2024)
di: Wang, Jihe, et al.
Pubblicazione: (2024)
cuFastTuckerPlus: A Stochastic Parallel Sparse FastTucker Decomposition Using GPU Tensor Cores
di: Li, Zixuan, et al.
Pubblicazione: (2024)
di: Li, Zixuan, et al.
Pubblicazione: (2024)
Vertical Atomic Broadcast and Passive Replication (Extended Version)
di: Bravo, Manuel, et al.
Pubblicazione: (2024)
di: Bravo, Manuel, et al.
Pubblicazione: (2024)
Beyond Microservices: Testing Web-Scale RCA Methods on GPU-Driven LLM Workloads
di: Scheinert, Dominik, et al.
Pubblicazione: (2026)
di: Scheinert, Dominik, et al.
Pubblicazione: (2026)
Modeling Anomaly Detection in Cloud Services: Analysis of the Properties that Impact Latency and Resource Consumption
di: Grabher, Gabriel Job Antunes, et al.
Pubblicazione: (2025)
di: Grabher, Gabriel Job Antunes, et al.
Pubblicazione: (2025)
Accelerating Python Applications with Dask and ProxyStore
di: Pauloski, J. Gregory, et al.
Pubblicazione: (2024)
di: Pauloski, J. Gregory, et al.
Pubblicazione: (2024)
Object Proxy Patterns for Accelerating Distributed Applications
di: Pauloski, J. Gregory, et al.
Pubblicazione: (2024)
di: Pauloski, J. Gregory, et al.
Pubblicazione: (2024)
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
di: Curless, Brian, et al.
Pubblicazione: (2025)
di: Curless, Brian, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Recursive Energy Efficient Agreement
di: Meir, Shachar, et al.
Pubblicazione: (2026) -
Testing Spreading Behavior in Networks with Arbitrary Topologies
di: Modanese, Augusto, et al.
Pubblicazione: (2023) -
Speedup of Distributed Algorithms for Power Graphs in the CONGEST Model
di: Barenboim, Leonid, et al.
Pubblicazione: (2023) -
Complementary Time-Space Tradeoff for Self-Stabilizing Leader Election: Polynomial States Meet Sublinear Time
di: Sudo, Yuichi
Pubblicazione: (2025) -
Complete Graph Identification in Population Protocols
di: Kanaya, Haruki, et al.
Pubblicazione: (2024)