Visifold: a Graphic Environment for a Coordination Language

VISIFOLD: A Visual Environment for a Coordination Language

COFRE: Environment for Specifying Coordination Requirements using Formal, and Graphical Techniques

Advances in computer science have enabled the development of more and more complex systems. One of the most powerful tools to manage these systems is coordination models and languages. However, a serious limitation of these models, with regard to their usability, is that they do not provide support to manage the coordination constraints from the early stages in the software life cycle. Indeed, ...

The Impact of Visualization and Graphic Organizers on EFL Learners’ Cognitive, Emotional, and Behavioral Engagement and Listening

The present study examined the impact of visualization and graphic organizers as pre-listening strategies on English as a foreign language (EFL) learners’ cognitive, behavioral, and emotional engagement and their listening comprehension. To do so, this study was carried out in three listening classes at Islamic Azad University of Mashhad. The participants included 80 junior EFL university stude...

Using Teacher- and Student-Developed Graphic Organizers as a Writing Tool

This study investigated 1) whether the effect of teacher-developed graphic organizers vis-à-vis student-developed ones was more significant on improving intermediate EFL learners’ writing, and 2) whether the use of both graphic organizers had any impact on their writing. The participants were selected in two stages: 130 students sat for a piloted proficiency test. Those who scored above half of...

Numerical Simulation of a Lead-Acid Battery Discharge Process using a Developed Framework on Graphic Processing Units

In the present work, a framework is developed for implementation of finite difference schemes on Graphic Processing Units (GPU). The framework is developed using the CUDA language and C++ template meta-programming techniques. The framework is also applicable for other numerical methods which can be represented similar to finite difference schemes such as finite volume methods on structured grid...