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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

23 篇 会议
11 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

21 篇 工学
- 17 篇 计算机科学与技术...
- 10 篇 软件工程
- 6 篇 电气工程
- 6 篇 信息与通信工程
- 3 篇 电子科学与技术（可...
- 2 篇 控制科学与工程
- 2 篇 土木工程
- 2 篇 石油与天然气工程
- 2 篇 交通运输工程
- 2 篇 船舶与海洋工程
- 2 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 生物工程
- 1 篇 网络空间安全
9 篇 理学
- 4 篇 物理学
- 3 篇 数学
- 2 篇 海洋科学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学

主题

3 篇 linux
3 篇 testing
2 篇 registers
2 篇 computer archite...
2 篇 specifications
2 篇 contracts
2 篇 automata
2 篇 kernel
2 篇 microprocessors
1 篇 non-deterministi...
1 篇 tools
1 篇 runtime
1 篇 adaptive systems
1 篇 microarchitectur...
1 篇 description
1 篇 software package...
1 篇 software defined...
1 篇 model of life cy...
1 篇 programming
1 篇 instruments

机构

3 篇 ivannikov instit...
3 篇 software enginee...
2 篇 institute of nuc...
2 篇 software enginee...
2 篇 department of ne...
2 篇 cloud technologi...
2 篇 software enginee...
2 篇 laboratory of in...
2 篇 compiler technol...
2 篇 laboratory of ul...
2 篇 atlas group univ...
1 篇 krembil research...
1 篇 department of ps...
1 篇 neural basis of ...
1 篇 department of el...
1 篇 school of mathem...
1 篇 informatics univ...
1 篇 sapienza univers...
1 篇 institute of bio...
1 篇 university of ap...

作者

8 篇 yevtushenko nina
4 篇 kossachev alexan...
4 篇 burdonov igor
3 篇 alexander kamkin
3 篇 nina yevtushenko
2 篇 škraba andrej
2 篇 pozin boris a.
2 篇 igor burdonov
2 篇 kamkin alexander
2 篇 vinarskii evgeni...
2 篇 shaidurov vladim...
2 篇 semenkin eugene
2 篇 cavalli ana rosa
2 篇 kovalev igor
2 篇 petrenko alexand...
2 篇 tiziano villa
2 篇 alexandr kossach...
1 篇 a s epikhin
1 篇 t g elizarova
1 篇 efremov denis

语言

35 篇 英文

检索条件"机构=Software Engineering Department Institute for System Programming of the RAS"

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

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

详细简洁

排序：

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications

Coverage-directed verification of microprocessor units based...

引用

East-West Design and Test Symposium

作者： Kamkin, Alexander Software Engineering Department Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaya Moscow 109004 Russia

ISBN: (纸本)9781424434039

In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64- compatible microprocessor. © 2008 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Dynamic verification of hybrid systems

Dynamic verification of hybrid systems

引用

Tools & Methods of Program Analysis (TMPA)

作者： Nikolay Pakulin Department of Software Engineeing Institute for System Programming of RAS Moscow Russia

In the recent decade we face aggressive replacement of analog control loops with digital ones. Even for critical systems there are ongoing projects for digital control: “Smart Grids” in power industry, “Integrated Modular Avionics” in aerospace, “Smart Fabrics” in manufacturing, etc. Introduction of large scale digital control channels raises the risks of faults that might result in heavy losses. Those risks call for new methods of analysis and verification, including modeling hybrid systems and model-based verification. The paper overviews a number of existing approaches to verification of hybrid systems and introduces architecture of a test bed for dynamic verification of models of hybrid systems.

关键词： Numerical models Mathematical model Testing Automata Analytical models Atmospheric modeling software packages

来源：评论

学校读者我要写书评

暂无评论

Ontological Approach to the Formal Specification of the Standard Life Cycle

Ontological Approach to the Formal Specification of the Stan...

引用

Science and Information Conference

作者： Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia

ISBN: (纸本)9781479985487

Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protégé systems. An eventual result of this system Protégé got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.

关键词： ontology the life cycle standard model of life cycle processes actions task testing DSL description Protégé XML

来源：评论

学校读者我要写书评

暂无评论

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs

Deriving adaptive homing sequences for weakly initialized no...

引用

2019 IEEE East-West Design and Test Symposium, EWDTS 2019

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (纸本)9781728110035

State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs. © 2019 IEEE.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

