ARTÍCULO
TITULO

Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems

Guofei Jiang    
Haifeng Chen    
Yoshihira    
K.    

Resumen

No disponible

 Artículos similares

       
 
Zulfiqar Ahmad, Tayfun Acarer and Wooseong Kim    
To ensure safe, effective, and efficient marine operations, the optimization of maritime communication workflows with a task-oriented scheduling framework is of the utmost importance. Navigation, vessel traffic management, emergency response, and cargo o... ver más

 
Saw Thiha and Jay Rajasekera    
The rapid expansion of video conferencing and remote works due to the COVID-19 pandemic has resulted in a massive volume of video data to be analyzed in order to understand the audience engagement. However, analyzing this data efficiently, particularly i... ver más
Revista: Algorithms

 
Dereje Regassa, Heon Young Yeom and Junseok Hwang    
Recent advancements in memory technology have opened up a wealth of possibilities for innovation in data structures. The emergence of byte-addressable persistent memory (PM) with its impressive capacity and low latency has accelerated the adoption of PM ... ver más
Revista: Applied Sciences

 
Maria Inês Frutuoso, Horácio C. Neto, Mário P. Véstias and Rui Policarpo Duarte    
Wearable devices used for personal monitoring applications have been improved over the last decades. However, these devices are limited in terms of size, processing capability and power consumption. This paper proposes an efficient hardware/software embe... ver más
Revista: Algorithms

 
Yihao Fang, Mu Niu, Pokman Cheung and Lizhen Lin    
We propose an extrinsic Bayesian optimization (eBO) framework for general optimization problems on manifolds. Bayesian optimization algorithms build a surrogate of the objective function by employing Gaussian processes and utilizing the uncertainty in th... ver más
Revista: Algorithms