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

20th Conference Scientific Services and Internet, SSI 2018

作者： Lavrischeva, E.M. Ryzhov, A.G. Ivannikov Institute for System Programming of the Russian Academy of Sciences Russia Moscow Institute of Physics and Technology [State University Russia

The component approach to creation of systems and sites from ready resources (components, objects, services and reuses) is considered. The approach is based on the graph and component model (CM), which includes functional, system, service and interface software resources and algebra of their processing. Functions of objects-components are described in the programming languages (PL) and their interfaces in the languages of API, IDL, WSDL, etc. They are implemented in a client–server architecture and interact with each other through the interface. The analysis of models of systems, websites and applications running in a two-tier client-server architecture are given and the modern way of development of this architecture is presented in connection with the increase in the number of users working with modern huge amounts of Big Data and Cloud Computing data. Finished resources are checked for the correctness of their specifications in the PL, and then errors information are tested and collected to correct the errors and assess their reliability. Spent resources are configured and the system is checked for functionality. Site described http://***, including ready-made resources and artifacts of software development technology, and new service-component resources (SOA, SCA, SOAP, etc.) used for modeling web-systems and sites. © 2018 CEUR-WS. All rights reserved.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

MpC + ScaLAPACK = efficient solving linear Algebra problems on heterogeneous networks

MpC + ScaLAPACK = efficient solving linear Algebra problems ...

引用

5th International Conference on Parallel Processing, Euro-Par 1999

作者： Kalinov, Alexey Lastovetsky, Alexey Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia

ISBN: (纸本)3540664432

The paper presents experience of using mpC for accelerating ScaLAPACK applications on heterogeneous networks of computers. The mpC is a language, specially designed for parallel programming for heterogeneous networks. It has facilities for distribution of participating processes over processors in accordance with performances of the latters. An mpC application carring out Cholesky factorization on a heterogeneous network of workstations is used to demonstrate that the heterogeneous process distribution has an essential advantage over the traditional homogeneous distribution. The application is implemented using calls to ScaLAPACK routines by means of the interface mpC - ScaLAPACK. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Heterogeneous networks

来源：评论

学校读者我要写书评

暂无评论

Towards the proper "step" command in parallel debuggers

Towards the proper "step" command in parallel debuggers

引用

Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)

作者： Kalinov, Alexey Karganov, Konstantin Khorenko, Konstantin Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 1090045 Russia

ISBN: (纸本)0769521320

The article is devoted to the concept of the stepping commands in parallel debuggers. It reviews the main existing schemes (synchronous and asynchronous step implementations) and introduces a new kind of synchronous scheme that has several advantages over existing ones. In this scheme the debugger performs the dynamic analysis of the program state thus simplifying the program state presentation and control. The possible implementation of suggested scheme in MPI debuggers is discussed and the existing implementation in mpC Workshop parallel debugger is presented.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Virtualizing HPC applications using modern hypervisors

Virtualizing HPC applications using modern hypervisors

引用

2012 Workshop on Cloud Services, Federation, FederatedClouds 2012 and the 8th Open Cirrus Summit Held in Conjunction with the International Conference on Autonomic Computing, ICAC 2012

作者： Kudryavtsev, Alexander Koshelev, Vladimir Pavlovic, Boris Avetisyan, Arutyun Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn st. 25 109004 Moscow Russia

ISBN: (纸本)9781450317542

In this paper we explore the prospects of virtualization technologies being applied to high performance computing tasks. We use an extensive set of HPC benchmarks to evaluate virtualization overhead, including HPC Challenge, NAS Parallel Benchmarks and SPEC MPI2007. We assess KVM and Palacios hypervisors and, with proper tuning of hypervisor, we reduce the performance degradation from 10-60% to 1- 5% in many cases with processor cores count up to 240. At the same time, a few tests provide overhead ranging from 20% to 45% even with our enhancements. We describe the techniques necessary to achieve sufficient performance. These include host OS tuning to decrease noise level, using nested paging with large pages for efficient guest memory allocation, and proper NUMA architecture emulation when running virtual machines on NUMA hosts. Comparing KVM/QEMU and Palacios hypervisors, we conclude that in general the results with proper tuning are similar, with KVM providing more stable and predictable results while Palacios being much better on fine-grained tests at a large scale, but showing abnormal performance degradation on a few tests. Copyright 2012 ACM.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Simulation-based hardware verification with time-abstract models

Simulation-based hardware verification with time-abstract mo...

引用

2011 9th East-West Design and Test Symposium, EWDTS'2011

作者： Kamkin, Alexander Institute for System Programming Russian Academy of Sciences A. Solzhenitsyn st. 25 109004 Moscow Russia

ISBN: (纸本)9781457719578

Simulation-based verification is a widely-spread approach to ensure functional correctness of hardware designs [1,2]. It is usually done by co-simulating a design under verification with an independently created reference model and checking conformance of their reactions. To reduce verification expenses, abstract models are commonly used (they are simpler, less error-prone and more reusable). Design timing (decomposition of operations into micro-operations and scheduling of those micro-operations) is the main object for abstraction. However, there are several problems in using time-abstract reference models for simulation-based verification. The paper discusses some of the problems and suggests simple, practice-oriented techniques to solve them. © 2011 IEEE.

