The goal of this article is to examine the effectiveness of “for-loop” and “while-loop” statements on SCMPDS by insert sort. In this article, first of all, we present an approach to compute the execution result of “for-loop” program by “loop-invariant”, based on Hoare’s axioms for program verification. Secondly, we extend the fundamental properties of the finite sequence and complex instruction...

background & aim: men’s sexual and reproductive health is one of the most important public health issues. however, less attention has been paid to this matter, compared to women’s health issues. the aim of this study was to evaluate the educational needs of men regarding sexual and reproductive health in ahvaz, iran. methods:this descriptive study was performed on 1,068 adult men (aged 20-60 ye...

A WHILE-loop can be viewed as a FOR-loop with a dynamic upper bound. The computational model of convex polytopes is useful for the automatic parallelization of FOR-loops. We investigate its potential for the parallelization of WHILE-loops. 1. WHILE-loops as FOR-loops We denote a FOR-loop as follows: FOR index := lower bound TO upper bound DO body The step size (also called stride) of a FOR-loop...

The goal of this article is to examine the effectiveness of “forloop” and “while-loop” statements on SCMPDS by insert sort. In this article, first of all, we present an approach to compute the execution result of “for-loop” program by “loop-invariant”, based on Hoare’s axioms for program verification. Secondly, we extend the fundamental properties of the finite sequence and complex instructions...

A WHILE-loop can be viewed as a FOR-loop with a dynamic upper bound. The computational model of polytopes is useful for the automatic parallelization of FOR-loops. We investigate its potential for the parallelization of WHILE-loops. 1. WHILE-loops as FOR-loops We denote a FOR-loop as follows: FOR index := lower bound TO upper bound DO body The step size (also called stride) of a FOR-loop is +1....

Automatic data transfer generation is a critical step for guided or automatic code generation for accelerators using distributed memories. Although good results have been achieved for loop nests, more complex control ows such as switches or while loops are generally not handled. This paper shows how to leverage the convex array regions abstraction to generate data transfers. The scope of this s...

Gender and Ethnic Diversity in US Boardrooms: Is the Glass Ceiling Stifling Firm Financial Growth? by Dionne Roberts May 2017 Committee Chair: Dr. Subhashish Samaddar Major Academic Unit: Robinson College of Business The purpose of this research was to explore the relationship between diversity within the boards of directors of American companies and firm financial growth. Specifically, this st...

background: pituitary and gonadal dysfunctions resulting from increased adiposity leading to disturbances of sexual and reproductive functions have been reported in males with metabolic syndrome (ms) and type 2 diabetes mellitus (dm2). the aim of this study was to evaluate sexual dysfunction, leptin, and reproductive hormones in nigerian males with ms and dm2. methods: participants were 104 men...