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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

482 篇 会议
163 篇 期刊文献
6 册 图书

馆藏范围

651 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

364 篇 工学
- 298 篇 计算机科学与技术...
- 236 篇 软件工程
- 47 篇 力学（可授工学、理...
- 43 篇 控制科学与工程
- 33 篇 信息与通信工程
- 30 篇 机械工程
- 23 篇 电气工程
- 20 篇 安全科学与工程
- 19 篇 电子科学与技术（可...
- 15 篇 化学工程与技术
- 15 篇 航空宇航科学与技...
- 14 篇 生物工程
- 12 篇 动力工程及工程热...
- 11 篇 仪器科学与技术
- 10 篇 生物医学工程（可授...
- 9 篇 光学工程
- 9 篇 交通运输工程
- 8 篇 石油与天然气工程
- 7 篇 材料科学与工程（可...
- 7 篇 土木工程
203 篇 理学
- 122 篇 数学
- 68 篇 物理学
- 45 篇 统计学（可授理学、...
- 16 篇 生物学
- 16 篇 系统科学
- 13 篇 化学
64 篇 管理学
- 33 篇 图书情报与档案管...
- 31 篇 管理科学与工程(可...
- 13 篇 工商管理
8 篇 医学
- 8 篇 临床医学
6 篇 法学
5 篇 农学
3 篇 经济学
1 篇 哲学
1 篇 教育学
1 篇 历史学

主题

29 篇 static analysis
24 篇 libraries
20 篇 conferences
19 篇 computer archite...
18 篇 computational mo...
17 篇 software
15 篇 programming
15 篇 safety
14 篇 linux
13 篇 registers
13 篇 semantics
13 篇 numerical models
12 篇 tools
12 篇 hardware
12 篇 testing
11 篇 xml
11 篇 software testing
10 篇 machine learning
10 篇 cloud computing
10 篇 mathematical mod...

机构

57 篇 ivannikov instit...
45 篇 lomonosov moscow...
42 篇 ivannikov instit...
36 篇 ivannikov instit...
24 篇 moscow institute...
21 篇 ivannikov instit...
21 篇 institute for sy...
19 篇 department of sy...
18 篇 lomonosov moscow...
18 篇 ivannikov instit...
17 篇 bauman moscow st...
17 篇 institute for sy...
17 篇 south ural state...
15 篇 institute for sy...
15 篇 north-caucasus f...
15 篇 institute for sy...
13 篇 bauman moscow st...
12 篇 ivannikov instit...
11 篇 ivannikov instit...
11 篇 ivannikov instit...

作者

22 篇 yevtushenko nina
14 篇 alexander kamkin
13 篇 khoroshilov alex...
12 篇 turdakov denis
12 篇 josef börcsök
12 篇 vishnyakov alexe...
11 篇 mostafa abotaleb
11 篇 kuts daniil
10 篇 gasnikov alexand...
10 篇 parygina darya
10 篇 fedotov andrey
10 篇 arutyun avetisya...
9 篇 denis turdakov
9 篇 avetisyan arutyu...
9 篇 ilia marchevsky
9 篇 burdonov igor
9 篇 el-kenawy el-say...
9 篇 nina yevtushenko
9 篇 abotaleb mostafa
8 篇 drobyshevskiy mi...

语言

629 篇 英文
14 篇 其他
10 篇 俄文
1 篇 中文

检索条件"机构=Institute for System Programming"

共 651 条记录，以下是201-210 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Futag: Automated fuzz target generator for testing software libraries

Futag: Automated fuzz target generator for testing software ...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Chi Thien Tran Shamil Kurmangaleev Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423281

Recently, Fuzzing is one of the most successful techniques to expose bugs in software. For testing large programs or large codebase with many features and entry-points, the creation of fuzz-targets remains a big challenge. In this paper, we introduce Futag – an automated fuzz target generator for testing software libraries. This approach uses static analysis to collect information about source code: data type definitions, dependencies of types, definitions of functions, etc. Futag has found many vulnerabilities in latest version of popular libraries such as: libopenssl, libpng, libjson-c, liblxml2.

关键词： Software libraries Codes Conferences Computer bugs Static analysis Fuzzing Software

来源：评论

学校读者我要写书评

暂无评论

Development of snowYadeFoam solver for snow particles simulation

Development of snowYadeFoam solver for snow particles simula...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Daria Romanova Sergei Strijhak Matvey Kraposhin Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The research and modeling of the icing process is important for the aircraft industry, wind power, energy supply and other areas of human life in the northern regions. In this paper, we carry out a numerical simulation of the icing of a model body using the Euler-Lagrangian (CFD-DEM) approach. The free open source package YADE is used to calculate the motion of snow crystals, and the free open source package OpenFOAM is used to simulate flow hydrodynamics. The snowYadeFoam solver is being developed, based on the icoFoamYade solver for calculating the interaction of snow crystals with each other and with a streamlined body. A “cohesive frictional material” model is used in the calculations, which describes the cohesion of particles to each other, adhesion of particles to model body and friction during their interaction.

关键词： Industries Snow Atmospheric modeling Crystals Wind power generation Numerical simulation Numerical models

来源：评论

学校读者我要写书评

暂无评论

Michman: an Orchestrator to deploy distributed services in cloud environments

Michman: an Orchestrator to deploy distributed services in c...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Elena Aksenova Nikita Lazarev David Badalyan Oleg Borisenko Roman Pastukhov Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Plekhanov Russian University of Economics Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

Big data storing and processing require specialized distributed services and significant amounts of computing resources. Cloud environments allow one to deploy virtual clusters with the requested characteristics and install the necessary services, but manual configuration is too laborious and inefficient. To use IaaS clouds one should be a highly knowledgeable in the field of system administration. This article presents a Michman tool, which allows on-demand deployment of clusters with a set of services in the cloud IaaS, stores information about deployed systems and provides management of their life cycle. The tool is implemented as a service with a system of user groups, REST API carries access to the system.

关键词： Cloud computing Manuals Tools Big Data

来源：评论

学校读者我要写书评

暂无评论

Collecting influencers: A comparative study of online network crawlers

Collecting influencers: A comparative study of online networ...

引用

2019 Ivannikov Ispras Open Conference, ISPRAS 2019

作者： Drobyshevskiy, Mikhail Aivazov, Denis Turdakov, Denis Yatskov, Alexander Varlamov, Maksim Shayhelislamov, Danil Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia Moscow Institute of Physics and Technology State University Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781728160559

Online network crawling tasks require a lot of efforts for the researchers to collect the data. One of them is identification of important nodes, which has many applications starting from viral marketing to the prevention of disease spread. Various crawling algorithms has been suggested but their efficiency is not studied well. In this paper we compared six known crawlers on the task of collecting the fraction of the most influential nodes of graph. We analyzed crawlers behavior for four measures of node influence: node degree, k-coreness, betweenness centrality, and eccentricity. The experiments confirmed that greedy methods perform the best in many settings, but the cases exist when they are very inefficient. © 2019 IEEE.

关键词： Web crawler

来源：评论

学校读者我要写书评

暂无评论

Numerical simulation of jet flows in homogeneous and heterogeneous media 16

Numerical simulation of jet flows in homogeneous and heterog...

引用

16th All-Russian Seminar with International Participation on Dynamics of Multiphase Media, DMM 2019

作者： Shevchenko, A.K. Strijhak, S.V. Yakovenko, S.N. Khristianovich Institute of Theoretical and Applied Mechanics Siberian Branch of Russian Academy of Sciences Novosibirsk630090 Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow109004 Russia

Submerged jets at different Reynolds numbers (Re) with random perturbations added to the inlet velocity profile are simulated numerically by solving the Navier-Stokes equations. The effects of Re on flow behavior and the length of laminar jet region are studied. A natural gas jet flow emitting form the sea bottom is also simulated using the URANS and VOF methods, and forces acting on an object placed within the multiphase jet are evaluated. © 2019 IOP Publishing Ltd.

关键词： Navier Stokes equations

来源：评论

学校读者我要写书评

暂无评论

Checking Robustness of Web Services based on Solving Automata Equations 22

Checking Robustness of Web Services based on Solving Automat...

引用

22nd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2021

作者： Kolomeets, Anton Shirokova, Ekaterina Gromov, Maxim Yevtushenko, Nina MainConcept-NLD Llc Tomsk Russia Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of Ras Higher School of Economics Moscow Russia

ISBN: (纸本)9781665414982

In this paper, we consider checking the robustness of web services using the model of finite state automata and analyzing the solvability of an automaton equation over the concatenation operator. The paper contains the procedure for constructing the largest solution for a solvable automata equation, since a solution to the equation describes a malicious input. Experimental results have shown that this approach can be effective when checking the robustness of web services. © 2021 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

70 years of ongoing innovations

70 years of ongoing innovations

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Arutyun Avetisyan Sergei Prokhorov Ivannikov Institute for System Programming of RAS Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative development. The article is devoted to the history of the formation of Russian computer science. One of the stages of the continuous innovation development of computer science in Russia is connected with the intensive development of new directions in system and applied programming, to which the reports presented at the conference are devoted.

关键词： programming Technological innovation History Computer security Computer industry Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Revisiting Control Flow Recovery from Binaries: An Abstract Interpretation-based Approach

Revisiting Control Flow Recovery from Binaries: An Abstract ...

引用

2024 Ivannikov Open Conference, ISPRAS 2024

作者： Ilichev, Dmitrii Solovev, Mikhail Ivannikov Institute for System Programming Russian Academy of Sciences Moscow109004 Russia Moscow State University Faculty of Computational Mathematics and Cybernetics Moscow119991 Russia

ISBN: (纸本)9798331526023

Static program analysis requires control flow graphs to be reconstructed from binary code. However, instruction recovery is challenging due to statically unknown targets of indirect branches, leading to incomplete or impractically over-approximated control flow graphs. This paper presents a context-sensitive approach to interproce-dural control flow graph recovery from binary code that employs abstract interpretation to handle indirect jumps. The algorithm can be applied to arbitrary binary code. We introduce such a concept of function that allows us to identify subroutines with irregular call and return patterns. Experiments indicate that the proposed technique produces more precise control flow graphs compared to state-of-the-art tools like IDA Pro and Cutter. © 2024 IEEE.

关键词： Subroutines

来源：评论

学校读者我要写书评

暂无评论

Vector supercomputer “Electronica SS BIS”

Vector supercomputer “Electronica SS BIS”

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Igor Burdonov Sergey Gaisaryan Alexander Kosachev Sergei Prokhorov Victor Shnitman Ivannikov Institute for System Programming RAS Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

The article outlines the basic design principles of the Electronica SS BIS software and computing complex, aimed at addressing the most complex scientific problems. The developers have researched heterogeneous computing supersystems due to the experience they had accumulated from creating previous systems. Research has shown that integrating closely related subsystems with different architectures results in more effective computing systems. With this approach, supercomputers not only became multiprocessors, but they also combined a number of subsystems or independent functional systems, such as a multi-level memory system, a system of functionally specialized machines, a channel system, and a distributed operating system. Later, this work became the foundation for a new direction in computing technology—computing supersystems. In recent years this direction has been recognized as highly relevant and promising.

关键词： Operating systems Conferences Computer architecture Supercomputers Heterogeneous networks Vectors Software

来源：评论

学校读者我要写书评

暂无评论

Header-driven generation of sanity API tests for shared libraries

Header-driven generation of sanity API tests for shared libr...

引用

Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)

