咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 242 篇 电子文献
  • 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...
  • 8 篇 ivannikov instit...
  • 7 篇 moscow institute...
  • 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

语言

  • 235 篇 英文
  • 5 篇 其他
  • 4 篇 俄文
检索条件"机构=Institute for System Programming of RAS"
242 条 记 录,以下是91-100 订阅
排序:
Formally verified complete quantifier instatiation strategy for the theory of bounded linear integer arithmetic
Formally verified complete quantifier instatiation strategy ...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Rafael Sadykov Mikhail Mandrykin Ivannikov Institute for System Programming of the RAS Moscow Russia
The Isabelle/HOL proof assistant provides quite advanced and reliable support for discharging proof goals with external SMT solvers by reconstructing the resulting proof tree within the Isabelle/Pure inference kernel.... 详细信息
来源: 评论
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
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 chall... 详细信息
来源: 评论
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
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 developmen... 详细信息
来源: 评论
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
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 th... 详细信息
来源: 评论
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
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 computi... 详细信息
来源: 评论
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Exec...
收藏 引用
Ivannikov Memorial Workshop (IVMEM)
作者: Daniil Kuts Ivannikov Institute for System Programming of the RAS Moscow Russia
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 m... 详细信息
来源: 评论
Detecting anomalous device loads during exploratory testing of mobile applications
Detecting anomalous device loads during exploratory testing ...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Danila Mikhaltsov Konstantin Sorokin Ivannikov Institute for System Programming of the RAS Moscow Russia
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... 详细信息
来源: 评论
Survey of Open-source Flows for Digital Hardware Design
Survey of Open-source Flows for Digital Hardware Design
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Chupilko, Mikhail Kamkin, Alexander Smolov, Sergey Ivannikov Institute for System Programming RAS Plekhanov Russian University of Economics Lomonosov Moscow State University Moscow Institute for Physics and Technology Higher School of Economics Moscow Russia
This paper considers open-source tools for the logical-synthesis and place-and-route hardware design stages. Several flows (CADs), including qFlow, OpenLANE, Coriolis, VTR, and SymbiFlow, have been described. For expe... 详细信息
来源: 评论
Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM
Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...
收藏 引用
Ivannikov ISPras Open Conference (ISPras)
作者: Ruslan Mkoyan Daria Romanova Sevak Sargsyan Andrey Epikhin Center of advanced software technologies Russian-Armenian University Ivannikov Institute for System Programming of the RAS Yerevan Armenia Lomonosov MSU Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia
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 th...
来源: 评论
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
arXiv
收藏 引用
arXiv 2021年
作者: Kuts, Daniil Ivannikov Institute for System Programming of the RAS Moscow Russia
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 m... 详细信息
来源: 评论