Verification of parameterized cache coherence protocol is very important in the share-memory multiprocessor system. In this paper, a new method was proposed to verify the correctness of parameterized cache coherence protocol based on the invariant. Firstly, we present the parameterized cache coherence protocol as semi-algebraic transition system, and then solve the invariant of transition syste...

Synthesis is the process of automatically constructing an implementation from a specification. In parameterized synthesis, we construct a single process such that the distributed system consisting of an arbitratry number of copies of the process satisfies a parameterized specification. In this paper, we present Party, a tool for parameterized synthesis from specifications in indexed linear temp...

In this paper, the solution of the evolutionaryfourth-order in space, Sivashinsky equation is obtained by meansof homotopy perturbation method (textbf{HPM}). The results revealthat the method is very effective, convenient  and quite accurateto systems of nonlinear partial differential equations.

In this paper, we study semi-analytical methods entitled Homotopy pertourbation method (HPM) to solve fuzzy impulsive fractional differential equations based on the concept of generalized Hukuhara differentiability. At the end first of Homotopy pertourbation method is defined and its properties are considered completely. Then econvergence theorem for the solution are proved and we will show tha...

In this paper Mathematica is used to solve the moving boundary problem of freezing in a finite slab for higher order perturbations. Mathematica is a new system which makes it possible to do algebra with computer. More specifically, it enables researchers to find the location of the ice at any time for as high order of perturbation as one whishes. Using of Mathematica and outer solution and an i...

We present an efficient method for the reduction of model equations in the linearized diffuse optical tomography (DOT) problem. We first implement the maximum a posteriori (MAP) estimator and Tikhonov regularization, which are based on applying preconditioners to linear perturbation equations. For model reduction, the precondition is split into two parts: the principal components are consid...

In this paper, the homotopy perturbation method (HPM) is applied to obtain an approximate solution of the fractional Bratu-type equations. The convergence of the method is also studied. The fractional derivatives are described in the modied Riemann-Liouville sense. The results show that the proposed method is very ecient and convenient and can readily be applied to a large class of fractional p...

this paper a novel homotopy perturbation method has been presented for forced convection boundary layer problems in a porous medium. Noting the infinite condition, a homotopy form which is similar to the singular perturbation form has been considered. The inner and outer solutions have been achieved and the coincidence of the results has been investigated with a proper matching method. The resu...