Search results for "computer program"
showing 10 items of 807 documents
Checkpointing Workflows for Fail-Stop Errors
2017
International audience; We consider the problem of orchestrating the exe- cution of workflow applications structured as Directed Acyclic Graphs (DAGs) on parallel computing platforms that are subject to fail-stop failures. The objective is to minimize expected overall execution time, or makespan. A solution to this problem consists of a schedule of the workflow tasks on the available processors and of a decision of which application data to checkpoint to stable storage, so as to mitigate the impact of processor failures. For general DAGs this problem is hopelessly intractable. In fact, given a solution, computing its expected makespan is still a difficult problem. To address this challenge,…
Pre-emption in resource-constrained project scheduling
2008
Abstract The Resource-Constrained Project Scheduling Project (RCPSP), together with some of its extensions, has been widely studied. A fundamental assumption in this basic problem is that activities in progress are non-preemptable. Very little effort has been made to uncover the potential benefits of discrete activity pre-emption, and the papers dealing with this issue have reached the conclusion that it has little effect on project length when constant resource availability levels are defined. In this paper we show how three basic elements of many heuristics for the RCPSP – codification, serial SGS and double justification – can be adapted to deal with interruption. The paper is mainly foc…
Fast narrowing-driven partial evaluation for inductively sequential programs
2005
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…
Motion Cueing Algorithms: A Review
2017
Robotic motion platforms are commonly used in motion-based vehicle simulation. However, the reproduction of realistic accelerations within a reduced workspace is a major challenge. Thus, high-level control strategies commonly referred to as motion cueing algorithms (MCA) are required to convert the simulated vehicle physical state into actual motion for the motion platform. This paper reviews the most important strategies for the generation of motion cues in simulators, listing the advantages and drawbacks of the different solutions. The motion cueing problem, a general scheme and the four most common approaches – classical washout, adaptive washout, optimal control and model predictive con…
Generalized wavelets design using Kernel methods. Application to signal processing
2013
Abstract Multiresolution representations of data are powerful tools in signal processing. In Harten’s framework, multiresolution transforms are defined by predicting finer resolution levels of information from coarser ones using an operator, called the prediction operator, and defining details (or wavelet coefficients) that are the difference between the exact values and the predicted values. In this paper we present a multiresolution scheme using local polynomial regression theory in order to design a more accurate prediction operator. The stability of the scheme is proved and the order of the method is calculated. Finally, some results are presented comparing our method with the classical…
An optimum design of the magnetic circuit of a PM linear electrical generator for the exploitation of sea waves.
2006
In this paper an approach to the optimization of the magnetic design of a Permanent Magnet (PM) linear generator for the exploitation of the energy contained in sea waves is presented. This approach consists of a two step procedure: the first one takes into account the stochastic features of the sea wave motion and describe the working condition of the machine under this motion by adopting a lumped parameter model. In this step the objective function is the energy production. The second step optimizes the generator by using the results obtained in the first step as the constraints that must be fulfilled by a design based on a Finite Element Method (FEM) analysis. Furthermore, the approach i…
Assessment of wastewater treatment alternatives for small communities: An analytic network process approach
2015
The selection of the most appropriate wastewater treatment (WWT) technology is a complex problem since many alternatives are available and many criteria are involved in the decision-making process. To deal with this challenge, the analytic network process (ANP) is applied for the first time to rank a set of seven WWT technology set-ups for secondary treatment in small communities. A major advantage of ANP is that it incorporates interdependent relationships between elements. Results illustrated that extensive technologies, constructed wetlands and pond systems are the most preferred alternatives by WWT experts. The sensitivity analysis performed verified that the ranking of WWT alternatives…
Test-driven lecturing
2012
One can easily compare the current style of teaching and lecturing to the so called waterfall model of software development. We first design the course, then execute it, and in the end we make tests to see, if everything went well. As with waterfall model, the assessment comes too late, if anything fails.Therefore, we need a lecturing model which entwines assessment into course execution. Test-driven development (TDD) is a model of software development in which the computer program is designed by writing first small tests that assure the meeting of the requirements. In test-driven lecturing, students first take tests to show how well they master the topics to be discussed. In this way both …
Does Self-efficacy Matter? On the Correlation of Self-efficacy and Creativity in IT Education
2019
Self-efficacy belief affects humans in life, action and work. Higher self-efficacy enables stronger contribution in fulfilling tasks, helping others in a team, and survive when facing obstacles and failures. Also creativity correlates to higher self-efficacy. At the same time, design is a powerful skill in note-making, improving the student’s understanding of the undergoing topic in a class. Note-making, when consisting of recorded writings, self-drawn images and other supportive subjects like structural analyses, charts, ad-hoc notes, detailed features and verbal links to related themes, forms a fundamental skill and ability in learning and applying new motifs and patterns. We executed dur…
On Determinants of Integrable Operators with Shifts
2013
Integrable integral operator can be studied by means of a matrix Riemann--Hilbert problem. However, in the case of so-called integrable operators with shifts, the associated Riemann--Hilbert problem becomes operator valued and this complicates strongly the analysis. In this note, we show how to circumvent, in a very simple way, the use of such a setting while still being able to characterize the large-$x$ asymptotic behavior of the determinant associated with the operator.