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.
Symbolic Execution based defect discovery techniques for binary programs are now widely applied. However, because of the path explosion problem, it's still not applicable for security analysis on large programs. A great many infeasible paths in the target program also reduce the performance. To fast generate test cases reaching the potentially vulnerable program points, this paper introduces constraints...
SMT solver which is an automated program analysis technique is increasingly used by Vulnerability discovering platforms, especially in the integer security problems checking. An integer vulnerability discovering platform is mostly decided by the SMT solver. We have analyzed integer security problems and several SMT solvers, such as Boo lector, Z3, STP and so on. We evaluated the ability of the SMT...
During the multi-dimensional Fuzzing technique, how to construct the influencing relationships between input elements and vulnerable statements is a key problem. This paper applies the virtual machine based taint analysis technique on multi-dimensional Fuzzing, gives detailed design and the experiment result shows the method is feasible.
By reconfiguring part of the cache as software-managed scratchpad memory (SPM), hybrid caches manage to handle both unknown and predictable memory access patterns. However, existing hybrid caches provide a flexible partitioning of cache and SPM without considering adaptation to the run-time cache behavior. Previous cache set balancing techniques are either energy-inefficient or require serial tag...
By analyzing the characteristic of business rules in GIS, this paper designs and implements a business rules component based on XML using the relationship between spatial data and business rules and methods of RDBMS. This component implements the form, storage and reuse of business rules.
With the rapid development of communication and information technology, the medical field is influenced deeply. The telemedical system has been paid attention to widely. In this paper, the telemedical system is constructed. Meanwhile, Expert knowledge management modules is developed to collected the experience of medical experts and practitioners in this system. The workflow is used to rule the medical...
This study develops and implements a SoC-based HW/SW (Hardware-Software) codesign for an intelligent diagnostic system. To improve the efficiency of the VLSI (Very Large Scale Integration) design process, the components of the intelligent diagnostic system are designed in the form of SIP (Silicon Intellectual Property) modules. The SIP modules, including the CPU module, the GPIO (General Purpose I/O)...
This paper aims to develop a hardware architecture of features extraction using wavelet packet method for an intelligent diagnostic system. Verilog-based features extraction architecture is proposed and implemented. Test results verify the design architecture of features extraction using wavelet packet method. A CNC spindle motor commonly featured in intelligent diagnosis of manufacturing systems...
When the current block is at the edge of the objects, the prediction accuracy of H.264 intra-frame coding will be decreased. An enhanced intra prediction method is proposed in this paper based on the directional of intra prediction and correlation among adjacent pixels in the current block. The proposed algorithm use the pixels calculated already as the reference pixels to predict the rest pixels...
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.