Suchergebnisse - Round-based algorithm

  1. 1

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

    ISBN: 9783031711619, 3031711610
    Veröffentlicht: Switzerland Springer 2024
    Veröffentlicht in Formal Methods (2024)
    Volltext
    Buchkapitel
  2. 2

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

    ISSN: 0963-9314, 1573-1367
    Veröffentlicht: New York Springer US 01.09.2021
    Verö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. 3

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

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier 21.09.2023
    Veröffentlicht in Theoretical computer science (21.09.2023)
    Volltext
    Journal Article
  4. 4

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

    Veröffentlicht: IEEE 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. 5

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

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Netherlands Elsevier B.V 21.10.2013
    Verö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. 6

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 28.06.2024
    Verö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. 7

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

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Oxford Elsevier B.V 2010
    Verö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. 8

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

    ISSN: 1005-8788
    Veröffentlicht: 《光通信研究》编辑部 01.10.2024
    Verö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. 9

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

    ISSN: 1751-956X, 1751-9578
    Veröffentlicht: Wiley 01.09.2021
    Verö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. 10

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

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 01.08.2023
    Verö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. 11

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

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 01.08.2023
    Verö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. 12

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

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 25.10.2017
    Verö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. 13

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

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 01.10.2017
    Verö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. 14

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

    ISBN: 1424466385, 9781424466382
    Veröffentlicht: IEEE 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. 15

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

    ISSN: 2076-3417
    Veröffentlicht: MDPI AG 26.07.2020
    Veröffentlicht in Applied Sciences (26.07.2020)
    Volltext
    Journal Article
  16. 16

    Round reduction-based fault attack on SM4 algorithm von Min WANG, Zhen WU, Jin-tao RAO, Hang LING

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 01.10.2016
    Verö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. 17

    Round reduction-based fault attack on SM4 algorithm von Min WANG, Zhen WU, Jin-tao RAO, Hang LING

    ISSN: 1000-436X
    Veröffentlicht: Editorial Department of Journal on Communications 01.10.2016
    Verö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. 18

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

    ISSN: 1751-956X, 1751-9578
    Veröffentlicht: The Institution of Engineering and Technology 01.03.2018
    Verö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. 19

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

    ISBN: 9781424451654, 1424451655
    Veröffentlicht: IEEE 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. 20

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

    ISSN: 2045-2322, 2045-2322
    Veröffentlicht: London Nature Publishing Group UK 28.12.2024
    Verö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