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.
The recent advancement in software industry such as Microsoft utilizing FPGAs (Field Programmable Gate Arrays) for acceleration in its search engine Bing and Intel's initiative to have its CPU along with Altera FPGA in the same chip indicates FPGA's potential as well as growing demand in the field of high performance computing. FPGAs provide accelerated computation due to their flexible architecture...
Mutation testing is an approach where mutations are introduced in the program. Each change causes a slight deviation from the original program and is called a mutant. Tests are performed which reject a mutant if its behavior differs from the original. Along with designing new software test suites, it also contributes in evaluating existing software tests. This paper introduces analyses and evaluates...
Software defined networks (SDNs) reduce the complexity of implementing multi-commodity flow (MCF) optimization problems and several optimization based SDN Traffic Engineering (TE) schemes have been proposed. This approach has several limitations like the need to know or infer bandwidth demands, the number of forwarding rules needed to implement the solution and the cost of the control-loop communication...
With Network Function Virtualization (NFV), network functions are deployed as modular software components on the commodity hardware, and can be further chained to provide services, offering much greater flexibility and lower cost of the service deployment for the network operators. At the same time, replacing the network functions implemented in purpose built hardware with software modules poses a...
Ant colony algorithm as a new heuristic optimization algorithm, with distributed computing, information positive feedback, and heuristic search features, in solving a variety of combinatorial optimization problems has been widely used. In this paper, with restrictions, to any matter required multi-objective path planning problem using ant colony algorithm for path optimization, the ant colony system...
Vertical stacking semiconductor devices can effectively integrate more functionality in the same footprint. Memory devices are often stacked in 8 and 16 die, and prototypes for up to 64 die have had proven concepts. For many of these devices, wire bonding on unsupported die edge in overhang configurations is required. Controlling the impact force, bonding parameters and lift off force profile are...
With the imminent growth and the progressive interest in the subject, the unmanned aerial vehicles (UAVs) are already a reality in our daily life. The search for air vehicles, which is ambitious for a future in which the UAVs can act autonomously and safely, continuously drives this sector. The present work aims to apply artificial intelligence techniques to classical control systems, in order to...
As software systems become more complex, the number of test cases required for effective testing becomes intractable. Cache misses have been identified as a major factor that affects software execution time. In our current work we target the instruction locality problem in the context of testing.
Future networks will be accompanied by new heterogeneous requirements in terms of end-users Quality of Experience (QoE) due to the increasing number of application scenarios being deployed. Network softwarization technologies such as Software Defined Networks (SDNs) and Network Function Virtualization (NFV) promise to provide these capabilities. In this paper, a novel QoE-driven resource allocation...
Higher-level SCADA control centers are continuously implemented, upgraded and optimized. One of the most important SCADA software on the market is IGSS. It is frequently used in the water sector due to its appreciated characteristics. The paper presents a solution to optimize IGSS SCADA resources in the context of integrating water and waste water pumping stations into a higher level SCADA system,...
This paper describes a design tool of high-order three dimensional (3-D) filters by means of 2-D and 3-D electromagnetic (EM) softwares and two space mappings. The first space mapping aligns the 3-D EM response with the 2-D EM response of a low-order 3-D filter. The second mapping performs a calibration of the first mapping. The high-order filter is optimized using the fast 2-D EM software. The design...
Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate...
In this work a heuristic algorithm known as the fruit fly optimization algorithm is applied to the optimization of waveguide devices. First the original formulation and operating principles of the algorithm are presented and then it is adapted for the waveguide optimization problem. To demonstrate the usefulness of this algorithm two different devices (a waveguide transformer and a band-pass filter)...
the aims of this study is to analyze staff scheduling in the Hotel X in Kuwait, as well as, reducing waiting time in queue and developing effective customer service through finding the optimal employees schedule without hiring new staff. The study will be approached by building a simulation model using Arena in order to optimize employees scheduling within reception and housekeeping department during...
Multipartite table methods offer a high speed, low area implementation of commonly used functions for up to 24 bits of accuracy. Currently the parameters which dictate the configuration of these tables are chosen using a worst-case rounding approximation scheme which often generates sub-optimal results. This paper will show that it is possible to perform a full exhaustive search to find the minimum...
Energy efficiency and computational time become the key usability factors of the low power computational systems. In this sense optimization of the source code is a great challenge to make low power computational system competitive relative to other and adorable for the customers. The paper describes several experiments with a modern low power system that shows the influence of the program loop optimization...
The communication between hardware components in embedded systems is steadily growing as more and more software functions are necessary to fulfill the requirements of modern systems, like cars in the automotive area. As a result, the capacity of the communication transport system is quickly exceeded. Besides the possibility to exchange the physical connection, another one is to analyze the system...
a large number of design or decision making problems, in engineering and management, require simultaneous optimization of multiple and often conflicting objectives. Although the current state-of-the-art algorithms (NSGA II and SPEA2) have been proved quite efficient for solving two- and three-objective problems, the performance of these algorithms is unacceptable for solving many-objective problems...
Our community constantly pushes the state-of-the-art by introducing “new” techniques. These techniques often build on top of, and are compared against, existing systems that realize previously published techniques. The underlying assumption is that existing systems correctly represent the techniques they implement. This pa- per examines that assumption through a study of KLEE, a popular and well-cited...
In 2025 semantic tools for software engineering will be mature, and their frequency of use in software development will still be disappointing.This proposal explains how research directed at building theories of everything (or, at least, important software domains) can consolidate progress and bring semantic tools into the mainstream of software practice.
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.