Search Results - Round-based algorithm

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata

Get full text

Reductions and abstractions for formal verification of distributed round-based algorithms by Barbosa, Raul, Fonseca, Alcides, Araujo, Filipe

“… This paper aims to provide a set of generic template models, appropriate for distributed round-based algorithms, to be used…”
Get full text

Optimal algorithms for synchronous Byzantine k-set agreement by Delporte-Gallet, Carole, Fauconnier, Hugues, Raynal, Michel, Safir, Mouna

Get full text

Round Based Extension Algorithm for Gossip Learning by Bagoly, Szabolcs-Marton, Danescu, Radu Gabriel

“…Distributed training algorithms represent a promising direction in providing specially crafted machine learning models, personalized on more appropriate user data samples producing greater overall user…”
Get full text

On the performance of a retransmission-based synchronizer by Nowak, Thomas, Függer, Matthias, Kößler, Alexander

“…Designing algorithms for distributed systems that provide a round abstraction is often simpler than designing for those that do not provide such an abstraction…”
Get full text

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata by Baumeister, Tom, Eichler, Paul, Jacobs, Swen, Sakr, Mouhammad, Völp, Marcus

“…Threshold automata are a computational model that has proven to be versatile in modeling threshold-based distributed algorithms and enabling their completely automatic parameterized verification…”
Get full text

Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound by Mostéfaoui, Achour, Raynal, Michel, Travers, Corentin

“… It has been shown that any algorithm that solves the k -set agreement problem in synchronous systems that can suffer up to t crash failures requires ⌊ t k…”
Get full text

Proposal of an integrated platoon‐based Round‐Robin algorithm with priorities for intersections with mixed traffic flows by Moradi, Hossein, Sasaninejad, Sara, Wittevrongel, Sabine, Walraevens, Joris

“…‐Robin has been selected as the main algorithm treating vehicles' platoons as the units…”
Get full text

Model Checking Round-Based Distributed Algorithms by Xin An, Jun Pang

“…In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus…”
Get full text

Trip planning within a multimodal urban mobility by Ulloa, Luis, Lehoux-Lebacque, Vassilissa, Roulland, Frédéric

“…To address the current challenges of mobility in large urban areas, the authors wish to make practical the experience of multimodal travels, where a range of…”
Get full text

Optical Switch Delay Guaranteed Scheduling Algorithm based on Iterative Round Robin by HUANG Hanting, YAN Fulong, GUO Shengjie, ZHANG Jie

“… In the study of fast optical switches, the scheduling algorithms focus on achieving a 100% throughput, with relatively less emphasis on ensuring Quality of Service (QoS).【Methods…”
Get full text

A Round-Based Cover Traffic Algorithm for Anonymity Systems by Rybczynska, M.

“… Our algorithm is based on four ideas: fixed time rounds, flow classification with different protection methods for different classes, protection depending on the potential cost and finally, use of history…”
Get full text

Prediction of peak particle velocity using hybrid random forest approach by Yan, Yu, Guo, Jiwei, Bao, Shijie, Fei, Honglu

“… Owing to the complexity of blasting process, there is controversy over which parameters will be considered as the inputs for empirical equations and machine learning (ML) algorithms…”
Get full text

AEUR: authenticated encryption algorithm design based on uBlock round function by Yatao YANG, Hui DONG, Jiantao LIU, Yanshuo ZHANG

“…In order to improve the efficiency of the implementation of the authenticated encryption algorithm without compromising the security of the algorithm, a new authenticated encryption algorithm AEUR…”
Get full text

AEUR: authenticated encryption algorithm design based on uBlock round function by Yatao YANG, Hui DONG, Jiantao LIU, Yanshuo ZHANG

“…In order to improve the efficiency of the implementation of the authenticated encryption algorithm without compromising the security of the algorithm, a new authenticated encryption algorithm AEUR…”
Get full text

Fair and efficient opportunistic interference alignment algorithm based on round-robin scheduling by Xian-zhong XIE, Hua-bing LU, Zhao-yuan SHI

“…Opportunistic interference alignment (OIA) algorithm was proposed for the practical implementation of interference alignment (IA…”
Get full text

Fair and efficient opportunistic interference alignment algorithm based on round-robin scheduling by Xian-zhong XIE, Hua-bing LU, Zhao-yuan SHI

“…Opportunistic interference alignment (OIA) algorithm was proposed for the practical implementation of interference alignment (IA…”
Get full text

Smart Hardening for Round-based Encryption Algorithms: Application to Advanced Encryption Standard by Lopez-Ongil, C., Jimenez-Horas, A., Portela-Garcia, M., Garcia-Valderas, M., Millan, E.S., Entrena, L.

“… In this paper, a specific protection for any round-based encryption algorithm is presented, analyzed and tested…”
Get full text

Estimations for (n,α) reaction cross sections at around 14.5MeV using Levenberg-Marquardt algorithm-based artificial neural network by Özdoğan, Hasan, Üncü, Yiğit Ali, Şekerci, Mert, Kaplan, Abdullah

“…) when compared to more advanced algorithms, the Levenberg-Marquardt algorithm-based ANN can be exceedingly fast…”
Get full text

Dynamic Round Robin CPU Scheduling Algorithm Based on K-Means Clustering Technique by Samih M. Mostafa, Hirofumi Amano

Get full text