Sciweavers

329 search results - page 8 / 66
» Asynchronous Communication in Process Algebra
Sort
View
SIAMCOMP
2000
74views more  SIAMCOMP 2000»
13 years 7 months ago
On Quiescent Reliable Communication
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg
ETS
2000
IEEE
142views Hardware» more  ETS 2000»
13 years 7 months ago
Acquiring Working Knowledge through Asynchronous Multimedia Conferencing
Asynchronous text-based communication has long been established as having value in supporting the collaborative sharing of knowledge. However, in cases where learners or practitio...
Cleo Sgouropoulou, Anastasios Koutoumanos, Peter G...
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
13 years 5 months ago
Asynchronous distributed optimization with minimal communication and connectivity preservation
Abstract-- We consider problems where multiple agents cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchan...
Minyi Zhong, Christos G. Cassandras
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
14 years 1 months ago
ACLE: A Communication Environment for Asynchronous Collaborative Learning
The popularity of distributed learning and the continued growth in the number of colleges and universities offering courses delivered entirely via asynchronous learning networks (...
Timothy J. Ellis, William Hafner
FSTTCS
2005
Springer
14 years 1 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...