Results 11 to 20 of about 257,949 (316)
Proceedings of the ACM on Programming Languages, 2021 We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signalling that an operation’s implementation needs to be executed, and interrupting a running ...
Danel Ahman, Matija Pretnar
openaire +2 more sources
Asynchronous Announcements [PDF]
ACM Transactions on Computational Logic, 2022 We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order in which they were sent. Additional to epistemic modalities the logic contains dynamic modalities for making announcements and for receiving them.
Philippe Balbiani +2 more
openaire +3 more sources
IEEE Transactions on Automatic Control, 2008 This paper formulates and solves a version of the widely studied Vicsek consensus problem in which each member of a group of n > 1 agents independently updates its heading at times determined by its own clock. It is not assumed that the agents' clocks are synchronized or that the "event" times between which any one agent updates its heading are ...
Ming Cao 0001 +2 more
openaire +2 more sources
Journal of the ACM, 2013 We study the complexity of gossip in an asynchronous, message-passing fault-prone distributed system. We show that an adaptive adversary can significantly hamper the spreading of a rumor, while an oblivious adversary cannot.
Georgiou, Chryssis +7 more
openaire +3 more sources
On the Asynchronous Nature of the Asynchronous π-Calculus [PDF]
, 2008 We address the question of what kind of asynchronous com- munication is exactly modeled by the asynchronous pi-calculus (pi_a). To this purpose we define a calculus pi_B where channels are represented explicitly as special buffer processes. The base language for pi_B is the (synchronous) pi-calculus, except that ordinary processes communicate only via ...
Beauxis, Romain +2 more
openaire +3 more sources
Serialized Asynchronous Links for NoC [PDF]
, 2008 This paper proposes an asynchronous serialized link for NoC that can achieve the same levels of performance in terms of flits per second as a synchronous link but with a reduced number of wires in the point to point switch links and reduced power ...
B. Al-Hashimi +12 more
core +1 more source
Decentralized Machine Learning Training: A Survey on Synchronization, Consolidation, and Topologies
IEEE Access, 2023 Federated Learning (FL) has emerged as a promising methodology for collaboratively training machine learning models on decentralized devices. Notwithstanding, the effective synchronization and consolidation of model updates originating from diverse ...
Qazi Waqas Khan +5 more
doaj +1 more source
Comparing Transition Systems with Independence and Asynchronous Transition Systems [PDF]
, 1996 Transition systems with independence and asynchronous transition systems are noninterleaving models for concurrency arising from the same simple idea of decorating transitions with events. They differ for the choice of a derived versus a primitive notion
Thomas T. Hildebrandt +4 more
core +1 more source
Frontiers in Human Neuroscience, 2021 The Pandemic of 2020 impacted conducting in-person research. Our proposed project already had an asynchronous online component but was later morphed to add a synchronous online component, thereby eliminating the need for in-person assessment. The project
Reem Almagati +2 more
doaj +1 more source
The complexity of asynchronous model based testing [PDF]
, 2012 This is the post-print version of the final paper published in Theoretical Computer Science. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural ...
Hierons, Robert M., Hierons, RM
core +1 more source