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.
Data-flow analyses are used as part of many software engineering tasks: they are the foundations of program understanding, refactorings and optimized code generation. Similar to general-purpose languages (GPLs), state-of-the-art domain-specific languages (DSLs) also require sophisticated data-flow analyses. However, as a consequence of the different economies of DSL development and their typically...
In this paper, we propose a low complexity algorithm to separate collided RFID signals. By carefully analyzing the collided signals when two tags with the same bit durations respond to a reader simultaneously, we observed that the individual amplitudes of each tag appear in pairs and the two tags' information bits are different, and regular RFID signals with larger amplitudes appear if the two tags'...
In this work we present a framework that profiles HEVC (High Efficiency Video Coding) encoders modules focusing on cache memory performance and energy. This framework considers the HEVC reference software (HM) and analyzes the impact of some coding parameters on the cache hierarchy. HEVC was proposed in 2013, presenting new video coding techniques to deal with the demand for higher resolutions. The...
Since the introduction of the H.261 standard in 1990, the transform step has always been a key feature of video coding technologies. The successive generations of standard have always found a better way to further de-correlate the residual signals and thus improve the coding efficiency. Recently, MPEG and the ITU have jointly launched the Joint Video Exploration Team (or JVET) to prepare the next...
A cyclic redundancy check (CRC) is an error-detecting code commonly used in data communication and storage devices to detect accidental changes to raw data. This paper provides an overview and principle of CRC. Emphasis is placed on the implementation of the CRC algorithm by method of hardware as well as software. It is proved that the implementation method present has high practical value.
In this paper, an adaptive weighted prediction is proposed to improve the coding efficiency. Conventional weighted prediction methods are optimized for specific sequences with global brightness variations (GBVs) such as fade-in and fade-out. However, if there is uncovered background by motion between current picture and reference picture, weighted prediction parameter (WPP) could not be derived accurately...
High efficiency video coding (HEVC) standard, introduced by joint collaborative team on video coding (JCT-VC) is the newest international standard of video compression. This standard provides more compression and better video quality, compared to the previous standards such as H.264. The higher compression efficiency is obtained at the cost of an increase in the computational load. One of the portions...
High Efficiency Video Coding (HEVC) is the newest standard of video coding being developed by JCT-VC. It flexibly uses quad-tree structure, which makes the encoding procedure more complex and time-consuming compared with H.264/AVC. For intra prediction, determining the optimal distribution of coding unit (CU) size requires huge computing time. In this paper, we propose a new fast CU size selection...
The design and evolution of today's embedded systems face an increasing complexity both in the applications and in the platforms that support them. The use of complex platforms means that the engineers need to make non-trivial decisions during the design phase including optimized allocation, binding and scheduling. This situation creates a need for better ways to manage project complexity, and Model...
With the rapid development of crowdsourcing all over the world, crowdsourcing for software engineering begins to attract more and more considerable attentions from software developers, coders and researchers. And many successful online platforms such as TopCoder has demonstrated crowdsourcing's capability and potential for supporting various software development activities. In order to study the competitive...
Peer code review is a cost-effective software defect detection technique. Tool assisted code review is a form of peer code review, which can improve both quality and quantity of reviews. However, there is a significant amount of human effort involved even in tool based code reviews. Using static analysis tools, it is possible to reduce the human effort by automating the checks for coding standard...
This paper presents a Quantization Parameter (QP) refinement algorithm used in Rate-Distortion Optimization (RDO) process to improve the coding efficiency for High Efficiency Video Coding (HEVC). To minimize the RD cost, QP is one of the parameters that can be optimized. Usually, multiple-QP optimization can be applied to choose the best QP value. However, this kind of optimization increases the encoding...
We propose intensity constraint-based closed sequential pattern mining algorithm, called IC-BIDE, for a coding pattern extraction. Source code often contains frequent patterns of function calls or control flows, i.e., "coding patterns." Previous studies used sequential pattern mining to extract coding pattern, however, these algorithms have not been optimized for coding pattern extraction,...
By studying the characteristic of traditional graph encoding, we found two critical shortages: the first is that graph encoding efficiency is lower, the second is that graph topology is independent from the host which means all the graph encodings are lack of ability to tamper-proofing. This paper presents a novel extend dynamic graph encoding algorithm to overcome the shortages mentioned above. we...
This paper discusses the design and subsequent analysis of software implementing a configurable genetic algorithm. The genetic algorithm is primarily targeted towards the solving of Sudoku puzzles. Sudoku is regarded as an ideal test-bed for algorithm development due to the fact that it is a constrained optimisation problem that belongs to the NP-complete class of computational problems. The aim of...
In this paper, we propose a new rate control (RC) algorithm for hierarchical video coding of high efficiency video coding (HEVC). To achieve a constant target bitrate transmission, an effective bit allocation method is first introduced, which assigns the number of target bits to each intra-period, group of picture, and frame by considering the hierarchical structure. A quantization parameter (QP)...
After the success of H.264/AVC, a next generation codec for Ultra-HD resolution video is being developed under the name called High Efficiency Video Coding(HEVC). This paper presents an optimization method for HEVC by performing early termination that preventing further CU split. In our experiments, the early termination method reduces the computational complexity without noticeable coding loss.
Test data generation is a key part in software test area and it is of significance to realize the automation of software testing. The main contribution of this paper lies in that a practical model, which utilizes genetic algorithms as searching policy to generate software structural test data, is proposed. To achieve higher performance, such issues as encoding strategy, algorithms operator evolution,...
CEGAR, SMT solving, and Craig interpolation are successful approaches for software model checking. We compare two of the most important algorithms that are based on these techniques: lazy predicate abstraction (as in Blast) and lazy abstraction with interpolants (as in Impact). We unify the algorithms formally (by expressing both in the CPA framework) as well as in practice (by implementing them in...
The mode decision in the intra prediction of a H.264/AVC encoder requires complicated computations, and spends much time to select the best mode that achieves the minimum rate-distortion (RD). The complicated computations for the mode decision cause the difficulty in real-time applications, especially for software based encoders. This study creates an efficient fast algorithm, which is called Extreme...
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.