Results 11 to 20 of about 301,798 (295)
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 ...
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 +5 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 +5 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
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
Hildebrandt, T., Sassone, V.
core +2 more sources
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
Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002), 2003 Leasing is a very effective way to improve the performance of distributed algorithms without hampering their fault-tolerance. The notion of lease has traditionally been defined using a global notion of time and was hence strongly tied to synchronous system models. This paper introduces a new notion of lease devised for an asynchronous system model.
Romain Boichat +2 more
openaire +2 more sources
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
Asynchronous datapaths and the design of an asynchronous adder [PDF]
Formal Methods in System Design, 1992 This paper presents a general method for designing delay insensitive datapath circuits. Its emphasis is on the formal derivation of a circuit from its specification. We discuss the properties required in a code that is used to transmit data asynchronously, and we introduce such a code.
openaire +4 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 +4 more sources