The Unknown Component Problem: Theory and Applications

引用

2007年

作者： Tiziano Villa Robert King Brayton Alan Mishchenko Alexandre F Petrenko Alberto Luigi Sangiovanni-Vincentelli Nina V Yevtushenko

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Linux Kernel Modules Based on Call Interception

Runtime Verification of Linux Kernel Modules Based on Call I...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Vladimir V. Rubanov Eugene A. Shatokhin Department of Software Engineering Institute of System Programming of the Russian Academy of Sciences Moscow Russia

Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems.

关键词： Kernel Driver circuits Instruments Linux Runtime Binary codes Resource management

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Model-Based Test Program Generator for Microprocessors

Reconfigurable Model-Based Test Program Generator for Microp...

引用

IEEE International Conference on software Testing Verification and Validation Workshop, ICSTW

作者： Alexander Kamkin Eugene Kornykhin Dmitry Vorobyev Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with little reuse of well-tried components. State-of-the-art tools, like Genesys-Pro and RAVEN, meet the challenge by using a model-based approach, where a microprocessor model is separated from a platform-independent generation core. However, there is still a problem. Developing a microprocessor model is rather difficult and usually requires deep knowledge of the inner-core structure and interfaces. In this paper, we describe a concept of a reconfigurable test program generator being customized with the help of architecture specifications and configuration files, which describe parameters of the microprocessor subsystems (pipeline, memory, and others). The suggested approach eases the model development and makes it possible to apply the model-based testing in the early design stages when the microprocessor architecture is frequently modified.

关键词： Microprocessors Generators Automatic programming Microarchitecture Registers Pipelines Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications

Coverage-directed verification of microprocessor units based...

引用

East-West Design & Test Symposium (EWDTS)

作者： Alexander Kamkin Software Engineering Department Institute for System Programming of Russian Academy of Sciences Moscow Russia

关键词： Microprocessors Contracts Automation Program processors Computer architecture Algorithm design and analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Using Machine Learning Techniques for Assessing Media Text Readability 24

Using Machine Learning Techniques for Assessing Media Text R...

引用

24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023

作者： Laputenko, Andrey Evtushenko, Tatiana Klochkova, Elena Yevtushenko, Nina National Research Tomsk State University Department of Information Technologies Tomsk Russia Graduate School of Applied Linguistics and Translation Studies Peter the Great St. Petersburg Polytechnic University Saint Petersburg Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Department of Software Engineering Moscow Russia

ISBN: (纸本)9798350336870

The paper addresses the problem of assessing media text readability depending on the correlation of objective and subjective text complexity. Objective text complexity refers to a set of measurable characteristics such as baseline, morphological, syntactic and lexical characteristics of a media text (a piece of news published on university websites), which is calculated automatically for each text. In total, 34 parameters are considered. Subjective text complexity score is assigned to each text by human experts who assess the clarity, structure, cohesion and coherence of the text. The correlation between subjective and objective text complexity is studied using machine learning models. The readability level is measured using machine learning methods and regression-correlation analysis. Namely, an artificial neural network and regression models are used. It is demonstrated that the use of polynomial features and lasso regularization allows to get a compact regression model of a high quality. The use of the chosen machine learning techniques made it possible to estimate the impact of distinct linguistic features on the readability level. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Universal mitigation of NBTI-induced aging by design randomization

Universal mitigation of NBTI-induced aging by design randomi...

引用

East-West Design & Test Symposium (EWDTS)

作者： Maksim Jenihhin Alexander Kamkin Zainalabedin Navabi Somayeh Sadeghi-Kohan Department of Computer Engineering Tallinn University of Technology ESTONIA Institute for System Programming of the Russian Academy of Sciences (ISP RAS) RUSSIA Department of Electrical and Computer Engineering University of Tehran IRAN

ISBN: (纸本)9781509006946

In this paper we propose to think out of the box and discuss an approach for universal mitigation of Negative Bias Temperature Instability (NBTI) induced aging untied from the limitations of its modelling. The cost-effective approach exploits a simple property of a randomized design, i.e., the equalized signal probability and switching activity at gate inputs. The techniques considered for structural design randomization involve both the hardware architecture and embedded software layers. Ultimately, the proposed approach aims at extending the reliable lifetime of nanoelectronic systems.

关键词： Negative bias temperature instability Thermal variables control Logic gates Delays Registers Aging Degradation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：