Translation Validation of Loop Invariant Code Optimizations Involving False Computations

2017 ◽  
pp. 767-778 ◽  
Author(s):  
Ramanuj Chouksey ◽  
Chandan Karfa ◽  
Purandar Bhaduri
Keyword(s):  
Loop Invariant ◽  
Translation Validation ◽  
Code Optimizations

Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set

2021 ◽  
Author(s):  
Jixin Han ◽  
Tomofumi Yuki ◽  
Michelle Mills Strout ◽  
Dan Umeda ◽  
Hironori Kasahara ◽  
...  
Keyword(s):  
Parallelizing Compiler ◽  
Task Set ◽  
Translation Validation ◽  
And Task

Verified Spilling and Translation Validation with Repair

2017 ◽  
pp. 427-443
Author(s):  
Julian Rosemann ◽  
Sigurd Schneider ◽  
Sebastian Hack
Keyword(s):  
Translation Validation

From High School to Higher Education

2021 ◽  
Vol 12 (4) ◽  
pp. 36-51
Author(s):  
Francesco Maiorana
Keyword(s):  
Higher Education ◽  
High School ◽  
Computer Science ◽  
Curriculum Design ◽  
Research Effort ◽  
Learning Trajectory ◽  
Lifelong Education ◽  
Learning Trajectories ◽  
Loop Invariant ◽  
Key Concepts

The vision of introducing computing as a literacy taught from primary school to higher and lifelong education is producing a worldwide new curriculum design and adoption. A strong research effort has involved researchers and educators to find the best ways to prepare teachers and their students for computing with an emphasis on core computer science concepts. This paper, starting from a previously developed curriculum, aims to present and discuss learning trajectories for a first course on computing aiming to presenting key concepts first, such as functions and their use. This learning trajectory is compared with a second learning trajectory presenting loop and loop invariant first and a third one presenting variable first.

scholarly journals The Quality of Life of Older Individuals Following the World Health Organization Assessment Criteria

Geriatrics ◽  
2020 ◽  
Vol 5 (4) ◽  
pp. 102
Author(s):  
Margarida Goes ◽  
Manuel José Lopes ◽  
João Marôco ◽  
Henrique Oliveira ◽  
César Fonseca ◽  
...  
Keyword(s):  
Quality Of Life ◽  
World Health Organization ◽  
Factor Score ◽  
Life Assessment ◽  
World Health ◽  
World Health Organization Quality ◽  
Translation Validation ◽  
The World ◽  
Health Organization

The aim of this study was to evaluate the psychometric qualities of the WHOQOL-BREF(PT) (the questionnaire developed by the World Health Organization Quality of Life Grpup for quality of life assessment), when applied to Portuguese elderly people residing in a community setting. The psychometric qualities were assessed by confirmatory factor analysis. A hierarchical second-order model and a third model were performed, and all three models presented similar and reasonable adjustment indexes. The data analysis showed that the construct failed only regarding discriminant validity because the correlations between the first-order factors were higher, associated with lower values of average variance extracted. The psychometric qualities found in the original translation/validation of the WHOQOL-BREF(PT) were compared with those found in this study; this study found higher correlations between domains but a similar level of factor reliability. The findings of this study lead to three recommendations: (i) to compute each factor score for each participant using the factor score weights obtained from confirmatory analysis models instead of adopting a unitary weight for each item, as proposed by the authors of the original translation/validation of the WHOQOL-BREF(PT); (ii) to compute a QOL score, which is not included in the original translation/validation; and (iii) to analyze differences between individual scores for each participants, which should be done by a group of health experts.

scholarly journals An Empirical Investigation on System and Statement Level Parallelism Strategies for Accelerating Scatter Search Using Handel-C and Impulse-C

VLSI Design ◽  
2012 ◽  
Vol 2012 ◽  
pp. 1-11
Author(s):  
M. Walton ◽  
O. Ahmed ◽  
G. Grewal ◽  
S. Areibi
Keyword(s):  
Optimization Problems ◽  
Scatter Search ◽  
Population Based ◽  
Field Programmable ◽  
Speed Up ◽  
Time Required ◽  
High Level ◽  
Level Parallelism ◽  
Code Optimizations ◽  
Established Population

Scatter Search is an effective and established population-based metaheuristic that has been used to solve a variety of hard optimization problems. However, the time required to find high-quality solutions can become prohibitive as problem sizes grow. In this paper, we present a hardware implementation of Scatter Search on a field-programmable gate array (FPGA). Our objective is to improve the run time of Scatter Search by exploiting the potentially massive performance benefits that are available through the native parallelism in hardware. When implementing Scatter Search we employ two different high-level languages (HLLs): Handel-C and Impulse-C. Our empirical results show that by effectively exploiting source-code optimizations, data parallelism, and pipelining, a 28x speed up over software can be achieved.

Sign in / Sign up

Export Citation Format

Share Document