English
Related papers

Related papers: Asynchronous Checkpoint for Eventually Consistent …

200 papers

We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a network of agents, each of which measures (or computes) a…

Logic in Computer Science · Computer Science 2023-08-08 Charles Koll , Anik Momtaz , Borzoo Bonakdarpour , Houssam Abbas

Denoising diffusion probabilistic models have brought tremendous advances in generative tasks, achieving state-of-the-art performance thus far. Current diffusion model-based applications exploit the power of learned visual representations…

Computer Vision and Pattern Recognition · Computer Science 2026-01-05 Changgyoon Oh , Jongoh Jeong , Jegyeong Cho , Kuk-Jin Yoon

We study the maximum matching problem in fully dynamic graphs: a graph is undergoing both edge insertions and deletions, and the goal is to efficiently maintain a large matching after each edge update. This problem has received considerable…

Data Structures and Algorithms · Computer Science 2022-01-11 Soheil Behnezhad , Sanjeev Khanna

In this paper, we consider the problem of joint sparsity pattern recovery in a distributed sensor network. The sparse multiple measurement vector signals (MMVs) observed by all the nodes are assumed to have a common (but unknown) sparsity…

Information Theory · Computer Science 2016-01-27 Gang Li , Thakshila Wimalajeewa , Pramod K. Varshney

One of the major challenges in distributed systems is establishing consistency among replicated data in a timely fashion. While the consistent ordering of events has been extensively researched, the time span to reach a consistent state is…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-10-29 Moritz Schattka

This paper tackles the problem of making complex resource-constrained cyber-physical systems (CPS) resilient to sensor anomalies. In particular, we present a framework for checkpointing and roll-forward recovery of state-estimates in…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Kaustubh Sridhar , Radoslav Ivanov , Vuk Lesi , Marcio Juliato , Manoj Sastry , Lily Yang , James Weimer , Oleg Sokolsky , Insup Lee

In this paper a stochastic model of a large distributed system where users' files are duplicated on unreliable data servers is investigated. Due to a server breakdown, a copy of a file can be lost, it can be retrieved if another copy of the…

Probability · Mathematics 2015-12-21 Wen Sun , Mathieu Feuillet , Philippe Robert

Dataset Condensation is a newly emerging technique aiming at learning a tiny dataset that captures the rich information encoded in the original dataset. As the size of datasets contemporary machine learning models rely on becomes…

Machine Learning · Computer Science 2022-10-18 Justin Cui , Ruochen Wang , Si Si , Cho-Jui Hsieh

Clustering aims to group unlabeled objects based on similarity inherent among them into clusters. It is important for many tasks such as anomaly detection, database sharding, record linkage, and others. Some clustering methods are taken as…

Databases · Computer Science 2024-12-02 Binbin Gu , Saeed Kargar , Faisal Nawab

As deep learning models grow in complexity and the volume of training data increases, reducing storage and computational costs becomes increasingly important. Dataset distillation addresses this challenge by synthesizing a compact set of…

Computer Vision and Pattern Recognition · Computer Science 2025-05-20 Zhe Li , Sarah Cechnicka , Cheng Ouyang , Katharina Breininger , Peter Schüffler , Bernhard Kainz

A spatially distributed system contains a large amount of agents with limited sensing, data processing, and communication capabilities. Recent technological advances have opened up possibilities to deploy spatially distributed systems for…

Information Theory · Computer Science 2015-11-30 Cheng Cheng , Yingchun Jiang , Qiyu Sun

An energy efficient use of large scale sensor networks necessitates activating a subset of possible sensors for estimation at a fusion center. The problem is inherently combinatorial; to this end, a set of iterative, randomized algorithms…

Information Theory · Computer Science 2017-09-13 Arpan Chattopadhyay , Urbashi Mitra

We consider the problem of subspace estimation in situations where the number of available snapshots and the observation dimension are comparable in magnitude. In this context, traditional subspace methods tend to fail because the…

Information Theory · Computer Science 2016-11-15 Pascal Vallet , Philippe Loubaton , Xavier Mestre

Memory dumps that are acquired while the system is running often contain inconsistencies like page smearing which hamper the analysis. One possibility to avoid inconsistencies is to pause the system during the acquisition and take an…

Cryptography and Security · Computer Science 2023-07-25 Jenny Ottmann , Üsame Cengiz , Frank Breitinger , Felix Freiling

Clustering is a crucial component of many data mining systems involving the analysis and exploration of various data. Data diversity calls for clustering algorithms to be accurate while providing stable (i.e., deterministic and robust)…

Social and Information Networks · Computer Science 2019-12-19 Artem Lutov , Mourad Khayati , Philippe Cudré-Mauroux

Diffusion models excel at capturing complex data distributions, such as those of natural images and proteins. While diffusion models are trained to represent the distribution in the training dataset, we often are more concerned with other…

Network intrusion detection is the process of identifying malicious behaviors that target a network and its resources. Current systems implementing intrusion detection processes observe traffic at several data collecting points in the…

Cryptography and Security · Computer Science 2015-09-16 Michel Toulouse , Bui Quang Minh , Philip Curtis

In the realm of diverse high-dimensional data, images play a significant role across various processes of manufacturing systems where efficient image anomaly detection has emerged as a core technology of utmost importance. However, when…

Computer Vision and Pattern Recognition · Computer Science 2025-12-24 Ji Song , Xing Wang , Jianguo Wu , Xiaowei Yue

The problem of reliability of a large distributed system is analyzed via a new mathematical model. A typical framework is a system where a set of files are duplicated on several data servers. When one of these servers breaks down, all…

Probability · Mathematics 2017-06-05 Reza Aghajani , Philippe Robert , Wen Sun

Changepoint detection is commonly formulated by minimizing the sum of in-sample losses to quantify the model's overall fit. However, for flexible modeling procedures -- especially those involving high-dimensional parameter spaces or…

Methodology · Statistics 2026-05-05 Chengde Qian , Guanghui Wang , Zhaojun Wang , Changliang Zou