Task-based programming models are a promising approach to exploiting complex distributed and heterogeneous systems. However, integrating different communication, offloading, and storage APIs within tasks poses perform...
详细信息
ISBN:
(数字)9783031617638
ISBN:
(纸本)9783031617621;9783031617638
Task-based programming models are a promising approach to exploiting complex distributed and heterogeneous systems. However, integrating different communication, offloading, and storage APIs within tasks poses performance and deadlock risks. Several Task-Aware libraries, such as TAMPI, TASIO, and TACUDA, have been developed to integrate blocking and non-blocking APIs within task-based programming models efficiently. In this paper, we introduce the Asynchronous Low-level programming Interface (ALPI) to enable the interoperability and portability of Task-Aware libraries across various programming models and runtime systems. We have implemented ALPI in the Nanos6 and nOS-V runtimes, enhancing the integration of Task-Aware libraries with the OmpSs-2 and OpenMP programming models. This work is a step towards improving the composability of parallel programming models by supporting Task-Aware libraries across different runtime systems.
To tackle the energy crisis and climate change,wind farms are being heavily invested in across the *** China's coastal areas,there are abundant wind resources and numerous offshore wind farms are being *** secure ...
详细信息
To tackle the energy crisis and climate change,wind farms are being heavily invested in across the *** China's coastal areas,there are abundant wind resources and numerous offshore wind farms are being *** secure operation of these wind farms may suffer from typhoons,and researchers have studied power system operation and resilience enhancement in typhoon ***,the intricate movement of a typhoon makes it challenging to evaluate its spatial-temporal *** published papers only consider predefined typhoon trajectories neglecting *** address this challenge,this study proposes a stochastic unit commitment model that incorporates high-penetration offshore wind power generation in typhoon *** adopts a data-driven method to describe the uncertainties of typhoon trajectories and considers the realistic anti-typhoon mode in offshore wind farms.A two-stage stochastic unit commitment model is designed to enhance power system resilience in typhoon *** formulate the model into a mixed-integer linear programming problem and then solve it based on the computationally-efficient progressive hedging algorithm(PHA).Finally,numerical experiments validate the effectiveness of the proposed method.
This paper describes a study in which a computer terminology translation activity was implemented in a CS1 class using a specially designed web application. Students translated an English technical term into their nat...
详细信息
ISBN:
(纸本)9798400704239
This paper describes a study in which a computer terminology translation activity was implemented in a CS1 class using a specially designed web application. Students translated an English technical term into their native language and wrote an accompanying definition of the term. These completed translations were then reviewed anonymously by their peers. Finally, students voted on the most highly rated translations to compose a glossary of translations. These activities were developed to prompt students to enhance their understanding of English computing terms, thereby aiding their academic pursuits. The activity, along with the web based application, was tested in a CS1 class comprising 90 non-native English speaking students. Additionally, a significant number of students voluntarily participated in a computer terminology test that had been administered to previous cohorts within the same class. Among the students who engaged in the translation activity, the average performance on this test was 8% higher. At the conclusion of the class, a survey was conducted to capture students' perceptions of the activity. Out of the total students, 67 completed the survey. The feedback received indicated that the majority of students recognized the advantageous impact of the translation activity on their programming learning. A considerable number of students expressed a keen interest in participating in another translation activity during their upcoming courses.
We consider sensitivity analysis for Mixed Binary Quadratic Programs (MBQPs) with respect to changing right-hand-sides (rhs). We show that even if the optimal solution of a given MBQP is known, it is NP-hard to approx...
详细信息
ISBN:
(纸本)9783031598340;9783031598357
We consider sensitivity analysis for Mixed Binary Quadratic Programs (MBQPs) with respect to changing right-hand-sides (rhs). We show that even if the optimal solution of a given MBQP is known, it is NP-hard to approximate the change in objective function value with respect to changes in rhs. Next, we study algorithmic approaches to obtaining dual bounds for MBQP with changing rhs. We leverage Burer's completely-positive (CPP) reformulation of MBQPs. Its dual is an instance of co-positive programming (COP), and can be used to obtain sensitivity bounds. We prove that strong duality between the CPP and COP problems holds if the feasible region is bounded or if the objective function is convex, while the duality gap can be strictly positive if neither condition is met. We also show that the COP dual has multiple optimal solutions, and the choice of the dual solution affects the quality of the bounds with rhs changes. We finally provide a method for finding good nearly optimal dual solutions, and we present preliminary computational results on sensitivity analysis for MBQPs.
Commercial, off-the-shelf (COTS) video games are being used by teachers to support primary aged (5-11 years) children's learning of programming concepts. We discuss initial research into this topic.
ISBN:
(纸本)9798400711770
Commercial, off-the-shelf (COTS) video games are being used by teachers to support primary aged (5-11 years) children's learning of programming concepts. We discuss initial research into this topic.
In this article we revisit the history of formal methods with a focus on important aspects that contribute to their interdisciplinary role. We consider: the variability of mathematical representation techniques on whi...
详细信息
In this article we revisit the history of formal methods with a focus on important aspects that contribute to their interdisciplinary role. We consider: the variability of mathematical representation techniques on which the theoretical foundations of formal methods are based;formal methods multidisciplinarity;their capability to serve at a meta-level in providing the semantics of programming languages, specification and modelling languages as well as higher- level and domain-specific formal notations;and, finally, how some of these higher-level and domain-specific notations may be lifted at an interdisciplinary level. Within this historical review, we are inspired by Luis Barbosa's "components as coalgebras" approach in seeing that the duality data-process is underlying all those aspects of formal methods. We also see that such a duality may not only be expressed in universal terms within category theory, but may also be characterised in practical terms and focused applications by two distinct logic paradigms, equational logic for the data and rewriting logic for the process, by two modelling directions, forward process definitions and backward data-driven process transformations, and by the distinction between syntax, defined by the data structures, and semantics, provided by rewrite rules. We use the Maude modelling language to illustrate the application of the data- process duality. In fact, Maude use equational logic to define data types and rewriting logic to express system evolution. Illustrative examples are from the areas of cognitive science and human- computer interaction (HCI). We then define a data-driven model transformation, which we call elaborative mining, , which adopts a backward perspective to recover a behaviour that was observed in real life but was not predicted forward by the original model. Finally, we see how the "open source software bazaar", which is a metaphor for the apparently chaotic open source development process, offers us a big dat
The field of programming education has witnessed a growing demand for innovative and engaging teaching methods to effectively impart coding skills. This paper explores the potential of gamification as a promising appr...
详细信息
ISBN:
(纸本)9783031702846;9783031702853
The field of programming education has witnessed a growing demand for innovative and engaging teaching methods to effectively impart coding skills. This paper explores the potential of gamification as a promising approach to address this challenge. Gamification, the integration of game elements and mechanics offers a unique avenue to make programming education more interactive and motivating. The research conducted an experiment with first year students taking introductory to programming course at University of Ruse. The game was developed within the UNITe (Universities for science, Informatics and Technologies in eSociety) project.
Code readability models are typically based on the code's structural and textual features, considering code readability as an objective category. However, readability is inherently subjective and dependent on the ...
详细信息
Code readability models are typically based on the code's structural and textual features, considering code readability as an objective category. However, readability is inherently subjective and dependent on the knowledge and experience of the reader analyzing the code. This paper assesses the readability of Python code statements commonly used in undergraduate programming courses. Our readability model is based on tracking the reader's eye movement during the while-read phase. It uses machine learning (ML) techniques and relies on a novel set of features-observational features-that capture how the readers read the code. We experimented by tracking the eye movement of 90 undergraduate students while assessing the readability of 48 Python code snippets. We trained an ML model that predicts readability based on the collected observational data and the code snippet's structural and textual features. In our experiments, the XGBoost classifier trained using observational features exclusively achieved the best results (0.85 F-measure). Using correlation analysis, we identified Python statements most affecting readability for undergraduate students and proposed implications for teaching Python programming. In line with findings for Java language, we found that constructs related to the code's size and complexity hurt the code's readability. Numerous comments also hindered readability, potentially due to their association with less readable code. Some Python-specific statements (list comprehension, lambda function, and dictionary comprehension) harmed code readability, even though they were part of the curriculum. Tracking students' gaze indicated some additional factors, most notably nonlinearity introduced by if, for, while, try, and function call statements.
This paper focuses on the characteristics of computerscience general course, specifically the emphasis on comprehension and practical application in "Python Language programming". Combining the contemporary...
详细信息
As programming education becomes more widespread, many college students from non-computerscience backgrounds begin learning programming. Collaborative programming emerges as an effective method for instructors to sup...
详细信息
暂无评论