As more and more programs are written in explicitly parallel programming languages , it becomes essential to extend the scope of sequential analysis and optimization techniques to explicitly parallel programs. Since the deenition of a program dependence graph (PDG) is strongly tied to its underlying sequential program, the PDG is an inadequate intermediate representation for analysis and optimi...

Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is the lack of an explicit representation of the patterns used in a program, as the collaboration between classes is normally expressed in the code of the class itself. In this paper, we present a method for explicitly representi...

Extension of components should be consistent in the sense that the extending component does not introduce any unexpected behaviour. We formulate requirements which allow consistent extension of components in presence of explicit invariants. We concentrate on the issue of extension consistency with forwarding as the reuse mechanism, and discuss the additional problems which require solution when...

We present an explicit method to produce upper bounds for the dimension of the moduli spaces of complete integral Gorenstein curves with prescribed symmetric Weierstrass semigroups.

 Abstract Objective: The intervention program evaluated through a randomized controlled trial design, on 116 women aged 40-65, based on Intervention Map to increase consumption of calcium rich foods to prevent osteoporosis. Method: Osteoporosis knowledge and stages of change of calcium intake were as the effect variables and frequency of calcium rich foods consumption was as the outcome variabl...

In the present study, the nonlinear model of non-Newtonian blood flow in cosine-shape stenosed elastic artery is numerically examined. The model is carried out for axisymmetric, two-dimensional and fully developed blood flow. The vessel wall is assumed to be have time-dependent radius that is important factor for study of blood flow. The cosine-shape stenosis convert to rigid artery by using a ...

In this paper, an enhanced computational code was developed using finite-volume method for solving the incompressible natural convection flow within the cylindrical cavities. Grids were generated by an easy method with a view to computer program providing. An explicit integration algorithm was applied to find the steady state condition. Also instead of the conventional algorithms of SIMPLE, SIM...

Many studies have examined the effect of different approaches to teaching grammar including explicit and implicit instruction. However, research in this area is limited in a number of respects. One such limitation pertains to the issue of construct validity of the measures, i.e. the knowledge developed through implicit instruction has been measured through instruments which favor th...

We present a deductive approach for the analysis of secure information flows with support for fine-grained policies that include declassifications in the form of delimited information release. By explicitly tracking the dependencies of program locations as a computation history, we maintain high precision, while avoiding the need for comparing independent program runs. By considering an explici...