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

Study of defects in a program code in Python

programming AND COMPUTER SOFTWARE 2013年第6期39卷 279-284页

作者： Bronshteyn, I. E. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

In the paper, defects in a program code in Python are considered. It is shown that these defects are different from those in a code in C/C++;hence, there is a need in study of defects in large-scale projects with an open source code. A classification of the defects found, which is based on whether type inference is required for finding an error, is presented. It is shown that there exists a small portion of "simple" defects;however, the determination of the majority of the defects requires type inference. The question of what constructs of the Python language are to be supported in type inference for finding real defects is discussed.

关键词： PYTHON (Computer program language) COMPUTER programming C++ (Computer program language) INFERENCE engines (Computer science) OPEN source software ERROR-correcting codes (Information theory)

来源：评论

学校读者我要写书评

暂无评论

Prospects for virtualization of high-performance x64 systems

引用

programming AND COMPUTER SOFTWARE 2013年第6期39卷 285-294页

作者： Kudryavtsev, A. O. Koshelev, V. K. Avetisyan, A. I. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

Prospects for applying virtualization technology in high-performance computations on the x64 systems are studied. Principal reasons for performance degradation when parallel programs are running in virtual environments are considered. The KVM/QEMU and Palacios virtualization systems are considered in detail, with the HPC Challenge and NAS Parallel Benchmarks used as benchmarks. A modern computing cluster built on the Infiniband high-speed interconnect is used in testing. The results of the study show that, in general, virtualization is reasonable for a wide class of high-performance applications. Fine tuning of the virtualization systems involved made it possible to reduce overheads from 10-60% to 1-5% on the majority of tests from the HPC Challenge and NAS Parallel Benchmarks suites. The main bottlenecks of virtualization systems are reduced performance of the memory system (which is critical only for a narrow class of problems), costs associated with hardware virtualization, and the increased noise caused by the host operating system and hypervisor. Noise can have a negative effect on performance and scalability of fine-grained applications (applications with frequent small-scale communications). The influence of noise significantly increases as the number of nodes in the system grows.

关键词： VIRTUAL communications PARALLEL programs (Computer programs) BENCHMARKING (Management) BOTTLENECKS (Manufacturing) HIGH performance computing

来源：评论

学校读者我要写书评

暂无评论

Fast analysis of source code in C and C plus

引用

programming AND COMPUTER SOFTWARE 2013年第1期39卷 49-55页

作者： Savitskii, V. O. Sidorov, D. V. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

Static analysis is a popular tool for detecting the vulnerabilities that cannot be found by means of ordinary testing. The main problem in the development of static analyzers is their low speed. Methods for accelerating such analyzers are described, which include incremental analysis, lazy analysis, and header file caching. These methods make it possible to considerably accelerate the detection of defects and to integrate the static analysis tools in the development environment. As a result, defects in a file edited in the Visual Studio development environment can be detected in 0.5 s or faster, which means that they can be practically detected after each keystroke. Therefore, critical vulnerabilities can be detected and corrected at the stage of coding.

关键词： SOURCE code (Computer science) C (Computer program language) C++ (Computer program language) COMPUTER software COMPUTER storage devices

来源：评论

学校读者我要写书评

暂无评论

Agreement between conformance and composition

引用

programming AND COMPUTER SOFTWARE 2013年第6期39卷 269-278页

作者： Bourdonov, I. B. Kossatchev, A. S. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

