A Formal Specification of the Memorization Process

E-ISSN： 1557-3966|1|4|47-60

ISSN： 1557-3958

Source： International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol.1, Iss.4, 2007-10, pp. : 47-60

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

Abstract

Related content

Formal specification of parallel SIMD execution

By Farrell C.A. Kieronska D.H.

Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. : 39-65

Elsevier

Access to resources Recommend Favorite

Complete Formal Specification of the OpenMP Memory Model

By Bronevetsky Greg Supinski Bronis

International Journal of Parallel Programming, Vol. 35, Iss. 4, 2007-08 ,pp. : 335-392

Springer Publishing Company

Access to resources Recommend Favorite

An approach to formal specification and verification of map-centered applications

By Nelson M.A.V. Alencar P.S.C. Cowan D.D.

Environmental Modelling and Software, Vol. 16, Iss. 5, 2001-07 ,pp. : 459-465

Elsevier

Access to resources Recommend Favorite

Formal Verification of Activity-Based Specification of Protocols

By Anand K.C. Shyamasundar R.K.

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 5, 2000-05 ,pp. : 639-676

Academic Press

Access to resources Recommend Favorite

UML specification of access control policies and their formal verification

By Koch Manuel Parisi-Presicce Francesco

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 429-447

Springer Publishing Company

Access to resources Recommend Favorite