This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of the global topology using a protocol specification language based on parameterised multiparty session types (MPST). An MPI parallel program backbone is automatically generated from the global specification. The backbo...

Active Networking is an innovative technology which can open the network and make it more flexible. But, introducing active code within the network increases the network vulnerability from security point of view. The security is always considered as a separated component or an upper layer of the active network architecture. In this paper, we develop a global security architecture for a safe cod...

A global simulation code is developed to study the ICRF heating combining two global simulation codes: a full wave field solver, TASK/WM, and a drift kinetic equation solver, GNET. The both codes can treat a 3-D magnetic configuration based on the MHD equilibrium by VMEC code. The developed code is applied to the ICRF minority heating in a simple circular tokamak. The ICRF wave propagation is s...

The increasing complexity, heterogeneity, and rapid evolution of modern computer architectures present obstacles for achieving high performance of scientific codes on different machines. Empirical performance tuning is a viable approach to obtain highperforming code variants based on their measured performance on the target machine. In previous work, we formulated the search for the best code v...

On 21 May 1981 the WHO International Code of Marketing Breast Milk Substitutes (hereafter referred to as the Code) was passed by 118 votes to 1, the US casting the sole negative vote. The Code arose out of concern that the dramatic increase in mortality, malnutrition and diarrhoea in very young infants in the developing world was associated with aggressive marketing of formula. The Code prohibi...

The eeectiveness of traditional global optimizations is limited by the quality of data-ow information available to the compiler. The rich control structure of many programs hinders global optimizations by polluting data-ow information and forcing the compiler to make worst-case assumptions during data-ow analysis. Path splitting is a new technique for improving the amount of data-ow information...

‎‎a natural generalization of two dimensional cyclic code ($t{tdc}$) is two dimensional skew cyclic code‎. ‎it is well-known that there is a correspondence between two dimensional skew cyclic codes and left ideals of the quotient ring $r_n:=f[x,y;rho,theta]/_l$‎. ‎in this paper we characterize the left ideals of the ring $r_n$ with two methods and find the generator matrix for two dimensional s...