咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
A locking protocol for scheduling transactions on XML data
A locking protocol for scheduling transactions on XML data
收藏 引用
2nd Spring Colloquium for Young Researchers in Databases and Information systems, SYRCoDIS 2005
作者: Pleshachkov, Peter Chardin, Petr Institute for System Programming RAS Morocco Moscow State University Russia
In this paper we propose a new DataGuide-based locking protocol for isolation of concurrent XML transactions. The protocol adopts DataGuide structure for locking purposes. We extend the multigranularity locking protoc... 详细信息
来源: 评论
A locking based scheduler for XML databases
A locking based scheduler for XML databases
收藏 引用
13th Italian Symposium on Advanced Database systems, SEBD 2005
作者: Pleshachkov, Peter Chardin, Petr Kuznetsov, Sergei Institute for System Programming RAS Russia Moscow State University Russia
Nowadays, XML has emerged as the standard technique for storing and exchanging semistructured data. The retrieval and update of XML documents in the multi-user databases requires isolation of con- current transactions... 详细信息
来源: 评论
Incorporating active rules processing into update execution in XML database systems
Incorporating active rules processing into update execution ...
收藏 引用
International Workshop on Database and Expert systems Applications
作者: M. Rekouts Institute for System Programming Russian Academy of Sciences Moscow Russia
We address the problem of efficient support for active rules in XML database systems. We describe a general form of active rules for XML based on XQuery and a previously defined update language and present our method ... 详细信息
来源: 评论
Rewriting-based optimization for XQuery transformational queries
Rewriting-based optimization for XQuery transformational que...
收藏 引用
International Symposium on Database Engineering and Applications (IDEAS)
作者: M. Grinev M. Pleshachkov Institute for System Programming Russian Academy of Sciences Moscow Russia
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. For "querying" queries almost... 详细信息
来源: 评论
A formal model of XML schema
A formal model of XML schema
收藏 引用
21st International Conference on Data Engineering Workshops 2005
作者: Novak, Leonid Zamulin, Alexandre Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaia str. Moscow 109104 Russia A.P. Ershov Institute of Informatics Systems Siberian Branch Russian Academy of Sciences Novosibirsk 630090 Russia
The semantics of the core features of XML Schema in terms of XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many sorted algebra whose sorts are sets of data ... 详细信息
来源: 评论
A Formal Model of XML Schema
A Formal Model of XML Schema
收藏 引用
International Conference on Data Engineering Workshops
作者: L. Novak A. Zamulin Institute for System Programming Russian Academy of Science Moscow Russia A.P. Ershov Institute of Informatics Systems Russian Academy of Science Novosibirsk Russia
The semantics of the core features of XML Schema in terms of XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many sorted algebra whose sorts are sets of data ... 详细信息
来源: 评论
POVERTY, STATE CAPITAL, AND RECIDIVISM AMONG WOMEN OFFENDERS*
收藏 引用
Criminology & Public Policy 2006年 第2期3卷
作者: KRISTY HOLTFRETER MICHAEL D. REISIG MERRY MORASH Kristy Holtfreter received her Ph.D. from the School of Criminal Justice Michigan State University in January 2004. Her research interests include legal responses to fraud in organizations correctional programming and research methodology. Her recent publications have appeared in Women and Criminal Justice and the Journal of Contemporary Criminal Justice. Michael D. Reisig is an Associate Professor of Criminal Justice at Michigan State University. His interests include neighborhood context and policing institutional corrections and applied statistical models. His research has appeared in such journals as Criminoalgy Justice Quarterly Journal of Research in Cromie and Delinquency and Crime and Delinquency. Merry Morash is a Professor of Criminal Justice at Michigan State University. Before obtaining her Ph.D. (University of Maryland in 1978) she worked in the adult prison system as a pre-release social worker directed programs for youthful offenders and worked in the juvenile court as a social worker. Her current research projects include programming to meet the needs of women offenders domestic violence among different racial and ethnic groups both within and outside the United States and assessment of community efforts to respond to crime victimization. She has conducted research with funding from the National Institute of Justice the National Science Foundation and with support from numerous other sources.
Research Summary: This research investigates the effects of poverty and state capital (i.e., state-sponsored support) on recidivism among women offenders. We seek also to determine whether criticisms directed at actua... 详细信息
来源: 评论
Towards the proper "step" command in parallel debuggers
Towards the proper "step" command in parallel debuggers
收藏 引用
Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)
作者: Kalinov, Alexey Karganov, Konstantin Khorenko, Konstantin Institute for System Programming Russian Academy of Sciences 25 Bolshaya Kommunisticheskaya str. Moscow 1090045 Russia
The article is devoted to the concept of the stepping commands in parallel debuggers. It reviews the main existing schemes (synchronous and asynchronous step implementations) and introduces a new kind of synchronous s... 详细信息
来源: 评论
Towards the proper "step" command in parallel debuggers
Towards the proper "step" command in parallel debuggers
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: A. Kalinov K. Karganov K. Khorenko Institute for System Programming Russian Academy of Sciences Moscow Russia
Summary form only given. The article is devoted to the concept of the stepping commands in parallel debuggers. It reviews the main existing schemes (synchronous and asynchronous step implementations) and introduces a ... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 2981卷 V-VI页
作者: Müller-Schloer, Christian Ungerer, Theo Bauer, Bernhard University of Hannover Institute of Systems Engineering System and Computer Architecture - SRA Appelstr. 4 Hannover Germany University of Augsburg Institute of Informatics Augsburg Germany University of Augsburg Department of Software Engineering and Programming Languages Augsburg Germany
来源: 评论