27 search results - page 6 / 6 » Hardware Synthesis for Asynchronous Communications Mechanism... |
CAV
2001
Springer
13 years 9 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
VLSID
1999
IEEE
13 years 9 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...