English
Related papers

Related papers: Algorithms for Timed Consistency Models

200 papers

With the rapid transformation of computer hardware and algorithms, mobile networking has evolved from low data carrying capacity and high latency to better-optimized networks, either by enhancing the digital network or using different…

Networking and Internet Architecture · Computer Science 2023-11-09 Wenbo Zhu

In this paper, we consider consensus problems over a network of nodes, where the network is divided into a number of clusters. We are interested in the case where the communication topology within each cluster is dense as compared to the…

Systems and Control · Electrical Eng. & Systems 2021-08-27 Thiem V. Pham , Thinh T. Doan , Dinh Hoa Nguyen

Time awareness is critical to a broad range of emerging applications -- in Cyber-Physical Systems and Internet of Things -- running on commodity platforms and operating systems. Traditionally, time is synchronized across devices through a…

Robotics · Computer Science 2018-02-06 Amr Alanwar , Fatima M. Anwar , Joao P Hespanha , Mani Srivastava

The resource management of a phase array system capable of multiple target tracking and surveillance is critical for the realization of its full potential. Present work aims to improve the performance of an existing method, time-balance…

Signal Processing · Electrical Eng. & Systems 2025-12-03 Ömer Çayır , Çağatay Candan

We describe a pricing structure for the provision of IT services that ensures trust without requiring repeated interactions between service providers and users. It does so by offering a pricing structure that elicits truthful reporting of…

Computer Science and Game Theory · Computer Science 2007-05-23 Bernardo A. Huberman , Fang Wu , Li Zhang

In this work and the supporting Parts II [2] and III [3], we provide a rather detailed analysis of the stability and performance of asynchronous strategies for solving distributed optimization and adaptation problems over networks. We…

Systems and Control · Computer Science 2014-12-17 Xiaochuan Zhao , Ali H. Sayed

Realizing an optimal task scheduling by taking into account the business importance of jobs has become a matter of interest in pay and use model of Cloud computing. Introduction of an appropriate model for an efficient task scheduling…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-22 Vivek Sharma , T. R. Gopalakrishnan Nair

An acceptable response time of a server is an important aspect in many client-server applications; this is evident in situations in which the server is overloaded by many computationally intensive requests. In this work, we consider that…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-09 István Módos , Přemysl Šůcha , Roman Václavík , Jan Smejkal , Zdeněk Hanzálek

In the current work we introduce a novel estimation of distribution algorithm to tackle a hard combinatorial optimization problem, namely the single-machine scheduling problem, with uncertain delivery times. The majority of the existing…

Data Structures and Algorithms · Computer Science 2013-12-05 Boris Mitavskiy , Jun He

Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task. It provides information about the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-18 Sreeja Nair , Marc Shapiro

This paper presents a distributed continuous-time optimization framework aimed at overcoming the challenges posed by time-varying cost functions and constraints in multi-agent systems, particularly those subject to disturbances. By…

Systems and Control · Electrical Eng. & Systems 2024-09-10 Zeinab Ebrahimi , Mohammad Deghat

Cloud computing is a complex infrastructure of software, hardware, processing, and storage that is available as a service. Cloud computing offers immediate access to large numbers of the world's most sophisticated supercomputers and their…

Cryptography and Security · Computer Science 2013-03-07 Sugata Sanyal , Parthasarathy P. Iyer

With the spread of services related to cloud environment, it is tiresome and time consuming for users to look for the appropriate service that meet with their needs. Therefore, finding a valid and reliable service is essential. However, in…

Software Engineering · Computer Science 2015-01-08 Nouha Khédiri , Montaceur Zaghdoud

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-10-28 Neha Rino , Thomas Chatain

Recently, storage of huge volume of data into Cloud has become an effective trend in modern day Computing due to its dynamic nature. After storing, users deletes their original copy of the data files. Therefore users, cannot directly…

Networking and Internet Architecture · Computer Science 2020-04-16 Priodyuti Pradhan

This paper proposes a framework for time series generation built to investigate anomaly detection in cloud microservices. In the field of cloud computing, ensuring the reliability of microservices is of paramount concern and yet a…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-02 Mohamed Allam , Noureddine Boujnah , Noel E. O'Connor , Mingming Liu

Cloud service brokerage is an emerging technology that attempts to simplify the consumption and operation of hybrid clouds. Today's cloud brokers attempt to insulate consumers from the vagaries of multiple clouds. To achieve the insulation,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-12 Sreekrishnan Venkateswaran , Santonu Sarkar

We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on abstract states comprising centralised, global key-value…

Logic in Computer Science · Computer Science 2019-10-07 Shale Xiong , Andrea Cerone , Azalea Raad , Philippa Gardner

We present a distributed algorithm for joint power control, routing and scheduling in multihop wireless networks. The algorithm also provides for Quality of Service (QoS) guarantees, namely, end-to-end mean delay guarantees and hard…

Networking and Internet Architecture · Computer Science 2016-12-28 Ashok Krishnan K. S. , Vinod Sharma

With rapid growth in the amount of unstructured data produced by memory-intensive applications, large scale data analytics has recently attracted increasing interest. Processing, managing and analyzing this huge amount of data poses several…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-29 Farshid Farhat , Diman Zad Tootaghaj , Mohammad Arjomand