咨询与建议

限定检索结果

文献类型

  • 481 篇 会议
  • 162 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 649 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 363 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 45 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 11 篇 仪器科学与技术
    • 11 篇 动力工程及工程热...
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 202 篇 理学
    • 121 篇 数学
    • 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
  • 14 篇 linux
  • 14 篇 safety
  • 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...
  • 20 篇 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 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 11 篇 josef börcsök
  • 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...

语言

  • 628 篇 英文
  • 13 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
649 条 记 录,以下是121-130 订阅
排序:
ISPRAS@FinTOC-2021 Shared Task: Two-stage TOC generation model  3
ISPRAS@FinTOC-2021 Shared Task: Two-stage TOC generation mod...
收藏 引用
3rd Financial Narrative Processing Workshop, FNP 2021
作者: Kozlov, Ilya Belyaeva, Oksana Bogatenkova, Anastasiya Perminov, Andrew Ivannikov Institute for System Programming of the RAS 25 Alexander Solzhenitsyn Str. Moscow109004 Russia
We propose a two-stage approach for TOC generation from financial documents. This work connected with participation in FinTOC-2021 Shared Task: "Financial Document Structure Extraction". The competition cont... 详细信息
来源: 评论
Coverage-driven automated compiler test suite generation
Coverage-driven automated compiler test suite generation
收藏 引用
LDTA'2003 - Language Descriptions, Tools and Applications
作者: Kalinov, A. Kossatchev, A. Petrenko, A. Posypkin, M. Shishkov, V. Institute for System Programming of Russian Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia
The paper presents a novel approach to automated compiler test suite generation based on the source level specification. Several coverage criteria are introduced. The application of the proposed methodology to testing... 详细信息
来源: 评论
Specification-driven testbench development for synchronous parallel-pipeline designs
Specification-driven testbench development for synchronous p...
收藏 引用
2009 NORCHIP
作者: Chupilko, Mikhail Kamkin, Alexander Institute for System Programming of the Russian Academy of Sciences 25 A. Solzhenitsyn Street Moscow 109004 Russia
In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications ... 详细信息
来源: 评论
Texterra at SemEval-2018 Task 7: Exploiting Syntactic Information for Relation Extraction and Classification in Scientific Papers  12
Texterra at SemEval-2018 Task 7: Exploiting Syntactic Inform...
收藏 引用
12th International Workshop on Semantic Evaluation, SemEval 2018, co-located with the 16th Annual Conference of the North American Chapter of the
作者: Sysoev, Andrey Mayorov, Vladimir Ivannikov Institute for System Programming The Russian Academy of Sciences 25 Alexander Solzhenitsyn Street Moscow Russia
In this work we evaluate applicability of entity pair models and neural network architectures for relation extraction and classification in scientific papers at SemEval-2018. We carry out experiments with representing... 详细信息
来源: 评论
Approach to the modeling of systems and sites from ready resources  20
Approach to the modeling of systems and sites from ready res...
收藏 引用
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 functi... 详细信息
来源: 评论
Distinguishing transition systems with the nondeterministic behavior  21
Distinguishing transition systems with the nondeterministic ...
收藏 引用
21st Conference on Scientific Services and Internet, SSI 2019
作者: Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandre Ivannikov Institute for System Programming of RAS 25 Alexander Solzhenitsyn str. Moscow109004 Russia
Test generation is an important issue when checking functional and nonfunctional requirements for components of distributed systems and formal models are utilized in order to derive test suites with guaranteed fault c... 详细信息
来源: 评论
Casr-Cluster: Crash Clustering for Linux Applications
Casr-Cluster: Crash Clustering for Linux Applications
收藏 引用
2021 Ivannikov Ispras Open Conference, ISPRAS 2021
作者: Savidov, Georgy Fedotov, Andrey Ivannikov Institute For System Programming Of The Ras Moscow Russia Lomonosov Moscow State University Moscow Russia
Crash report analysis is a necessary step before developers begin fixing errors. Fuzzing or hybrid (with dynamic symbolic execution) fuzzing is often used in the secure Development lifecycle. Modern fuzzers could prod... 详细信息
来源: 评论
Efficient command buffer recording for accelerated rendering of large 3D scenes  12
Efficient command buffer recording for accelerated rendering...
收藏 引用
12th International Conference on Interfaces and Human Computer Interaction 2018, 11th International Conference on Game and Entertainment Technologies 2018 and 12th International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing 2018, part of the Multi Conference on Computer Science and Information systems 2018, MCCSIS 2018
作者: Gonakhchyan, Viacheslav I. Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia
Interactive rendering of 3D scenes with a big number of objects is computationally intensive. It is hard to determine an efficient way of rendering command recording and submission. Command buffers can be recorded eac... 详细信息
来源: 评论
Locally explicit construction of Rödl's asymptotically good packings
Locally explicit construction of Rödl's asymptotically good...
收藏 引用
23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998
作者: Kuzjurin, Nikolai N. Institute for System Programming Russian Academy of Sciences B. Kommunisticheskaya 25 Moscow 109004 Russia
We present a family of asymptotically good packings of l-subsets of an n-set by k-subsets and an algorithm that given a natural i finds the ith k-subset of this family. The bit complexity of this algorithm is almost l... 详细信息
来源: 评论
A Comprehensive Approach to Finding Resource Leaks via Static Analysis
A Comprehensive Approach to Finding Resource Leaks via Stati...
收藏 引用
2024 Ivannikov Open Conference, ISPRAS 2024
作者: Malyshev, Nikita Borodin, Alexey Belevantsev, Andrey Ivannikov Institute for System Programming of the RAS Moscow Russia Lomonosov Moscow State University Moscow Russia
In the last 15 years many dedicated leak detection tools utilizing novel approaches were designed. Unfortunately, most of them are hard to implement and fully utilize in the scope of a multi-purpose industrial analyze... 详细信息
来源: 评论