检索结果-内蒙古大学图书馆

2010 International Conference on Management of Data, SIGMOD '10

作者： Taranov, Ilya Shcheklein, Ivan Kalinin, Alexander Novak, Leonid Kuznetsov, Sergei Pastukhov, Roman Boldakov, Alexander Turdakov, Denis Antipin, Konstantin Fomichev, Andrey Pleshachkov, Peter Velikhov, Pavel Zavaritski, Nikolai Grinev, Maxim Grineva, Maria Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn street 25 109004 Moscow Russia ETH Zurich CAB F 78 Universitätstrasse 6 8092 Zürich Switzerland Google Balchug street 7 115035 Moscow Russia

ISBN: (纸本)9781450300322

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 system is an improved schema-based clustering storage strategy efficient for both XML querying and updating, and powered by a novel memory management technique. We position our approach with respect to state-of-the-art methods. © 2010 ACM.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of Class Hierarchies for Decompilation of C++ Programs

Reconstruction of Class Hierarchies for Decompilation of C++...

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： A. Fokin K. Troshina A. Chernov Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia Institute for System Programming Russian Academy of Science Moscow Russia

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.

关键词： Assembly Computer languages Open source software Electronic mail Optimization History

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of Composite Types for Decompilation

Reconstruction of Composite Types for Decompilation

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Katerina Troshina Yegor Derevenets Alexander Chernov Institute of System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Dept Moscow State University Moscow Russia

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 system programming, Russian Academy of Sciences.

关键词： Registers Assembly Indexes programming Algorithm design and analysis Arrays

来源：评论

学校读者我要写书评

暂无评论

Parameters Extraction of Pseudo-Code PM Combined with SFM Signal Based on QMFBT Techniques

Parameters Extraction of Pseudo-Code PM Combined with SFM Si...

引用

International Conference on Multimedia Technology

作者： Jing Liu Hui-chang Zhao Shu-ning Zhang Department of Electronic Engineering and Optoelectronic Technology Nanjing University of Science and Technology of PLA Nanjing China Institute for System Programming Russian Academy of Sciences Moscow Russia Computational Math and Cybernetics Dept. Moscow State University Moscow Russia

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.

关键词： Frequency modulation Time frequency analysis Feature extraction Filter bank Signal resolution Signal to noise ratio Parameter extraction

来源：评论

学校读者我要写书评

暂无评论

Generation of test scripts for application with GUI optimized for manual execution

Generation of test scripts for application with GUI optimize...

引用

2009 5th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2009

作者： Barancev, A.V. Groshev, S.G. Omelchenko, V.A. Institute for System Programming of RAS Russia

ISBN: (纸本)9781424456659

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 implementation requires, primarily, when the GUI is the only way to interact with the application, but its implementation does not provide or make economically viable software emulation effects through it. Secondly, the test kit to perform the manual test may be necessary to assess the practicality of the graphical user interface to verify its compliance with selected standards and user acceptance testing. ©2009 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

A system for backward binary compatibility analysis of shared libraries in linux

A system for backward binary compatibility analysis of share...

引用

2009 5th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2009

作者： Ponomarenko, Andrey Rubanov, Vladimir Khoroshilov, Alexey Institute for System Programming Russian Academy of Sciences Russia

ISBN: (纸本)9781424456659

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 of a library when it is running with a new one. Existing tools may detect only a small part of all possible backwards compatibility problems. This paper presents a new fully automated method for checking backward binary compatibility and detecting a broad spectrum of possible problems. This method is based on comparison of function signatures and type definitions obtained from library header files. This paper also describes structure of a lightweight tool that implements the proposed method. ©2009 IEEE.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

Extracting key terms from noisy and multi-theme documents 09

Extracting key terms from noisy and multi-theme documents

引用

18th International World Wide Web Conference, WWW 2009

作者： Grineva, Maria Grinev, Maxim Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Russia

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).

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

DataGuide-based distribution for XML documents

DataGuide-based distribution for XML documents

引用

6th Spring Young Researchers' Colloquium on Databases and Information systems, SYRCoDIS 2009

作者： Kalinin, Alexander Institute for System Programming Russian Academy of Sciences Russia

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.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Practical Escape Analysis in an Open World

引用

电子学报(英文版) 2009年第1期18卷 31-36页

作者： SHI Xiaohua JIN Maozhong WU Gansha LUEH Gueiyuan Software Engineering Institute Beihang University Beijing 100083 China Programming System Laboratory Microprocessor Technology Laboratory Intel Corporation China

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.

关键词：世界逃逸 Java程序运行性能同步操作开放式框架复杂性

来源：评论

学校读者我要写书评

暂无评论

Early creation of cross toolkits for embedded systems

Early creation of cross toolkits for embedded systems

引用

1st International Workshop on Networked Embedded and Control system Technologies: European and Russian R and D Cooperation - NESTER 2009 In Conjunction with ICINCO 2009

作者： Pakulin, Nikolay Rubanov, Vladimir Institute for System Programming of the Russian Academy of Sciences Moscow Russia

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.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：