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
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
Journal title :
Journal of Systems Architecture
