English
Related papers

Related papers: BoLD: Fast and Cheap Dispute Resolution

200 papers

Performance optimization for large-scale applications has recently become more important as computation continues to move towards data centers. Data-center applications are generally very large and complex, which makes code layout an…

Programming Languages · Computer Science 2018-10-16 Maksim Panchenko , Rafael Auler , Bill Nell , Guilherme Ottoni

Embodied vision-based real-world systems, such as mobile robots, require a careful balance between energy consumption, compute latency, and safety constraints to optimize operation across dynamic tasks and contexts. As local computation…

Information compression is essential to reduce communication cost in distributed optimization over peer-to-peer networks. This paper proposes a communication-efficient linearly convergent distributed (COLD) algorithm to solve strongly…

Optimization and Control · Mathematics 2021-05-17 Jiaqi Zhang , Keyou You , Lihua Xie

In this paper, we propose a communication- and computation-efficient algorithm to solve a convex consensus optimization problem defined over a decentralized network. A remarkable existing algorithm to solve this problem is the alternating…

Optimization and Control · Mathematics 2020-04-09 Weiyu Li , Yaohua Liu , Zhi Tian , Qing Ling

Although the emergence of the programmable smart contract makes blockchain systems easily embrace a wider range of industrial areas, how to execute smart contracts efficiently becomes a big challenge nowadays. Due to the existence of…

Databases · Computer Science 2019-05-20 Shuaifeng Pang , Xiaodong Qi , Zhao Zhang , Cheqing Jin , Aoying Zhou

Code offloading is promising to accelerate mobile applications and save energy of mobile devices by shifting some computation to cloud. However, existing code offloading systems suffer from a long communication delay between mobile devices…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-02 Li Lin , Xiaofei Liao

Over the past decade, the rapid adoption of intermittent renewable energy sources (RES), especially wind and solar generation, has posed challenges in managing real-time uncertainty and variability. In the U.S., Independent System Operators…

Optimization and Control · Mathematics 2024-10-24 Haoruo Zhao , Mathieu Tanneau , Pascal Van Hentenryck

This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from old and successful resolution processes and to use learnt experiences to guide new resolution processes. An…

Artificial Intelligence · Computer Science 2017-05-08 Cheng-Hao Cai

We present SmartShards: a new sharding algorithm for improving Byzantine tolerance and churn resistance in blockchains. Our algorithm places a peer in multiple shards to create an overlap. This simplifies cross-shard communication and shard…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-17 Joseph Oglio , Mikhail Nesterenko , Gokarna Sharma

Load balancing is among the basic primitives in distributed computing. In this paper, we consider this problem when executed locally on a network with nodes prone to failures. We show that there exist lightweight network topologies that are…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-05 Dariusz R. Kowalski , Jan Olkowski

In this work we combine the framework of the Reduced Basis method (RB) with the framework of the Localized Orthogonal Decomposition (LOD) in order to solve parametrized elliptic multiscale problems. The idea of the LOD is to split a high…

Numerical Analysis · Mathematics 2015-05-20 Assyr Abdulle , Patrick Henning

Traditional public distributed ledgers have not been able to scale-out well and work efficiently. Sharding is deemed as a promising way to solve this problem. By partitioning all nodes into small committees and letting them work in…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-07 Mengqian Zhang , Jichen Li , Zhaohua Chen , Hongyin Chen , Xiaotie Deng

Blockchain sharding has emerged as a promising solution to the scalability challenges in traditional blockchain systems by partitioning the network into smaller, manageable subsets called shards. Despite its potential, existing sharding…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-19 Ao Liu , Jing Chen , Kun He , Ruiying Du , Jiahua Xu , Cong Wu , Yebo Feng , Teng Li , Jianfeng Ma

As hardware components are becoming cheaper and powerful day by day, the expected services from modern software are increasing like any thing. Developing such software has become extremely challenging. Not only the complexity, but also the…

Software Engineering · Computer Science 2016-11-15 Ardhendu Mandal

Peer-to-Peer (P2P) content delivery, known for scalability and resilience, offers a decentralized alternative to traditional centralized Content Delivery Networks (CDNs). A significant challenge in P2P content delivery remains: the fair…

Cryptography and Security · Computer Science 2024-05-07 Jingyu Liu , Yingjie Xue , Zifan Peng , Chao Lin , Xinyi Huang

In this paper, we propose novel proper orthogonal decomposition (POD)--based model reduction methods that effectively address the issue of inverse crime in solving parabolic inverse problems. Both the inverse initial value problems and…

Numerical Analysis · Mathematics 2024-06-05 Wenlong Zhang , Zhiwen Zhang

The competitive dynamics of the globalized market demand information on the internal and external reality of corporations. Information is a precious asset and is responsible for establishing key advantages to enable companies to maintain…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-17 Gustavo V. Machado , Ítalo Cunha , Adriano C. M. Pereira , Leonardo B. Oliveira

Advanced regulatory control (ARC), also known as advanced PID architectures, is a simple and robust way of controlling processes with changing and possibly conflicting constraints, where it previously was believed - at least in academia -…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Sigurd Skogestad

We introduce a novel multi-resolution Localized Orthogonal Decomposition (LOD) for time-harmonic acoustic scattering problems that can be modeled by the Helmholtz equation. The method merges the concepts of LOD and operator-adapted wavelets…

Numerical Analysis · Mathematics 2022-11-24 Moritz Hauck , Daniel Peterseim

Automated negotiation has emerged as a critical area of research in multiagent systems, with applications spanning e-commerce, resource allocation, and autonomous decision-making. This paper presents ChargingBoul, a negotiating agent that…

Multiagent Systems · Computer Science 2025-12-09 Joe Shymanski