Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.5, Iss.1, 2006-04, pp. : 13-25

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Site Partitioning for Redundant Arrays of Distributed Disks

By Mourad A.N. Fuchs W.K. Saab D.G.

Journal of Parallel and Distributed Computing, Vol. 33, Iss. 1, 1996-02 ,pp. : 1-11

Academic Press

Access to resources Recommend Favorite

Dynamic Data Partitioning for Distributed-Memory Multicomputers

By Palermo D.J. Hodges IV E.W. Banerjee P.

Journal of Parallel and Distributed Computing, Vol. 38, Iss. 2, 1996-11 ,pp. : 158-175

Academic Press

Access to resources Recommend Favorite

Model Checking Complete Requirements Specifications Using Abstraction

By Bharadwaj R.

Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. : 37-68

Springer Publishing Company

Access to resources Recommend Favorite

Packaging educational content using IMS specifications

By Low Boon

VINE, Vol. 32, Iss. 2, 2002-06 ,pp. : 40-46

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Using induction and rewriting to verify and complete parameterized specifications

By Bouhoula A.

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 245-276

Elsevier

Access to resources Recommend Favorite