咨询与建议

限定检索结果

文献类型

  • 343 篇 会议
  • 302 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 648 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 306 篇 理学
    • 159 篇 物理学
    • 101 篇 数学
    • 29 篇 统计学(可授理学、...
    • 24 篇 生物学
    • 23 篇 化学
    • 16 篇 大气科学
    • 14 篇 系统科学
    • 13 篇 地质学
    • 12 篇 地球物理学
    • 11 篇 天文学
  • 300 篇 工学
    • 189 篇 计算机科学与技术...
    • 143 篇 软件工程
    • 30 篇 力学(可授工学、理...
    • 28 篇 控制科学与工程
    • 24 篇 电子科学与技术(可...
    • 24 篇 化学工程与技术
    • 22 篇 机械工程
    • 21 篇 信息与通信工程
    • 21 篇 航空宇航科学与技...
    • 19 篇 材料科学与工程(可...
    • 19 篇 电气工程
    • 14 篇 仪器科学与技术
    • 13 篇 动力工程及工程热...
    • 13 篇 核科学与技术
    • 11 篇 光学工程
    • 11 篇 交通运输工程
  • 49 篇 管理学
    • 24 篇 图书情报与档案管...
    • 23 篇 管理科学与工程(可...
  • 30 篇 医学
    • 23 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
  • 7 篇 法学
  • 4 篇 经济学
  • 4 篇 教育学
  • 1 篇 文学

主题

  • 18 篇 libraries
  • 14 篇 static analysis
  • 11 篇 linux
  • 11 篇 computational mo...
  • 10 篇 conferences
  • 10 篇 registers
  • 10 篇 programming
  • 10 篇 computer archite...
  • 10 篇 software
  • 9 篇 control systems
  • 9 篇 algorithm design...
  • 9 篇 hardware
  • 8 篇 xml
  • 8 篇 parallel program...
  • 8 篇 neural networks
  • 8 篇 semantics
  • 8 篇 electrons
  • 8 篇 generators
  • 8 篇 microprocessors
  • 7 篇 tools

机构

  • 50 篇 florida state un...
  • 50 篇 university of ne...
  • 50 篇 lawrence livermo...
  • 50 篇 center for nucle...
  • 49 篇 oak ridge nation...
  • 49 篇 vanderbilt unive...
  • 48 篇 institut für ker...
  • 47 篇 department of ph...
  • 47 篇 riken bnl resear...
  • 47 篇 yonsei universit...
  • 46 篇 university of te...
  • 46 篇 weizmann institu...
  • 45 篇 abilene christia...
  • 45 篇 dapnia cea sacla...
  • 45 篇 hiroshima univer...
  • 44 篇 los alamos natio...
  • 44 篇 laboratoire lepr...
  • 44 篇 nagasaki institu...
  • 44 篇 institute of phy...
  • 43 篇 kek high energy ...

作者

  • 50 篇 a. bazilevsky
  • 50 篇 y. v. efremenko
  • 50 篇 m. rosati
  • 50 篇 e. kistenev
  • 50 篇 k. shigaki
  • 50 篇 d. jouan
  • 50 篇 s. nagamiya
  • 50 篇 s. l. fokin
  • 50 篇 j. g. lajoie
  • 50 篇 v. pantuev
  • 50 篇 m. l. purschke
  • 50 篇 a. a. vinogradov
  • 50 篇 s. p. stoll
  • 50 篇 j. t. mitchell
  • 49 篇 v. bumazhnov
  • 49 篇 j. s. haggerty
  • 48 篇 r. seto
  • 48 篇 a. yanovich
  • 48 篇 v. riabov
  • 45 篇 j. tojo

语言

  • 624 篇 英文
  • 11 篇 其他
  • 9 篇 俄文
  • 5 篇 中文
  • 1 篇 荷兰文
检索条件"机构=Institute for System Programming of Russian Academy of Science"
648 条 记 录,以下是21-30 订阅
排序:
Extracting key terms from noisy and multi-theme documents  09
Extracting key terms from noisy and multi-theme documents
收藏 引用
18th International World Wide Web Conference, WWW 2009
作者: Grineva, Maria Grinev, Maxim Lizorkin, Dmitry Institute for System Programming Russian Academy of Sciences Russia
We present a novel method for key term extraction from text documents. In our method, document is modeled as a graph of semantic relationships between terms of that document. We exploit the following remarkable featur... 详细信息
来源: 评论
Extracting objects and their attributes from tables in text documents
Extracting objects and their attributes from tables in text ...
收藏 引用
7th Spring Researchers Colloquium on Databases and Information systems, SYRCoDIS 2011
作者: Astrakhantsev, Nikita Institute for System Programming Russian Academy of Sciences Russia
Extracting information from tables is an important and rather complex part of information retrieval. For the task of objects extraction from HTML tables we introduce the following methods: determining table orientatio...
来源: 评论
Automatic recognition of domain-specific terms: An experimental evaluation  9
Automatic recognition of domain-specific terms: An experimen...
收藏 引用
9th Spring Researchers Colloquium on Databases and Information systems, SYRCoDIS 2013
作者: Fedorenko, Denis Astrakhantsev, Nikita Turdakov, Denis Institute for System Programming Russian Academy of Sciences Russia
This paper presents an experimental evaluation of the state-of-the-art approaches for automatic term recognition based on multiple features: machine learning method and voting algorithm. We show that in most cases mac... 详细信息
来源: 评论
A Method to Evaluate Binary Code Comparison Tools
A Method to Evaluate Binary Code Comparison Tools
收藏 引用
2021 Ivannikov Memorial Workshop, IVMEM 2021
作者: Arutunian, Mariam Hovhannisyan, Hripsime Vardanyan, Vahagn Sargsyan, Sevak Kurmangaleev, Shamil Aslanyan, Hayk Russian-Armenian University System programming department Yerevan Armenia Institute for System Programming Russian Academy of Sciences System programming department Moscow Russia
Binary code comparison tools are widely used to analyze vulnerabilities, search for malicious code, detect copyright violations, etc. The article discusses three tools - BCC, BinDiff, Diaphora. Those are based on stat... 详细信息
来源: 评论
DataGuide-based distribution for XML documents
DataGuide-based distribution for XML documents
收藏 引用
6th Spring Young Researchers' Colloquium on Databases and Information systems, SYRCoDIS 2009
作者: Kalinin, Alexander Institute for System Programming Russian Academy of Sciences Russia
Distribution is a well-known solution to increase performance and provide load balancing in case you need optimal resource utilization. Together with replication it also allows improved reliability, accessibility and ... 详细信息
来源: 评论
Header-driven generation of sanity API tests for shared libraries
Header-driven generation of sanity API tests for shared libr...
收藏 引用
Central and Eastern European Software Engineering Conference
作者: Ponomarenko, Andrey Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Russia
There are thousands of various software libraries being developed in the modern world - completely new libraries emerge as well as new versions of existing ones regularly appear. Unfortunately, developers of many libr... 详细信息
来源: 评论
Effective Solving Scientific Problems on Heterogeneous Networks with mpC
收藏 引用
Journal of Computational Methods in sciences and Engineering 2002年 第1-2期2卷 135-140页
作者: Kalinov, Alexey Lastovetsky, Alexey Ledovskih, Ilya Posypkin, Mikhail Institute for System Programming Russian Academy of Sciences 25 Bolshaya Konmmnisticheskaia str. Moscow109004 Russia
The paper presents a language for portable parallel computing on heterogeneous networks and experience of its use for solving scientific problems. © 2001 IOS Press.
来源: 评论
Automated verification of shared libraries for backward binary compatibility
Automated verification of shared libraries for backward bina...
收藏 引用
International Conference on Advances in system Testing and Validation Lifecycle
作者: Ponomarenko, Andrey Rubanov, Vladimir Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper discusses a problem of ensuring backward binary compatibility when developing shared libraries. Linux (and GCC environment) is used as the main example. Breakage of the compatibility may result in crashing ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A discrete-event simulator for early validation of avionics systems  1
A discrete-event simulator for early validation of avionics ...
收藏 引用
1st International Workshop on Architecture Centric Virtual Integration, ACVI 2014, Co-located with the 17th International Conference on Model Driven Engineering Languages and systems, MoDELS 2014
作者: Buzdalov, Denis Khoroshilov, Alexey Institute for System Programming Russian Academy of Sciences Moscow Russia
The paper discusses problems arising in development of avionics systems and considers how discrete-event simulation on the base of architecture models at the early stages of avionics design can help to mitigate some o... 详细信息
来源: 评论