作者： Andrey Ponomarenko Vladimir Rubanov Institute for System Programming Russian Academy of Science Russia

There are thousands of various software libraries being developed in the modern world - completely new libraries emerge as well as new versions of existing ones regularly appear. Unfortunately, developers of many libraries focus on developing functionality of the library itself but neglect ensuring high quality and backward compatibility of application programming interfaces (APIs) provided by their libraries. The best practice to address these aspects is having an automated regression test suite that can be regularly (e.g., nightly) run against the current development version of the library. Such a test suite would ensure early detection of any regressions in the quality or compatibility of the library. But developing a good test suite can cost significant amount of efforts, which becomes an inhibiting factor for library developers when deciding QA policy. That is why many libraries do not have a test suite at all. This paper discusses an approach for low cost automatic generation of basic tests for shared libraries based on the information automatically extracted from the library header files and additional information about semantics of some library data types. Such tests can call APIs of target libraries with some correct parameters and can detect typical problems like crashes “out-of-the-box”. Using this method significantly lowers the barrier for developing an initial version of library tests, which can be then gradually improved with a more powerful test development framework as resources appear. The method is based on analyzing API signatures and type definitions obtained from the library header files and creating parameter initialization sequences through comparison of target function parameter types with other functions' return values or out-parameters (usually, it is necessary to call some function to get a correct parameter value for another function and the initialization sequence of the necessary function calls can be quite long). The paper also descri

关键词： Libraries Linux Testing Electronic mail Navigation programming Electronic publishing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共66页 << < 17 18 19 20 21 22 23 24 25 26 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：