In our previous paper [1], a new model of a Labeled Transition system (LTS)-type implementation was proposed. In ordinary LTSs, transitions are labeled by actions;therefore, they can be called LTSs of actions. The new model is an LTS of observations;in this model, observations and test actions (buttons) are used instead of actions. This model generalizes many testing semantics that are based on the LTS of actions but use additional observations (refusals, ready sets, etc.). Moreover, systems with priority, which are not described by the LTS of actions, are simulated uniformly. In the present paper, we develop this approach by focusing on the composition of systems. The point is that, on observation traces, one cannot define a composition with respect to which a composition of LTSs would possess the property of additivity: the set of traces of a composition of LTSs coincides with the set of all pairwise compositions of traces of LTS operands. This is explained by the fact that an observation in a composition state is not calculated based on observations in states-operands. In this paper, we propose an approach that eliminates this drawback. To this end, we label the transitions of LTSs by symbols (events) that, on the one hand, can be composed to guarantee the property of additivity, and, on the other hand, can be used to generate observations under testing: a transition by an event gives rise to an observation related to this event. This model is called an LTS of events. In this paper, we define (1) a transformation of an LTS of events into an LTS of observations to conform with the principles of our previous paper [1];(2) a composition of LTSs of events;(3) a composition of specifications that preserves conformance: a composition of conformal implementations is conformal to a composition of specifications;and (4) a uniform simulation of LTSs of actions in terms of the LTSs of events, which allows one to consider an implementation in any interaction semantics admiss

关键词： CONFORMANCE testing OBSERVATION (Scientific method) COMPUTER simulation SEQUENTIAL codes

来源：评论

学校读者我要写书评

暂无评论

Innovating in the Engineering Processes: Engineering as a Means of Innovation

引用

IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA 2014年第4期9卷 131-132页

作者： Garcia-Penalvo, Francisco-Jose Sarasa Cabezuelo, Antonio Sierra Rodriguez, Jose Luis Univ Salamanca Res Inst Educ Sci Res Grp Interact & eLearning E-37008 Salamanca Spain Univ Complutense Madrid Dept Comp Syst & Programming Sch Comp Sci E-28040 Madrid Spain Univ Complutense Madrid Dept Software Engn & Artificial Intelligence Sch Comp Sci E-28040 Madrid Spain

Innovation and engineering are very close concepts. Innovation is one of the key competences of the engineers in the way they use their own creativity and knowledge base to face the problems they have to resolve for humanity's improvement and social evolution. In this special section, we have selected four papers from three research events (CINAIC 2013, TEEM 2013, and ISELEAR 2013) that empower the innovation and research cycles in engineering from different perspectives.

关键词： Engineering innovation robotics quality assessment optical mark recognition TEEM CINAIC ISELEAR

来源：评论

学校读者我要写书评

暂无评论

Automation of data normalization for implementing master data management systems

引用

programming AND COMPUTER SOFTWARE 2013年第3期39卷 115-123页

作者： Nedumov, Ya. R. Turdakov, D. Yu. Maiorov, V. D. Ovchinnikov, P. E. Inst Syst Programming Moscow 109004 Russia Moscow Inst Phys & Technol Moscow 115184 Russia

Data normalization is a laborious and costly process taking place in master data management soft-ware development in enterprises. We analyze the subtasks of the normalization and propose an approach to automating the most laborious of these subtasks. Also, we describe a software system implementing the proposed approach and automatically learning the expert skills.

关键词： ELECTRONIC information resources COMPUTER software development DATA integration (Computer science) INFORMATION resources management ERRATA (Publishing) DATA warehousing

来源：评论

学校读者我要写书评

暂无评论

Adaptive Speculative Processing of Out-of-Order Event Streams

引用

ACM TRANSACTIONS ON INTERNET TECHNOLOGY 2014年第1期14卷 4-4页

作者： Mutschler, Christopher Philippsen, Michael Univ Erlangen Nurnberg CS Dept Programming Syst Grp D-91058 Erlangen Germany Fraunhofer IIS Erlangen Germany Fraunhofer Inst Integrated Circuits IIS D-91058 Erlangen Germany

