Results 11 to 20 of about 542,389 (286)
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
Markov two-components processes [PDF]
, 2013 We propose Markov two-components processes (M2CP) as a probabilistic model of asynchronous systems based on the trace semantics for concurrency. Considering an asynchronous system distributed over two sites, we introduce concepts and tools to manipulate ...
Abbes, Samy
core +4 more sources
The EUROCALL Review, 2018 Classroom instruction provides a limited amount of quality speaking practice for language learners. Asynchronous multimedia-based oral communication is one way to provide learners with quality speaking practice outside of class.
Eric H. Young, Rick E. West
doaj +1 more source
Online Learning: Practices, Perceptions, and Technology
Canadian Journal of Learning and Technology, 2020 The purpose of this study was to examine factors influencing online learning given its rapid growth combined with the necessity to reduce attrition in online classes by providing quality instruction. This study was contextualized using the three elements
Tess Miller, Kendra MacLaren, Han Xu
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 +3 more sources
Educational Futures, 2022 The COVID-19 pandemic has presented a significant disruption to the Higher Education sector. This has been particularly evident within health and social care education, with the added need for both students and educators to support the frontline ...
Amanda Turner, Elizabeth Wheatley
doaj