Results 11 to 20 of about 218,678 (294)
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 Gradient Push [PDF]
IEEE Transactions on Automatic Control, 2021 33 pages, 9 figures, accepted to IEEE Transactions on Automatic ...
Mahmoud S. Assran, Michael G. Rabbat
openaire +2 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 ...
Cao, Ming +2 more
openaire +2 more sources
Synchronizing the Asynchronous
, 2018 Synchronous programs are easy to specify because the side effects of an operation are finished by the time the invocation of the operation returns to the caller. Asynchronous programs, on the other hand, are difficult to specify because there are side effects due to pending computation scheduled as a result of the invocation of an operation.
Bernhard Kragl +2 more
openalex +4 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
Asynchronous Mappings and Asynchronous Cellular Automata
Information and Computation, 1993 Asynchronous cellular automata are studied. They differ from usual cellular automata by decentralized control structure and by asynchronous performing of actions. Their behaviour is described by trace languages, subsets of partially commutative monoids.
Cori, Robert +2 more
openaire +3 more sources
Asynchronous exclusive selection [PDF]
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, 2008 We consider the task of assigning unique integers to a group of processes in an asynchronous distributed system of a total of $n$ processes prone to crashes that communicate through shared read-write registers. In the Renaming problem, an arbitrary group of $k\le n$ processes that hold the original names from a range $[N]=\{1,\ldots,N\}$, contend to ...
Chlebus, Bogdan S., Kowalski, Dariusz R.
openaire +2 more sources
ALSUNIYAT, 2022 Providing student well-being in the midst of the covid-19 pandemic is very important to achieve the objectives of teaching and learning Arabic. Lecturers as one component of education are required to have competence in managing teaching and learning ...
Anwar Sanusi +2 more
doaj +1 more source
Asynchronous Readers and Asynchronous Writers
, 2019 Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator XY, which disconnects the ...
Boode, Ton, Broenink, Jan F.
openaire +1 more source
Asynchronous-transition HMM [PDF]
2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100), 2002 We propose a new class of hidden Markov model (HMM) called asynchronous-transition HMM (AT-HMM). Opposed to conventional HMMs where hidden state transition occurs simultaneously to all features, the new class of HMM allows state transitions asynchronized between individual features to better model asynchronous timings of acoustic feature changes.
Matsuda, Shigeki +3 more
openaire +2 more sources