Efficient FPGA Hardware Development: A Multi-Language Approach

This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high-level hardware design and efficient hardware implementation. The central idea of this framework is the integration of different hardware languages in a way that harnesses the best features of each language. This is illustrated in this paper by the integration of two hardware languages in the form of HIDE: a structured hardware language which provides more abstract and elegant hardware descriptions and compositions than are possible in traditional hardware description languages such as VHDL or Verilog, and Handel-C: an ANSI C-like hardware language which allows software and hardware engineers alike to target FPGAs from high-level algorithmic descriptions. On the one hand, HIDE has proven to be very successful in the description and generation of highly optimised parameterisable FPGA circuits from geometric descriptions. On the other hand, Handel-C has also proven to be very successful in the rapid design and prototyping of FPGA circuits from algorithmic application descriptions. The proposed integrated framework hence harnesses HIDE for the generation of highly optimised circuits for regular parts of algorithms, while Handel-C is used as a top-level design language from which HIDE functionality is dynamically invoked. The overall message of this paper posits that there need not be an exclusive choice between different hardware design flows. Rather, an integrated framework where different design flows can seamlessly interoperate should be adopted. Although the idea might seem simple prima facie, it could have serious implications on the design of future generations of hardware languages.

BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

Attachment Style in Adults who Failed to Thrive as Children: Outcomes of a 20 Year Follow-up Study of Factors Influencing Maintenance or Change in Attachment Style

A group of children identified as non-organic failure-to-thrive between 1977 and 1980 were investigated, assessed and provided with social work intervention and treatment. Those children and their families have been followed up for the last 20 years. The current paper examines the stability of an internal working model in a sample of individuals who had failed to thrive as children, by comparing each individual's adult attachment style with their childhood attachment to their mother. In this sample, several cases showed changes from insecure to secure attachment styles. Possible reasons are discussed for positive and negative changes, as well as cases when there was no change in attachment style. These include the effectiveness of intervention in addition to changes in life circumstances. The findings suggest that when appropriate support and intervention is provided, or when different circumstances or relationships are experienced, internal working models can change.

Impact of the intrinsic motivation on the academic performance through voluntary assignments: An empirical analysis

The students academic performance is a key aspect for all agents involved in a higher education quality program. However, there is no unanimity on how to measure it. Some professionals choose assessing only cognitive aspects while others lean towards assessing the acquisition of certain skills. The need to train increasingly adapted professionals in order to respond to the companies’ demands and being able to compete internationally in a global labour market requires a kind of training that goes beyond memorizing. Critical and logical thinking are amongst written language skills demanded in the field of Social Sciences. The objective of this study is to empirically demonstrate the impact of voluntary assignments on the academic performance of students. Our hypothesis is that students who complete high quality voluntary assignments are those more motivated and, therefore, those with higher grades. An experiment with students from the "Financial Accounting II" during the academic year of 2012/13 at the Business and Economics School of the UCM was carried out. A series of voluntary assessments involving the preparation of accounting essays were proposed in order to develop skills and competencies as a complement to the lessons included in the curriculum of the subject. At the end of the course, the carrying-out or not of the essay together with its critical, reflective quality and style, were compared. Our findings show a relationship between the voluntarily presented papers of quality and the final grade obtained throughout the course. These results show that the students intrinsic motivation is a key element in their academic performance. On the other hand, the teachers role focuses on being a motivating element through the learning process.

Conscientiousness and laboriousness as academic achievement predictors in a Spanish students sample

To understand academic performance of students, the variable of conscientiousness from personality inventory Big Five, has been recognized as an important key. The aim of this paper is to analyze the relationship established between the personality factor conscientiousness itself and two of its facets, laboriousness and planning, with academic performance, and observe if there are genre differences in consciousness personality factor. A total of 456 Spanish students of high school and college participated in the study. They were requested to answer a personality report and a self inform questionnaire. The results show that both conscientiousness as a personality dimension and the consideration of laboriousness facet are able to predict academic performance, especially with regard to student’s exam marks, classroom attendance and dedication to study. The genre variable pointed out that feminine genre is more conscious than male in that personality factor. From a practical perspective, these results indicate that the establishment of a routine of continuous work is suitable for improving student grades and their adaptation to the educational environment.