The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This award prompts me to reflect on how my team at Microsoft Research was able to bring research in formal methods and empirical software engineering into practice. How did I select the topics for my teams and my research? How did we conduct the research and which methods did we choose? How did we show progress, and equally important when did we decide to stop? I will also discuss the importance of...
Blind programmers typically use a screen reader when reading code whereas sighted programmers are able to skim the code with their eyes. This difference has the potential to impact the generalizability of software engineering studies and approaches. We present a summary of a paper which will soon be under review at TSE that investigates how code comprehension of blind programmers differs from that...
Test cases are an essential tool in software quality assurance: they ensure that code behaves as specified in the requirement. However, writing test cases does not have only benefits, it comes with a cost: the programmer has to formulate the test cases and maintain them when the tested source code changes. Particularly for start-ups or small enterprises such costs become prohibitive, which often prefer...
Metamorphic testing uses domain-specific properties about a program’s intended behaviour to alleviate the oracle problem. From a given set of source test inputs, a set of follow- up test inputs are generated which have some relation to the source inputs, and their outputs are compared to outputs from the source tests, using metamorphic relations. We evaluate the use of an automated test input generation...
In view of the exponential growth in the live multimedia content applications, multicast communications would imply a considerable traffic reduction compared to the unicast ones. However, given the absence of feedback information, packets are sent at the lowest rate, hence occupying the medium for long periods. Software Defined Networking (SDN) has changed the traditional network operations, therefore...
The capability of controlling the spatial distribution of a field into a given scenario is relevant to many applications as different as hyperthermia treatment planning and wireless network optimization. In this respect, many strategies to focus the field into a target point have been presented, whereas the possibility of arbitrarily shaping a field still remains an open challenge. In this communication,...
As a representation of high connected objects, graphs receive a arising attention. By virtue of the interconnection of graph data, current general-purpose parallel data processing systems misfit effectively graph processing. Thus, a wide spectrum of dedicated graph processing system emerged. In this paper, we give a guidance of classical types of graph processing system. We discuss key features and...
The purpose of this article is to explain how a fuzzy linear programming model can be transformed into a fuzzy multi-objective linear programming model and then solved. An algorithm is developed to present our approach and fuzzy optimal solution is obtained. To demonstrate the efficiency and feasibility of the proposed approach, one numerical example has been solved.
The aims of the article is to the study fuzzy multi-objective linear fractional programming (FMOLFP) problem by using goal programming approach. At first by using Charnes and Cooper [1] transformation, the FMOLFP problem is transformed to fuzzy multi-objective linear programming (FMOLP) problem. The reduced problem is formulated by goal programming approach to find out the solution of FMOLFP problem...
This paper presents an assessment of different computational intelligences, i.e evolutionary algorithm (EP), firefly algorithm (FA) and cuckoo search algorithm (CSA) for solving single-objective optimization problem. Recently, these algorithms have been widely used and applied to solve different types of optimization problems. However, the performance of these optimization algorithms have not been...
HPC facilities typically use batch scheduling to space-share jobs. In this paper we revisit time-sharing using a trace of over 2.4 million jobs obtained during 20 months of operation of a modern petascale supercomputer. Our simulations show that batch scheduling produces skewed distributions with much larger slowdowns for shorter-running, larger jobs, whereas time-sharing produces more uniform slowdowns...
Signed networks remain relatively under explored despite the fact that many real networks are of this kind. Here, we study the problem of subgraph density in signed networks and show connections to the event detection task. Notions of density have been used in prior studies on anomaly detection, but all existing methods have been developed for unsigned networks. We develop the first algorithms for...
Graph mining is widely used in fields like social network analysis. The synchronous vertex-centric frameworks strike better balance between the performance and ease-of-use, so they are widely used in realistic. However, traditional architectures of this type, like the vertex-based push architecture and GAS, are encumbered by high communication costs. In this paper we proposed a new replica-based push...
In this work an introduction to intelligent electric vehicle is presented. Design and development of intelligent vehicle for intelligent behavior quick output, cost is very cheap and it avoided the hurdle in his way so it is called safe intelligent electric vehicle. An introduction of intelligent vehicle that how it changes his performances according to the environment that can adapt the change as...
Electro Pneumatic Trainer for educational applications is developed as supporting tools towards the existing typical teaching and learning process. The main objective is to improve the learning outcome towards student's cognitive knowledge and practical skill where the existing teaching and learning for electro pneumatic courses conducted in the classroom without emphasizing on simulation and complex...
Cultivation, adding up to an important aspect in GDP (Gross Domestic Produce), has been affected tremendously over the past few decades due to the use of chemicals. Due to rapid urbanization and industrialization, arable land under cultivation is decreasing enormously. Organic farming, being the need of the hour, is opted as one of the widely chosen methodology to overcome the prevailing problem in...
Optimization plays an important role in various disciplines of engineering. Multi-objective optimization is usually characterized by a Pareto front. In large scale multi-objective optimization problems, determining an optimal Pareto front consumes large time. Thus, parallel computing is used to speed up the search. Constraint programming is one of the logic-based optimization techniques for solving...
Random forests are currently considered among the most accurate and efficient classifiers. Moreover, recently fuzzy implementations of random forests have been proposed to exploit the ability of fuzzy decision trees to cope with uncertain data. Whenever the size of training sets grows substantially, as it happens in the case of Big Data, ordinary implementations of classifiers become inadequate, and...
For advancing the educational quality of Java programming, we have proposed and implemented the Java Programming Learning Assistant System (JPLAS) as a Web application system. JPLAS offers fill-in-blank problems that request students to fill in the blank elements in a given Java code to study Java grammar and basic programming skills. In past years, we have utilized fill-in-blank problems at our Java...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.