Title of article
On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its users specification
Author/Authors
Bandyopadhyay، J. N. نويسنده , , Bandyopadhyay، A. K. نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
-1256
From page
1257
To page
0
Abstract
Method for the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its userʹs specification is described. Dijkstraʹs weakest pre-condition approach is used as the specification language.
Keywords
Inclusion scheduling , Module selections , Acceptable designs , Design space exploration , Module utility
Journal title
Journal of Systems Architecture
Serial Year
2000
Journal title
Journal of Systems Architecture
Record number
11702
Link To Document