Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
APLAS
2010
ACM
11 years 8 months ago
Concurrency Can't Be Observed, Asynchronously
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...
DSD
2009
IEEE
88views Hardware» more  DSD 2009»
11 years 9 months ago
A Synthesisable Quasi-Delay Insensitive Result Forwarding Unit for an Asynchronous Processor
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
Luis A. Tarazona, Doug A. Edwards, Luis A. Plana
DC
1999
11 years 11 months ago
A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector
or fault-tolerant asynchronous systems. It abstracts a family of problems known as Agreement (or Coordination) problems. Any solution to consensus can serve as a basic building blo...
Michel Hurfin, Michel Raynal
SIAMCOMP
2000
74views more  SIAMCOMP 2000»
11 years 11 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
CORR
2004
Springer
90views Education» more  CORR 2004»
11 years 11 months ago
Topics in asynchronous systems
In the paper we de
Serban E. Vlad
CORR
2008
Springer
95views Education» more  CORR 2008»
12 years 11 hour ago
Some properties of the regular asynchronous systems
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
Serban E. Vlad
ICCD
1997
IEEE
158views Hardware» more  ICCD 1997»
12 years 3 months ago
Practical Advances in Asynchronous Design
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
Erik Brunvand, Steven M. Nowick, Kenneth Y. Yun
PODC
1992
ACM
12 years 4 months ago
The Weakest Failure Detector for Solving Consensus
We determine what information about failures is necessary and sufficient to solve Consensus in asynchronous distributed systems subject to crash failures. In Chandra and Toueg [199...
Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toue...
CONCUR
2003
Springer
12 years 5 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
CAV
2003
Springer
154views Hardware» more  CAV 2003»
12 years 5 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
books