Distributed event-based systems are used to detect meaningful events with low latency in high data-rate event streams that occur in surveillance, sports, finances, etc. However, both known approaches to dealing with the predominant out-of-order event arrival at the distributed detectors have their shortcomings: buffering approaches introduce latencies for event ordering, and stream revision approaches may result in system overloads due to unbounded retraction cascades. This article presents an adaptive speculative processing technique for out-of-order event streams that enhances typical buffering approaches. In contrast to other stream revision approaches developed so far, our novel technique encapsulates the event detector, uses the buffering technique to delay events but also speculatively processes a portion of it, and adapts the degree of speculation at runtime to fit the available system resources so that detection latency becomes minimal. Our technique outperforms known approaches on both synthetical data and real sensor data from a realtime locating system (RTLS) with several thousands of out-of-order sensor events per second. Speculative buffering exploits system resources and reduces latency by 40% on average.

关键词： Design Algorithms Performance Reliability Measurement Distributed event processing out-of-order event processing publish/subscribe message-oriented middleware speculative processing low latency

来源：评论

学校读者我要写书评

暂无评论

Performance Optimizations in an LLVM-based Cloud Application Store

Performance Optimizations in an LLVM-based Cloud Application...

引用

9th International Conference on Computer Science and Information Technologies (CSIT)

作者： Ivanikov, Viktor Kurmangaleev, Shamil Belevantsev, Andrey Avetisyan, Arutyun Russian Acad Sci Inst Syst Programming Moscow Russia

This paper describes the two-stage compilation system based on LLVM compiler infrastructure and the performance optimizations made possible by this deployment technique.

ISBN: (纸本)9781479924608

This paper describes the two-stage compilation system based on LLVM compiler infrastructure and the performance optimizations made possible by this deployment technique.

关键词： LLVM compilation optimizations devirtualization profile information

来源：评论

学校读者我要写书评

暂无评论

Combined Approach to Solving Problems in Binary Code Analysis

Combined Approach to Solving Problems in Binary Code Analysi...

引用

9th International Conference on Computer Science and Information Technologies (CSIT)

作者： Getman, Alexander Padaryan, Vartan Solovyev, Mikhail Russian Acad Sci Inst Syst Programming Moscow 117901 Russia

This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.

ISBN: (纸本)9781479924608

This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.

关键词： Software security binary code dynamic and static analysis

来源：评论

学校读者我要写书评

暂无评论

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal 6

Simple Management of High Assurance Data in Long-Lived Inter...

引用

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Margaria, Tiziana Floyd, Barry D. Camargo, Rodolfo Gonzalez Lamprecht, Anna-Lena Neubauer, Johannes Seelaender, Marilia Univ Potsdam Chair Serv & Software Engn Potsdam Germany Calif Polytech State Univ San Luis Obispo Orfalea Coll Business San Luis Obispo CA 93407 USA Inst Biomed Sci Cancer Metabolism Res Grp Sao Paulo Brazil TU Dortmund Chair Programming Syst Dortmund Germany Univ Potsdam Inst Nutr Sci Chair Biochem Nutr I Potsdam Germany

ISBN: (纸本)9783662452318;9783662452301

Healthcare research data is typically produced, curated, and used by scientists, physicians, and other experts that have little or no professional affinity to programming and IT system design. In the context of evidence-based medicine or translational medicine, however the production, reliability, and long term availability of high quality and high assurance data is of paramount importance. In this paper we reflect on the data management needs we encountered in our experience as associated partners of a large interdisciplinary research project coordinated at the Cancer Metabolism Research Group, institute of Biomedical Sciences at University of Sao Paulo in Brazil. Their research project involves extensive collection of detailed sample data within a complicated environment of clinical and research methods, medical, assessment, and measurement equipment and the regulatory requirements of maintaining privacy, data quality and security. We use this example as an illustrative case of a category of needs and a diversity of professional and skills profiles that is representative of what happens today in any large scale research endeavor. We derive a catalogue of requirements that an IT system for the definition and management of data and processes should have, how this relates to the IT development and XMDD philosophy, and we briefly sketch how the DyWA + jABC combination provides a foundation for meeting those needs.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：