关键词： Adaptation models Data communication Data models Delay Encyclopedias Hardware Synchronization conformance checking conformance testing formal verification hardware design practice oriented technique reference model simulation based hardware verification t

来源：评论

学校读者我要写书评

暂无评论

Experiments with mpC: Efficient solving regular problems on heterogeneous networks of computers via irregularization

引用

5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR 1998

作者： Arapov, Dmitry Kalinov, Alexey Lastovetsky, Alexey Ledovskih, Ilya Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 109004 Russia

ISBN: (纸本)3540648097

mpC is a medium-level parallel language for programming heterogeneous networks of computers. It allows to write libraries of parallel routines adaptable to peculiarities of any particular executing multiprocessor system to ensure efficient running. The adaptable routines distribute data and computations in accordance with performances of participating processors. In this case even the problems traditionally considered regular, become irregular. Advantages of mpC for efficient solving of regular problems on heterogeneous networks of computers are demonstrated with an mpC routine implementing Cholesky factorization, with efficiency of the mpC routine being compared with ScaLAPACK one.

关键词： Heterogeneous networks

来源：评论

学校读者我要写书评

暂无评论

Model-based testing of safety critical real-Time control logic software 7

Model-based testing of safety critical real-Time control log...

引用

7th Workshop on Model-Based Testing, MBT 2012

作者： Gerlits, Yevgeny Khoroshilov, Alexey Institute for System Programming of the Russian Academy of Sciences lexander Solzhenitsyn st. 25 Moscow1009004 Russia

The paper presents the experience of the authors in model based testing of safety critical real-Time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it. © Y. Gerlits & A. Khoroshilov.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Implementation of POD and DMD methods in Apache Spark framework for simulation of unsteady turbulent flow in the model combustor 7

Implementation of POD and DMD methods in Apache Spark framew...

引用

7th European Congress on Computational Methods in Applied sciences and Engineering, ECCOMAS Congress 2016

作者： Kalugin, Michael D. Strijhak, Sergei V. Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn st. 25 Moscow109004 Russia

ISBN: (纸本)9786188284401

The paper is devoted to modelling and analysis of unsteady turbulent flow in a model combustor (channel) using LES (Large Eddy Simulation). Simulations were provided for 2D and 3D cases on different grids of a flow in a channel with rearward facing step. The calculation of a flow in a channel was performed on high performance cluster, using the new approach in Apache Spark framework and POD, DMD data processing algorithms. First 4 dynamic modes were defined.

关键词： Dynamic mode decomposition

来源：评论

学校读者我要写书评

暂无评论

Khanty Dialects at the Turn of the 18th-21st Centuries: Lexical and Phonetic Differences

Khanty Dialects at the Turn of the 18th-21st Centuries: Lexi...

引用

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Moldanova, I.M. Institute for System Programming of the Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow109004 Russia

ISBN: (纸本)9798350349993

The article delves into the analysis of materials drawn from both the earliest written texts and contemporary field data, leveraging the sophisticated linguistic capabilities of Lingvodoc 3.0 [***]. Within the Khanty dialects, a notable fragmentation exists, with native speakers of the two primary dialect groups, namely the western and eastern variants, encountering substantial challenges in mutual comprehension, often finding themselves unable to understand one another. In today's digital age, we have the remarkable ability to analyze vast datasets, which significantly speeds up scientific progress. Thanks to the Lingvodoc program, previously inaccessible archival materials related to the Khanty language, including the works of G.F. Miller and others, are now available for scholarly exploration. This article conducts a thorough examination, involving glottochronological and phonetic-etymological analyses, of both early written texts and current field data. The results reveal that lexical differences between the 18th and 19th centuries were more significant than those observed in modern dialects, while phonetic distinctions have grown more pronounced in contemporary times. © 2023 IEEE.

关键词： glottochronology Khanty dialects Lingvodoc phonetic and etymological analysis

来源：评论

学校读者我要写书评

暂无评论

Development of parallel software for resolving the 3D task about the origin of the Tornado according to the Nikolaevskii theory

引用

Mathematical Models and Computer Simulations 2009年第4期1卷 482-492页

作者： Avetisyan, A.I. Babkova, V.V. Gaisaryan, S.S. Gubar’, A. Yu. Institute for System Programming Russian Academy of Sciences Kommunisticheskaya ul. 25 Moscow 109004 Russian Federation Institute of Physics of the Earth Russian Academy of Sciences B. Gruzinskaya ul. 10 Moscow 123995 Russian Federation

The aim of the paper is to develop a scalable parallel program for numerical solution of the equation set that simulates processes and origin conditions of intensive atmospheric vortices (IAV) in 3D compressible atmosphere based on the theory of mesovortice turbulence by Nikolaevskii. The original system of nonlinear differential equations and its boundary and initial conditions are considered in the paper. The difference scheme with required precision is selected. The parameters’ restrictions are also formulated. The structure of parallel software that performs computations on a high-performance cluster is considered. The problems of the software’s optimization in order to improve its scalability are discussed. The results of numerical calculations are considered in summary. © 2009, Pleiades Publishing, Ltd.

关键词： Parallel Software 3D Nikolaevskii Theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：