Sciweavers

2681 search results - page 19 / 537
» Topics in asynchronous systems
Sort
View
CRIWG
2006
13 years 10 months ago
Monitoring and Analyzing Group Interactions in Asynchronous Discussions with the DIAS System
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
Tharrenos Bratitsis, Angelique Dimitracopoulou
PODC
1996
ACM
14 years 23 days ago
Fail-Awareness in Timed Asynchronous Systems
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
Christof Fetzer, Flaviu Cristian
TACS
1997
Springer
14 years 23 days ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
SOFSEM
2009
Springer
14 years 5 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
TWC
2008
105views more  TWC 2008»
13 years 8 months ago
An EM approach to multiple-access interference mitigation in asynchronous slow FHSS systems
In this paper, we apply the EM algorithm for mitigation of multi-access interference (MAI) in asynchronous slow frequency-hop spread spectrum (FHSS) systems that employ binary freq...
Xing Tan, John M. Shea