We present a native XML database management system, Sedna, which is implemented from scratch as a full-featured database management system for storing large amounts of XML data. We believe that the key contribution of...
详细信息
This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), ...
详细信息
This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), class hierarchy is reconstructed via analysis of RTTI structures. In case RTTI structures are missing in the assembly, a technique based on the analysis of virtual function tables, constructors and destructors is used. A tool for automatic reconstruction of polymorphic class hierarchies that implements the described technique is presented. This tool is implemented as a plug in for IDA Pro Interactive Disassembler. Experimental study of the tool is provided.
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. This paper presents a method for automatic reconstruction of composite types (structures, arrays and combin...
详细信息
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. This paper presents a method for automatic reconstruction of composite types (structures, arrays and combinations of them)in a high-level program during decompilation. Assembly code is obtained by disassembling a binary code or traces collected by a simulator. The proposed method is based on expressing memory access operations as pairs base offset, then building equivalence classes for the bases used in the program and accumulating offsets for each equivalence class. For Strictly conforming C programs our approach is substantiated by the C language semantics as defined in the international standard. However, experimental results have revealed that it is applicable for real-world programs also. Experimental results are obtained for a number of open-source programs as well as for traces collected from them. The method is an essential part of the tool for program decompilation TyDec being developed by the authors. Decompiler TyDec can be used as a standalone tool or as a plug-in for Interactive Trace Explorer TrEx being developed in institute for systemprogramming, Russian Academy of Sciences.
To extract feature parameters of Pseudo-code binary phase modulation combined with sine frequency modulation continuous wave(PRBC-SFMCW), the linear decomposition techniques using Quadrature Mirror Filter Bank Tree (Q...
详细信息
To extract feature parameters of Pseudo-code binary phase modulation combined with sine frequency modulation continuous wave(PRBC-SFMCW), the linear decomposition techniques using Quadrature Mirror Filter Bank Tree (QMFBT) is adopted. With this method, the intercepted signal is decomposed and analyzed by QMFBT. Then according to the feature of PRBC-SFMCW signal contained in different time-frequency layers the algorithm of feature parameter extraction on an appropriate time-frequency layer is presented. The analysis and simulation results show that the SNR of PRBC-SFMCW signal is improved after decomposition. At the same time, the across section disappear and parameters can be estimated accurately in a low SNR condition.
The article describes the method for constructing sequences of user actions that are optimized for manual execution, based on the model in the form of a diagram of states and transitions. Scenarios for such implementa...
详细信息
This paper discusses a problem of ensuring backward binary compatibility of Linux shared libraries. Breakage of the compatibility may result in crashing or incorrect behavior of applications built with an old version ...
详细信息
We present a novel method for key term extraction from text documents. In our method, document is modeled as a graph of semantic relationships between terms of that document. We exploit the following remarkable featur...
详细信息
ISBN:
(纸本)9781605584874
We present a novel method for key term extraction from text documents. In our method, document is modeled as a graph of semantic relationships between terms of that document. We exploit the following remarkable feature of the graph: the terms related to the main topics of the document tend to bunch up into densely interconnected sub-graphs or communities, while non-important terms fall into weakly interconnected communities, or even become isolated vertices. We apply graph community detection techniques to partition the graph into thematically cohesive groups of terms. We introduce a criterion function to select groups that contain key terms discarding groups with unimportant terms. To weight terms and determine semantic relatedness between them we exploit information extracted from Wikipedia. Using such an approach gives us the following two advantages. First, it allows effectively processing multi-theme documents. Second, it is good at filtering out noise information in the document, such as, for example, navigational bars or headers in web pages. Evaluations of the method show that it outperforms existing methods producing key terms with higher precision and recall. Additional experiments on web pages prove that our method appears to be substantially more effective on noisy and multi-theme documents than existing methods. Copyright is held by the International World Wide Web Conference Committee (IW3C2).
Distribution is a well-known solution to increase performance and provide load balancing in case you need optimal resource utilization. Together with replication it also allows improved reliability, accessibility and ...
详细信息
Distribution is a well-known solution to increase performance and provide load balancing in case you need optimal resource utilization. Together with replication it also allows improved reliability, accessibility and fault-tolerance. However since the amount of data is large there is a problem of maintaining meta-information about distribution and finding needed data fragments during execution of queries. These problems are well understood but they have not received much attention in the context of XML data management. This paper presents research-in-progress, which examines the possibility of management of meta-information about XML data distribution extending auxillary index structure called DataGuide.
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and appli...
详细信息
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and applies optimizations aggressively. The framework also provides a mechanism that controls the analysis complexity. The results show that the escape analysis framework, which has been implemented in Intel's Open Runtime Platform on X86, eliminated about 70% and 94% synchronization operations, and improved the runtime performance 15.77% and 31.28%, for SPECjbb2000 and 209_db respectively.
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ...
详细信息
ISBN:
(纸本)9789896740047
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them as early as at the hardware/software codesign stage, which becomes an important success factor for the entire project. Challenging issues for cross toolkits development is efficiency of simulation and CPU instruction set alterations at the design phase. Developing cross toolkits in C/C++ produces highly efficient tools but requires extensive rework to keep up with instruction set changes. Approaches based on automatic toolkit generation from some top level specifications in Architecture Description Languages (ADLs) are less sensitive to this problem but they produce inefficient tools, especially simulators. This paper introduces a new approach to cross toolkits development that combines the flexibility of ADL and efficiency of CIC++ based approaches. This approach was implemented in the MetaDSP framework, which was successfully applied in several industrial projects.
暂无评论