咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 648 篇 电子文献
  • 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...
  • 20 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 17 篇 ivannikov instit...
  • 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...

语言

  • 626 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute for System Programming"
648 条 记 录,以下是521-530 订阅
排序:
Static analysis of HDL descriptions: Extracting models for verification
Static analysis of HDL descriptions: Extracting models for v...
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Alexander Kamkin Sergey Smolov Igor Melnichenko Institute for System Programming of the Russian Academy of Sciences (ISPRAS) OJSC The Institute of Electronic Control Computers
The increasing complexity of hardware designs makes functional verification a challenge. The key issue of the state-of-the-art verification approaches is to obtain a “good” model for automated test generation or for... 详细信息
来源: 评论
Correctness checking of HDL-model behavior based on runtime trace matching
Correctness checking of HDL-model behavior based on runtime ...
收藏 引用
Tools & Methods of Program Analysis (TMPA)
作者: V.P. Ivannikov A.S. Kamkin M.M. Chupilko Institute for System Programming of the Russian Academy of Sciences (ISPRAS) 25 Alexander Solzhenitsyn st. Moscow Russia
Correctness checking of HDL-model behavior is an integral part of runtime verification of hardware. As a rule, it is based on comparing of HDL-model behavior and reference model behavior, developed in high-level progr... 详细信息
来源: 评论
S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems
S3A: Secure system simplex architecture for enhanced securit...
收藏 引用
2013 2nd ACM International Conference on High Confidence Networked systems, HiCoNS 2013, as Part of CPSWeek 2013
作者: Mohan, Sibin Bak, Stanley Betti, Emiliano Yun, Heechul Sha, Lui Caccamo, Marco Information Trust Institute University of Illinois Urbana IL 61802 United States Dept. of Computer Science University of Illinois Urbana IL 61802 United States System Programming Research Group University of Rome Tor Vergata Rome Italy
The recently discovered '***' worm has drastically changed the perception that systems managing critical infrastructure are invulnerable to software security attacks. Here we present an architecture that enhan... 详细信息
来源: 评论
Implementing block-stored prefix trees in XML-DBMS
Implementing block-stored prefix trees in XML-DBMS
收藏 引用
8th Spring Researchers Colloquium on Databases and Information systems, SYRCoDIS 2012
作者: Borisenko, Oleg Taranov, Ilya Institute for System Programming Russian Academy of Sciences Russia
The problem of search efficiency through large amount of text data is well-known problem in computer science. We would like to introduce a BST data structure that allows searches through a set of string values, and is... 详细信息
来源: 评论
Towards an open framework for C verification tools benchmarking
Towards an open framework for C verification tools benchmark...
收藏 引用
8th International Ershov Informatics Conference on Perspectives of system Informatics, PSI 2011
作者: Khoroshilov, Alexey Mutilin, Vadim Novikov, Eugene Shved, Pavel Strakh, Alexander Institute for System Programming Russian Academy of Sciences Russia
The paper presents a twofold verification system that aimes to be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux de... 详细信息
来源: 评论
Model based tool chain for system design and system integration of IMA
Model based tool chain for system design and system integrat...
收藏 引用
DAta systems In Aerospace, DASIA 2012
作者: Khoroshilov, Alexey Koverninskiy, Igor Olshanskiy, Mikhail Petrenko, Alexander Ugnenko, Alexander Institute for System Programming of Russian Academy of Sciences Russia GosNIIAS Russia
The paper presents a model-based tool chain for system design and system integration of integrated modular avionics in civil aviation domain. It describes architecture of the tool chain, its current state, use cases s... 详细信息
来源: 评论
Innovative methods and measures in overlapping community detection
Innovative methods and measures in overlapping community det...
收藏 引用
International Workshop on Experimental Economics and Machine Learning 2012, EEML 2012 - In Conjunction with the 10th International Conference on Formal Concept Analysis, ICFCA 2012
作者: Buzun, Nazar Korshunov, Anton Institute for System Programming Russian Academy of Sciences Moscow 109004 Russia
Cluster structure is one of the main features of social graphs. Many algorithms have been proposed in recent years that are capable of revealing fuzzy communities. But a lot of them tend to degrade in some special cas... 详细信息
来源: 评论
Sevigator: Network confinement of malware applications and untrusted operating systems
Sevigator: Network confinement of malware applications and u...
收藏 引用
International Conference on Security and Cryptography, SECRYPT 2012
作者: Efremov, Denis Pakulin, Nikolay Institute for System Programming Alexander Solzhenitsyn st. 25 Moscow Russia
This project is an attempt to combine the advantages of software flexibility and security of hardware firewalls. It aims at the implementation of these advantages in the hypervisor source code for the purpose of creat... 详细信息
来源: 评论
AADL-based toolset for IMA system design and integration
AADL-based toolset for IMA system design and integration
收藏 引用
SAE 2012 Aerospace Electronics and Avionics systems Conference, AEAS 2012
作者: Khoroshilov, Alexey Albitskiy, Dmitry Koverninskiy, Igor Olshanskiy, Mikhail Petrenko, Alexander Ugnenko, Alexander Institute for System Programming Russian Academy of Sciences A. Solzhenitsyna 25 Moscow 109004 Russia GosNIIAS Russia
The paper presents an AADL-based toolset for Integrated Modular Avionics (IMA) design and integration. It describes activities of IMA system designer and system integrator that are supported by the toolset as well as ... 详细信息
来源: 评论
Virtualizing HPC applications using modern hypervisors
Virtualizing HPC applications using modern hypervisors
收藏 引用
2012 Workshop on Cloud Services, Federation, FederatedClouds 2012 and the 8th Open Cirrus Summit Held in Conjunction with the International Conference on Autonomic Computing, ICAC 2012
作者: Kudryavtsev, Alexander Koshelev, Vladimir Pavlovic, Boris Avetisyan, Arutyun Institute for System Programming Russian Academy of Sciences Alexander Solzhenitsyn st. 25 109004 Moscow Russia
In this paper we explore the prospects of virtualization technologies being applied to high performance computing tasks. We use an extensive set of HPC benchmarks to evaluate virtualization overhead, including HPC Cha... 详细信息
来源: 评论