咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 651 篇 电子文献
  • 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...
  • 21 篇 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 篇 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...

语言

  • 629 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute of System Programming"
651 条 记 录,以下是591-600 订阅
排序:
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
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 precondition... 详细信息
来源: 评论
Automatic Type Reconstruction in Disassembled C Programs
Automatic Type Reconstruction in Disassembled C Programs
收藏 引用
Working Conference on Reverse Engineering
作者: K. Dolgova A. Chernov Institute for System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia
This paper presents an algorithm for automatic type reconstruction from target assembly code compiled by a C compiler. The primitive language types are recovered by an iterative algorithm, which operates over the latt... 详细信息
来源: 评论
Redundant optical data transmission using semiconductor lasers
Redundant optical data transmission using semiconductor lase...
收藏 引用
ACS/IEEE International Conference on Computer systems and Applications
作者: H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY
This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected err... 详细信息
来源: 评论
SXDGL: Snapshot based concurrency control protocol for XML data
收藏 引用
5th International XML Database Symposium
作者: Pleshachkov, Peter Kuznetcov, Sergei Institute for System Programming RAS Russian Federation
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the two-phase locking protocol, which pote... 详细信息
来源: 评论
Recommender system based on user-generated content
Recommender system based on user-generated content
收藏 引用
4th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2007
作者: Denis, Turdakov Institute for System Programming RAS Russia
Recommender systems apply statistical and knowledge discovery techniques to the problem of making recommendations during live user interaction. This paper describes a novel approach of building recommender systems for... 详细信息
来源: 评论
A method for evaluating full-text search queries in native XML databases
A method for evaluating full-text search queries in native X...
收藏 引用
4th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2007
作者: Pastukhov, Roman Institute for System Programming Russian Academy of Sciences Russia
In this paper we consider the problem of efficiently producing results for full-text keyword search queries over XML documents. We describe full-text search query semantics and propose a method for efficient evaluatio... 详细信息
来源: 评论
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
来源: 评论
Clustering-Based Microcode Compression
Clustering-Based Microcode Compression
收藏 引用
IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: Edson Borin Mauricio Breternitz Youfeg Wu Guido Araujo Institute of Computing State University of Campinas-UNICAMP Sao Paulo Brazil Programming System Laboratory Intel Corporation Santa Clara CA USA
Microcode enables programmability of (micro) architectural structures to enhance functionality and to apply patches to an existing design. As more features get added to a CPU core, the area and power costs associated ... 详细信息
来源: 评论
Optics in Computer Architectures: Basis of WDM, Technologies and Potentials
Optics in Computer Architectures: Basis of WDM, Technologies...
收藏 引用
ICONS International Conference on systems
作者: Y. Wang T. Kusserrow S. Irmer A. Hasse M. Bartels N. Dharmarasu H. Hillmer J. Borcsok O. Mikami Institute of Nanostructure Technologies and Analytics (INA) University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics Tokai University Hiratsuka-shi Japan
We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are ex... 详细信息
来源: 评论
Concurrent testing of Java components using Java PathFinder
Concurrent testing of Java components using Java PathFinder
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Mutilin, Vadim Institute for System Programming of Russian Academy of Sciences 25 B. Communisticheskaya Moscow Russia
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states, but it does not guarantee that all possible execution path... 详细信息
来源: 评论