loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Buffered Asynchronous Communication Mechanisms
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
Fei Xia, Univ. of Newcastle upon Tyne, UK
Fei Hao, Univ. of Newcastle upon Tyne, UK
Ian Clark, Univ. of Newcastle upon Tyne, UK
Alex Yakovlev, Univ. of Newcastle upon Tyne, UK
E. Graeme Chester, Univ. of Newcastle upon Tyne, UK
Previous work on asynchronous communication mechanisms (ACMs) has not dealt with buffered forms (n>1). This paper describes a systematic design/synthesis process for ACMs with arbitrary buffer size, a series of resulting buffered ACM algorithms, and the modelling and simulation of these ACMs using Matlab, putting ACMs (esp. buffered ones) in the context of complex engineering systems.
Citation:
Fei Xia, Fei Hao, Ian Clark, Alex Yakovlev, E. Graeme Chester, "Buffered Asynchronous Communication Mechanisms," acsd, pp.36, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.