Suchergebnisse - Round-based algorithm
-
1
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
ISBN: 9783031711619, 3031711610Veröffentlicht: Switzerland Springer 2024Veröffentlicht in Formal Methods (2024)Volltext
Buchkapitel -
2
Reductions and abstractions for formal verification of distributed round-based algorithms
ISSN: 0963-9314, 1573-1367Veröffentlicht: New York Springer US 01.09.2021Veröffentlicht in Software quality journal (01.09.2021)“… This paper aims to provide a set of generic template models, appropriate for distributed round-based algorithms, to be used …”
Volltext
Journal Article -
3
Optimal algorithms for synchronous Byzantine k-set agreement
ISSN: 0304-3975, 1879-2294Veröffentlicht: Elsevier 21.09.2023Veröffentlicht in Theoretical computer science (21.09.2023)Volltext
Journal Article -
4
Round Based Extension Algorithm for Gossip Learning
Veröffentlicht: IEEE 03.09.2020Veröffentlicht in 2020 IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP) (03.09.2020)“… 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 …”
Volltext
Tagungsbericht -
5
On the performance of a retransmission-based synchronizer
ISSN: 0304-3975, 1879-2294Veröffentlicht: Netherlands Elsevier B.V 21.10.2013Veröffentlicht in Theoretical computer science (21.10.2013)“… Designing algorithms for distributed systems that provide a round abstraction is often simpler than designing for those that do not provide such an abstraction …”
Volltext
Journal Article -
6
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 28.06.2024Veröffentlicht in arXiv.org (28.06.2024)“… 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 …”
Volltext
Paper -
7
Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound
ISSN: 0304-3975, 1879-2294Veröffentlicht: Oxford Elsevier B.V 2010Veröffentlicht in Theoretical computer science (2010)“… 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 …”
Volltext
Journal Article -
8
Optical Switch Delay Guaranteed Scheduling Algorithm based on Iterative Round Robin
ISSN: 1005-8788Veröffentlicht: 《光通信研究》编辑部 01.10.2024Veröffentlicht in Guangtongxin Yanjiu (01.10.2024)“… 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 …”
Volltext
Journal Article -
9
Proposal of an integrated platoon‐based Round‐Robin algorithm with priorities for intersections with mixed traffic flows
ISSN: 1751-956X, 1751-9578Veröffentlicht: Wiley 01.09.2021Veröffentlicht in IET intelligent transport systems (01.09.2021)“… ‐Robin has been selected as the main algorithm treating vehicles' platoons as the units …”
Volltext
Journal Article -
10
AEUR: authenticated encryption algorithm design based on uBlock round function
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.08.2023Veröffentlicht in Tongxin Xuebao (01.08.2023)“… 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 …”
Volltext
Journal Article -
11
AEUR: authenticated encryption algorithm design based on uBlock round function
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.08.2023Veröffentlicht in Tongxin Xuebao (01.08.2023)“… 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 …”
Volltext
Journal Article -
12
Fair and efficient opportunistic interference alignment algorithm based on round-robin scheduling
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 25.10.2017Veröffentlicht in Tongxin Xuebao (25.10.2017)“… Opportunistic interference alignment (OIA) algorithm was proposed for the practical implementation of interference alignment (IA …”
Volltext
Journal Article -
13
Fair and efficient opportunistic interference alignment algorithm based on round-robin scheduling
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.10.2017Veröffentlicht in Tongxin Xuebao (01.10.2017)“… Opportunistic interference alignment (OIA) algorithm was proposed for the practical implementation of interference alignment (IA …”
Volltext
Journal Article -
14
Model Checking Round-Based Distributed Algorithms
ISBN: 1424466385, 9781424466382Veröffentlicht: IEEE 01.03.2010Veröffentlicht in 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (01.03.2010)“… In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus …”
Volltext
Tagungsbericht -
15
Dynamic Round Robin CPU Scheduling Algorithm Based on K-Means Clustering Technique
ISSN: 2076-3417Veröffentlicht: MDPI AG 26.07.2020Veröffentlicht in Applied Sciences (26.07.2020)Volltext
Journal Article -
16
Round reduction-based fault attack on SM4 algorithm
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.10.2016Veröffentlicht in Tongxin Xuebao (01.10.2016)“… A novel method of fault attack based on round reduction against SM4 algorithm was proposed.Faults were in-jected into the last four rounds of the SM4 encryption algorithm,so that the number of the algorithm's rounds can be re …”
Volltext
Journal Article -
17
Round reduction-based fault attack on SM4 algorithm
ISSN: 1000-436XVeröffentlicht: Editorial Department of Journal on Communications 01.10.2016Veröffentlicht in Tongxin Xuebao (01.10.2016)“… A novel method of fault attack based on round reduction against SM4 algorithm was proposed.Faults were in-jected into the last four rounds of the SM4 encryption algorithm,so that the number of the algorithm's rounds can be re …”
Volltext
Journal Article -
18
Trip planning within a multimodal urban mobility
ISSN: 1751-956X, 1751-9578Veröffentlicht: The Institution of Engineering and Technology 01.03.2018Veröffentlicht in IET intelligent transport systems (01.03.2018)“… 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 …”
Volltext
Journal Article -
19
A Round-Based Cover Traffic Algorithm for Anonymity Systems
ISBN: 9781424451654, 1424451655Veröffentlicht: IEEE 01.11.2009Veröffentlicht in 2009 International Conference on Intelligent Networking and Collaborative Systems (01.11.2009)“… 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 …”
Volltext
Tagungsbericht -
20
Prediction of peak particle velocity using hybrid random forest approach
ISSN: 2045-2322, 2045-2322Veröffentlicht: London Nature Publishing Group UK 28.12.2024Veröffentlicht in Scientific reports (28.12.2024)“… 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 …”
Volltext
Journal Article

