Toggle Main Menu Toggle Search

Open Access padlockePrints

Buffered asynchronous communication mechanisms

Lookup NU author(s): Dr Fei Xia, Fei Hao, Dr Ian Clark, Professor Alex Yakovlev, Dr Graeme Chester

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

Author(s): Xia F, Hao F, Clark I, Yakovlev A, Chester EG

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fourth International Conference on Application of Concurrency to System Design (ACSD)

Year of Conference: 2004

Pages: 36-44

Publisher: IEEE

URL: http://dx.doi.org/10.1109/CSD.2004.1309114

DOI: 10.1109/CSD.2004.1309114

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769520773


Actions

Find at Newcastle University icon    Link to this publication


Share