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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

174 篇 会议
63 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

135 篇 工学
- 113 篇 计算机科学与技术...
- 94 篇 软件工程
- 29 篇 力学（可授工学、理...
- 20 篇 控制科学与工程
- 13 篇 机械工程
- 12 篇 信息与通信工程
- 11 篇 电气工程
- 11 篇 安全科学与工程
- 8 篇 航空宇航科学与技...
- 6 篇 电子科学与技术（可...
- 6 篇 生物工程
- 5 篇 动力工程及工程热...
- 4 篇 轻工技术与工程
- 3 篇 光学工程
- 3 篇 化学工程与技术
- 3 篇 石油与天然气工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 测绘科学与技术
83 篇 理学
- 50 篇 数学
- 33 篇 物理学
- 17 篇 统计学（可授理学、...
- 10 篇 系统科学
- 6 篇 生物学
- 4 篇 化学
- 4 篇 大气科学
25 篇 管理学
- 13 篇 管理科学与工程(可...
- 11 篇 图书情报与档案管...
- 7 篇 工商管理
2 篇 经济学
- 2 篇 应用经济学
1 篇 哲学
1 篇 法学
1 篇 历史学
1 篇 农学

主题

19 篇 static analysis
12 篇 conferences
9 篇 computational mo...
7 篇 libraries
7 篇 fuzzing
7 篇 codes
7 篇 numerical models
7 篇 source coding
6 篇 registers
6 篇 programming
6 篇 numerical simula...
6 篇 software testing
6 篇 software
6 篇 testing
6 篇 mathematical mod...
6 篇 standards
5 篇 tools
5 篇 instruments
5 篇 computer archite...
5 篇 computer bugs

机构

57 篇 ivannikov instit...
36 篇 ivannikov instit...
29 篇 lomonosov moscow...
17 篇 moscow institute...
14 篇 lomonosov moscow...
12 篇 ivannikov instit...
11 篇 ivannikov instit...
9 篇 bauman moscow st...
9 篇 bauman moscow st...
7 篇 moscow institute...
7 篇 ivannikov instit...
7 篇 institute for sy...
6 篇 ivannikov instit...
5 篇 tomsk state univ...
5 篇 ivannikov instit...
5 篇 programming of t...
5 篇 lomonosov moscow...
4 篇 college of engin...
4 篇 ivannikov instit...
4 篇 mohamed bin zaye...

作者

15 篇 yevtushenko nina
12 篇 vishnyakov alexe...
11 篇 kuts daniil
10 篇 parygina darya
10 篇 fedotov andrey
8 篇 gasnikov alexand...
8 篇 burdonov igor
7 篇 logunova vlada
7 篇 marchevsky ilia
6 篇 daniil kuts
6 篇 epikhin andrey
6 篇 ilia marchevsky
6 篇 kobrin eli
6 篇 savidov georgy
6 篇 nina yevtushenko
5 篇 andrey belevants...
5 篇 borodin alexey
5 篇 alexey vishnyako...
5 篇 alexey borodin
5 篇 alexander kamkin

语言

234 篇 英文
5 篇 其他
4 篇 俄文

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

共 241 条记录，以下是11-20 订阅

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

详细简洁

排序：

Virtualization-based separation of privilege: Working with sensitive data in untrusted environment

Virtualization-based separation of privilege: Working with s...

引用

1st EuroSys Workshop on Virtualization Technology for Dependable systems,VTDS 2009

作者： Burdonov, Igor Kosachev, Alexander Iakovenko, Pavel Institute for System Programming RAS Moscow Romania

ISBN: (纸本)9781605584737

Contemporary commodity operating systems are too big and do not inspire trust in their security and reliability. Still they are used for processing sensitive data due to the vast amount of legacy software and good support for virtually all hardware devices. Common approaches used to ensure sensitive data protection are either too strict or not reliable. In this article we propose virtualization-based approach for preventing sensitive data leaks from a computer running untrusted commodity OS without sacrificing public network connectivity, computer usability and performance. It is based on separating privileges between two virtual machines: public VM that has unlimited network access and private (isolated) VM that is used for processing sensitive data. Virtual machine monitor uses public VM to provide transparent access to Internet for selected trusted applications running inside the private VM on a system call level. Proposed security architecture allows using one and the same untrusted OS on both virtual machines without necessity to encrypt sensitive data. However it poses a challenge of enforcing dynamic protection over the trusted applications running in the potentially compromised OS. We investigate this problem and provide our solution for it. Copyright 2009 ACM.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

Using Lingvodoc platform for researching genetic and areal semantic shifts: the case of Ob-Ugric basic vocabulary

Using Lingvodoc platform for researching genetic and areal s...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Normanskaya, Julia V. Institute of Linguistics Ras Ivannikov Institute for System Programming Ras Moscow Russia

ISBN: (纸本)9798350398533

Article analysis consists the list the significance of the main results that were obtained when analyzing the graph-phonetic features of the first Cyrillic books in the XIX century:*** first Cyrillic books allow us to see how the classification of dialects *** first Cyrillic books allow you to date the time of phonetic *** first Cyrillic books make it possible to verify the accuracy of transcription of extinct dialects completed by different *** first Cyrillic books made it possible to identify phenomena that persist in modern dialects and existed in the XIX century, but previously did not attract the systematic attention of *** first Cyrillic books make it possible to clarify the territory where speakers of some dialects had previously *** first Cyrillic books confirm the reconstruction of the *** books allow us to clarify the reconstruction of the *** first Cyrillic books allow us to establish who was the true creator of literary languages. © 2022 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

2023 Ivannikov ISPras Open Conference, ISPras 2023

作者： Mkoyan, Ruslan Romanova, Daria Sargsyan, Sevak Epikhin, Andrey Russian-Armenian University Ivannikov Institute for System Programming of the Ras Center of Advanced Software Technologies Yerevan Armenia Ivannikov Institute for System Programming of the Ras Lomonosov Msu Moscow Russia Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (纸本)9798350349993

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment. © 2023 IEEE.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Automatic verification of the text layer correctness in PDF documents

Automatic verification of the text layer correctness in PDF ...

引用

2024 Ivannikov Memorial Workshop, IVMEM 2024

作者： Belyaeva, Oksana V. Golodkov, Aleksandr Bukhatov, Bekzat Programming of the RAS Ivannikov Institute for System Moscow Russia

ISBN: (纸本)9798331504663

PDF documents can contain incorrect textual layers due to low scanning quality, font embedding errors or other reasons. An incorrect text layer can significantly hamper automatic document processing and limit document parsing. To help tackle the problem, this work analyzed the causes of incorrect text layers (gibberish characters) and described a method to automatically extract text information by detecting the correct text layer of PDF files, using OCR and a PDF extractor. To determine the correctness/incorrectness of the text layer obtained from PDF extractors in the method, we trained a binary classifier on the generated *** carried out experiments and assessed the quality of various classification models for text correctness, tested the method on real data, thereby confirming the effectiveness of the developed approach. The obtained results can be useful for further development of methods for automatically checking textual layers and improving the quality of automatic processing PDF documents. © 2024 IEEE.

关键词： Automatic PDF text extraction Corrupted PDF Gibberish text detection Machine learning Reasons for text incorrectness Text classification

来源：评论

学校读者我要写书评

暂无评论

Comparison of hierarchies for occlusion culling based on occlusion queries 27

Comparison of hierarchies for occlusion culling based on occ...

引用

27th International Conference on Computer Graphics and Vision, GraphiCon 2017

作者： Gonakhchyan, V.I. Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9785794429633

Efficient interactive rendering of large datasets still poses a problem. Widely used algorithm frustum culling is too conservative and leaves a lot of hidden objects in view. Occlusion culling with hardware occlusion queries is an effective technique of culling of hidden objects inside view. In the paper, we perform the comparative analysis of popular indexing techniques in conformity to occlusion culling. © GraphiCon 2017 - Computer Graphics and *** right reserved.

关键词： Large dataset

来源：评论

学校读者我要写书评

暂无评论

Futag: Automated fuzz target generator for testing software libraries

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

引用

2021 Ivannikov Memorial Workshop, IVMEM 2021

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

ISBN: (纸本)9781665423274

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. © 2021 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Detecting anomalous device loads during exploratory testing of mobile applications

Detecting anomalous device loads during exploratory testing ...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Mikhaltsov, Danila Sorokin, Konstantin Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (纸本)9798350398533

Reputation and competitiveness of both mobile applications and mobile operating systems depend on their quality. Developers are using various techniques to ensure high quality. Recently, exploratory testing approaches have been gaining significant attention in this context. However, these approaches mostly do not consider one major non-functional requirement that affects quality - performance issues. Performance issues, such as sluggish UI or extensive battery consumption, are tightly connected to inefficient use of device resources. Detecting these issues is a non-trivial task. In this paper we present a novel approach to detect anomalous device resource usage and hence potential performance issues. Our approach is integrated with exploratory testing framework and uses information about previously executed test runs to build the expected resource usage model. The underlying model represents resource usage data as a multidimensional time series and is able to detect anomalous time intervals. We integrate our approach with exploratory testing tool for Android and empirically evaluate it on a set of real-world applications with injected performance issues. Our results show that suggested approach can be successfully applied to detect anomalous device resource usage and potential performance regressions. © 2022 IEEE.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution

Towards Symbolic Pointers Reasoning in Dynamic Symbolic Exec...

引用

2021 Ivannikov Memorial Workshop, IVMEM 2021

作者： Kuts, Daniil Ivannikov Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9781665423274

Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection. A hybrid approach has recently become widespread, when the main goal of symbolic execution is helping fuzzer increase program coverage. The more branches symbolic executor can invert, the more useful it is for fuzzer. A program control flow often depends on memory values, which are obtained by computing address indexes from user input. However, most DSE tools don't support such dependencies, so they miss some desired program branches. We implement symbolic addresses reasoning on memory reads in our dynamic symbolic execution tool Sydr. Possible memory access regions are determined by either analyzing memory address symbolic expressions, or binary searching with SMT-solver. We propose an enhanced linearization technique to model memory accesses. Different memory modeling methods are compared on the set of programs. Our evaluation shows that symbolic addresses handling allows to discover new symbolic branches and increase the program coverage. © 2021 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Vector supercomputer 'Electronica SS BIS'

Vector supercomputer 'Electronica SS BIS'

引用

2024 Ivannikov Memorial Workshop, IVMEM 2024

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

ISBN: (纸本)9798331504663

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. © 2024 IEEE.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Slurm PaaS in a cloud environment for development and debug purposes

Slurm PaaS in a cloud environment for development and debug ...

引用

2021 Ivannikov Ispras Open Conference, ISPras 2021

作者： Ozerova, Tatiana Aksenova, Elena Borisenko, Oleg Kraposhin, Matvey Khashba, Eshsou Ivannikov Institute For System Programming Of The Ras Moscow Russia

ISBN: (纸本)9781665423304

Nowadays specialized distributed services and sig-nificant amounts of computing resources are used for solving tasks in Big Data processing and analysis. Cloud environments allow people to create virtual clusters with necessary characteris-tics and tune specialized software for planning jobs and resource allocation. Slurm belongs to such systems class. Unfortunately, lots of problems appear during manual setup and Slurm usage in cloud infrastructure. The article offers the solution to the problem of automating deployment of the Slurm cluster in cloud infrastructure for development and testing purposes. User acquires access using REST API request to get ready for use virtual cluster with preinstalled and preconfigured Slurm cluster. This work also includes analysis for Slurm/HPC clusters effi-ciency running in Openstack environment using virtual machines interconnected with an overlay network compared to classical bare-metal HPC clusters. © 2021 IEEE.

关键词： Platform as a Service (PaaS)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共25页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：