咨询与建议

限定检索结果

文献类型

  • 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 of System Programming"
648 条 记 录,以下是601-610 订阅
排序:
The UniTESK approach to specification-based validation of hardware designs
The UniTESK approach to specification-based validation of ha...
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Kamkin, Alexander Institute for System Programming of Russian Academy of Sciences B. Communisticheskaya 25 Moscow Russia
Functional validation is a major bottleneck in hardware design. Two main approaches to ensure functional correctness of hardware systems are based on formal verification and simulation techniques. It is widely recogni... 详细信息
来源: 评论
CONTROL system DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE
收藏 引用
Asian Journal of Control 2008年 第1期1卷
作者: Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a... 详细信息
来源: 评论
Clustering-based microcode compression
Clustering-based microcode compression
收藏 引用
24th International Conference on Computer Design 2006, ICCD
作者: Borin, Edson Breternitz Jr., Mauricio Youfeg, Wu Araujo, Guido Institute of Computing University of Campinas Campinas SP Brazil Programming System Lab. Intel Corporation Santa Clara CA United States
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 ...
来源: 评论
Concurrent Testing of Java Components Using Java PathFinder
Concurrent Testing of Java Components Using Java PathFinder
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Vadim Mutilin Institute for System Programming Russian Academy of Sciences 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... 详细信息
来源: 评论
The UniTESK Approach to Specification-Based Validation of Hardware Designs
The UniTESK Approach to Specification-Based Validation of Ha...
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Alexander Kamkin Institute for System Programming Russian Academy of Sciences Moscow Russia
Functional validation is a major bottleneck in hardware design. Two main approaches to ensure functional correctness of hardware systems are based on formal verification and simulation techniques. It is widely recogni... 详细信息
来源: 评论
Using intelligent transportation systems (ITS) data for emission estimation
Using intelligent transportation systems (ITS) data for emis...
收藏 引用
Air and Waste Management Association's - 99th Annual Conference and Exhibition 2006
作者: Schneider IV, William H. Zietsman, Josias Knowles, William E. Texas Transportation Institute Texas A and M University System 3135 TAMU College Station TX 77843-3135 United States Center for Air Quality Studies - Gilchrist Texas Transportation Institute Texas A and M University System College Station TX 77843-3135 United States Transportation Planning and Programming Division Texas Department of Transportation 12828 Texas Sage Court Austin TX 78732 United States
A corridor sensitivity analysis was performed at Houston, TX, to help analyze the local placement of ITS technologies to improve the overall performance of current and future EPA emission models. There was a potential... 详细信息
来源: 评论
InfoShield: a security architecture for protecting information usage in memory
InfoShield: a security architecture for protecting informati...
收藏 引用
IEEE Symposium on High-Performance Computer Architecture
作者: W. Shi J.B. Fryman G. Gu H.-H.S. Lee Y. Zhang J. Yang School of Electrical and Computer Engineering Georgia Tech College of Computing Georgia Institute of Technology Programming System Lab Corporate Technology Intel Corporation USA Department of Computer Science University of Pittsburgh USA Department of Computer Science and Engineering University of California Riverside USA
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information can be encrypted when stored in non-vol... 详细信息
来源: 评论
Introducing trigger support for XML database systems
Introducing trigger support for XML database systems
收藏 引用
2nd Spring Colloquium for Young Researchers in Databases and Information systems, SYRCoDIS 2005
作者: Grinev, Maxim Rekouts, Maria Institute for System Programming Russian Academy of Sciences Russia
There is a growing number of XML database systems of different kinds now on the market. XML DBMS vendors rushed to enrich their products with more flexible and advanced features to make them satisfy the requirements o... 详细信息
来源: 评论
Optimal mapping of a parallel application processes onto heterogeneous platform
Optimal mapping of a parallel application processes onto het...
收藏 引用
19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005
作者: Kalinov, Alexey Klimov, Sergey Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 1090045 Russia Institute for System Programming Russian Academy of Sciences
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distributed over the processors according to t... 详细信息
来源: 评论
XDGL: XPath-based concurrency control protocol for XML data
XDGL: XPath-based concurrency control protocol for XML data
收藏 引用
22nd British National Conference on Databases, BNCOD 22
作者: Pleshachkov, Peter Chardin, Petr Kuznetsov, Sergei Institute for System Programming RAS Russia Moscow State University Russia
Today XML has become the most important data exchange technique on the World Wide Web. As a consequence the interest in concurrent XML processing has greatly increased. In this paper we propose a new XPath-based DataG... 详细信息
来源: 评论