AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Fuente:
arXiv
Saved in:
| Main Authors: | Albouy, Timothé, Anta, Antonio Fernández, Georgiou, Chryssis, Gestin, Mathieu, Nicolaou, Nicolas, Wang, Junlang |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
by: Albouy, Timothé, et al.
Published: (2026)
by: Albouy, Timothé, et al.
Published: (2026)
Tight Conditions for Binary-Output Tasks under Crashes
by: Albouy, Timothé, et al.
Published: (2025)
by: Albouy, Timothé, et al.
Published: (2025)
Ares II: Tracing the Flaws of a (Storage) God
by: Georgiou, Chryssis, et al.
Published: (2024)
by: Georgiou, Chryssis, et al.
Published: (2024)
Context Adaptive Cooperation
by: Albouy, Timothé, et al.
Published: (2023)
by: Albouy, Timothé, et al.
Published: (2023)
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free
by: Albouy, Timothé, et al.
Published: (2024)
by: Albouy, Timothé, et al.
Published: (2024)
A Modular Approach to Construct Signature-Free BRB Algorithms under a Message Adversary
by: Albouy, Timothé, et al.
Published: (2022)
by: Albouy, Timothé, et al.
Published: (2022)
Byzantine-Tolerant Consensus in GPU-Inspired Shared Memory
by: Georgiou, Chryssis, et al.
Published: (2025)
by: Georgiou, Chryssis, et al.
Published: (2025)
Asynchronous Secure Federated Learning with Byzantine aggregators
by: Del Pozzo, Antonella, et al.
Published: (2026)
by: Del Pozzo, Antonella, et al.
Published: (2026)
Near-Optimal Communication Byzantine Reliable Broadcast under a Message Adversary
by: Albouy, Timothé, et al.
Published: (2023)
by: Albouy, Timothé, et al.
Published: (2023)
History-Independent Concurrent Objects
by: Attiya, Hagit, et al.
Published: (2024)
by: Attiya, Hagit, et al.
Published: (2024)
Anthemius: Efficient & Modular Block Assembly for Concurrent Execution
by: Neiheiser, Ray, et al.
Published: (2025)
by: Neiheiser, Ray, et al.
Published: (2025)
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus
by: Capretto, Margarita, et al.
Published: (2025)
by: Capretto, Margarita, et al.
Published: (2025)
Distributed Consensus Network: A Modularized Communication Framework and Reliability Probabilistic Analysis
by: Li, Yuetai, et al.
Published: (2025)
by: Li, Yuetai, et al.
Published: (2025)
Proving Highly-Concurrent Traversals Correct
by: Feldman, Yotam M. Y., et al.
Published: (2020)
by: Feldman, Yotam M. Y., et al.
Published: (2020)
Exploiting Multi-Core Parallelism in Blockchain Validation and Construction
by: Karmegam, Arivarasan, et al.
Published: (2026)
by: Karmegam, Arivarasan, et al.
Published: (2026)
Auditable Shared Objects: From Registers to Synchronization Primitives
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
OPTIMUM-DERAM: Highly Consistent, Scalable, and Secure Multi-Object Memory using RLNC
by: Nicolaou, Nicolas, et al.
Published: (2026)
by: Nicolaou, Nicolas, et al.
Published: (2026)
Resolving Conflicts with Grace: Dynamically Concurrent Universality
by: Kuznetsov, Petr, et al.
Published: (2025)
by: Kuznetsov, Petr, et al.
Published: (2025)
A Study of Synchronization Methods for Concurrent Size
by: Kas-Sharir, Hen, et al.
Published: (2025)
by: Kas-Sharir, Hen, et al.
Published: (2025)
Exploring the Efficiency of Renewable Energy-based Modular Data Centers at Scale
by: Sun, Jinghan, et al.
Published: (2024)
by: Sun, Jinghan, et al.
Published: (2024)
Auditing without Leaks Despite Curiosity
by: Attiya, Hagit, et al.
Published: (2025)
by: Attiya, Hagit, et al.
Published: (2025)
Automating Multi-Tenancy Performance Evaluation on Edge Compute Nodes
by: Georgiou, Joanna, et al.
Published: (2025)
by: Georgiou, Joanna, et al.
Published: (2025)
Mining Area Skyline Objects from Map-based Big Data using Apache Spark Framework
by: Li, Chen, et al.
Published: (2024)
by: Li, Chen, et al.
Published: (2024)
Epoch-based Optimistic Concurrency Control in Geo-replicated Databases
by: Mao, Yunhao, et al.
Published: (2026)
by: Mao, Yunhao, et al.
Published: (2026)
HPX -- An open source C++ Standard Library for Parallelism and Concurrency
by: Heller, Thomas, et al.
Published: (2023)
by: Heller, Thomas, et al.
Published: (2023)
Fulcrum: Optimizing Concurrent DNN Training and Inferencing on Edge Accelerators
by: K., Prashanthi S., et al.
Published: (2025)
by: K., Prashanthi S., et al.
Published: (2025)
SmartPQ: An Adaptive Concurrent Priority Queue for NUMA Architectures
by: Giannoula, Christina, et al.
Published: (2024)
by: Giannoula, Christina, et al.
Published: (2024)
KubeIntellect: A Modular LLM-Orchestrated Agent Framework for End-to-End Kubernetes Management
by: Ardebili, Mohsen Seyedkazemi, et al.
Published: (2025)
by: Ardebili, Mohsen Seyedkazemi, et al.
Published: (2025)
Modular population protocols
by: Raskin, Michael
Published: (2021)
by: Raskin, Michael
Published: (2021)
HiCoCS: High Concurrency Cross-Sharding on Permissioned Blockchains
by: Yang, Lingxiao, et al.
Published: (2025)
by: Yang, Lingxiao, et al.
Published: (2025)
Tally: Non-Intrusive Performance Isolation for Concurrent Deep Learning Workloads
by: Zhao, Wei, et al.
Published: (2024)
by: Zhao, Wei, et al.
Published: (2024)
Concurrent Scheduling of High-Level Parallel Programs on Multi-GPU Systems
by: Knorr, Fabian, et al.
Published: (2025)
by: Knorr, Fabian, et al.
Published: (2025)
CONCUR: High-Throughput Agentic Batch Inference of LLM via Congestion-Based Concurrency Control
by: Chen, Qiaoling, et al.
Published: (2026)
by: Chen, Qiaoling, et al.
Published: (2026)
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
by: Luo, Yicong, et al.
Published: (2025)
by: Luo, Yicong, et al.
Published: (2025)
AdaOper: Energy-efficient and Responsive Concurrent DNN Inference on Mobile Devices
by: Lin, Zheng, et al.
Published: (2024)
by: Lin, Zheng, et al.
Published: (2024)
StableShard: Stable and Scalable Blockchain Sharding with High Concurrency via Collaborative Committees
by: Li, Mingzhe, et al.
Published: (2024)
by: Li, Mingzhe, et al.
Published: (2024)
Towards Lock Modularization for Heterogeneous Environments
by: Zhang, Hanze, et al.
Published: (2025)
by: Zhang, Hanze, et al.
Published: (2025)
PASTA: A Modular Program Analysis Tool Framework for Accelerators
by: Lin, Mao, et al.
Published: (2026)
by: Lin, Mao, et al.
Published: (2026)
Modular Foundation Model Inference at the Edge: Network-Aware Microservice Optimization
by: Zhu, Juan, et al.
Published: (2026)
by: Zhu, Juan, et al.
Published: (2026)
DOLMA: A Data Object Level Memory Disaggregation Framework for HPC Applications
by: Zheng, Haoyu, et al.
Published: (2025)
by: Zheng, Haoyu, et al.
Published: (2025)
Similar Items
-
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
by: Albouy, Timothé, et al.
Published: (2026) -
Tight Conditions for Binary-Output Tasks under Crashes
by: Albouy, Timothé, et al.
Published: (2025) -
Ares II: Tracing the Flaws of a (Storage) God
by: Georgiou, Chryssis, et al.
Published: (2024) -
Context Adaptive Cooperation
by: Albouy, Timothé, et al.
Published: (2023) -
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free
by: Albouy, Timothé, et al.
Published: (2024)