咨询与建议

限定检索结果

文献类型

  • 915 篇 会议
  • 328 篇 期刊文献
  • 190 册 图书
  • 6 篇 学位论文

馆藏范围

  • 1,439 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,111 篇 工学
    • 955 篇 计算机科学与技术...
    • 706 篇 软件工程
    • 185 篇 电气工程
    • 100 篇 信息与通信工程
    • 73 篇 控制科学与工程
    • 33 篇 电子科学与技术(可...
    • 21 篇 机械工程
    • 17 篇 建筑学
    • 14 篇 土木工程
    • 14 篇 生物工程
    • 12 篇 安全科学与工程
    • 10 篇 力学(可授工学、理...
    • 9 篇 材料科学与工程(可...
    • 8 篇 测绘科学与技术
    • 8 篇 网络空间安全
    • 6 篇 仪器科学与技术
    • 6 篇 交通运输工程
    • 6 篇 农业工程
  • 327 篇 理学
    • 280 篇 数学
    • 24 篇 系统科学
    • 16 篇 生物学
    • 15 篇 统计学(可授理学、...
    • 13 篇 物理学
    • 8 篇 化学
  • 146 篇 管理学
    • 83 篇 管理科学与工程(可...
    • 74 篇 图书情报与档案管...
    • 45 篇 工商管理
  • 11 篇 经济学
    • 10 篇 应用经济学
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 医学
  • 6 篇 农学
    • 6 篇 作物学
  • 4 篇 教育学
  • 1 篇 文学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 1,439 篇 data flow analys...
  • 187 篇 nasa technical r...
  • 187 篇 (ntrs)
  • 51 篇 reports
  • 46 篇 algorithms
  • 27 篇 real time operat...
  • 26 篇 software enginee...
  • 25 篇 data processing
  • 24 篇 static analysis
  • 24 篇 architecture (co...
  • 20 篇 computer program...
  • 17 篇 data acquisition
  • 16 篇 computer program...
  • 15 篇 computer network...
  • 14 篇 compilers
  • 14 篇 server
  • 14 篇 computer systems...
  • 13 篇 computer systems...
  • 13 篇 systems engineer...
  • 13 篇 optimization

机构

  • 5 篇 nanjing univ sta...
  • 5 篇 indian institute...
  • 5 篇 carnegie mellon ...
  • 4 篇 inria
  • 4 篇 lund univ dept c...
  • 4 篇 department of co...
  • 4 篇 beihang universi...
  • 4 篇 school of comput...
  • 3 篇 ist austria klos...
  • 3 篇 indian inst tech...
  • 3 篇 department of co...
  • 3 篇 graduate school ...
  • 3 篇 school of comput...
  • 3 篇 microsoft corp r...
  • 3 篇 vienna univ tech...
  • 3 篇 univ dortmund de...
  • 3 篇 univ oxford comp...
  • 3 篇 univ informat te...
  • 3 篇 microsoft resear...
  • 3 篇 univ twente nl-7...

作者

  • 8 篇 hoefler torsten
  • 8 篇 dhamdhere dm
  • 8 篇 steffen bernhard
  • 7 篇 khedker uday p.
  • 7 篇 janneck jorn w.
  • 6 篇 ryder barbara g.
  • 5 篇 ben-nun tal
  • 5 篇 rosen bk
  • 5 篇 bauer bernhard
  • 5 篇 gupta r
  • 5 篇 nielson flemming
  • 5 篇 saad christian
  • 5 篇 knoop jens
  • 5 篇 pouzet marc
  • 5 篇 pathade komal
  • 5 篇 steffen b
  • 5 篇 gupta rajiv
  • 4 篇 schneider klaus
  • 4 篇 beyer dirk
  • 4 篇 lin calvin

语言

  • 1,386 篇 英文
  • 31 篇 其他
  • 13 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 1 篇 西班牙文
  • 1 篇 法文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
检索条件"主题词=Data Flow Analysis"
1439 条 记 录,以下是91-100 订阅
排序:
Incremental data flow analysis in a structured program editor  84
Incremental data flow analysis in a structured program edito...
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Zadeck, Frank Kenneth IBM T.J. Watson Research Center United States
For many years, the generally accepted methods for solving global data flow analysis problems (GDFAPs) have relied on the bit vector paradigm [Alle 70] [Kenn 81]. In these algorithms, the information for each variable... 详细信息
来源: 评论
The program summary graph and flow-sensitive interprocedural data flow analysis
The program summary graph and flow-sensitive interprocedural...
收藏 引用
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988
作者: Callahan, David Department of Computer Science Rice University P.O. Box 1892 HoustonTX77251 United States
The program summary graph is an effective data structure for solving the flow-sensitive summary problems KILL and USE. By summarizing local control flow with reaching information and exploiting bit-vector techniques f... 详细信息
来源: 评论
Tuple counting data flow analysis and its use in communication optimization  7th
Tuple counting data flow analysis and its use in communicati...
收藏 引用
7th International Conference on High-Performance Computing and Networking, HPCN Europe 1999
作者: Fenwick, James B. Pollock, Lori L. Computer Science Appalachian State University BooneNC28608 United States Computer and Information Sciences University of Delaware NewarkDE19716 United States
This paper presents a data flow analysis framework which plays a key role in identifying opportunities for communication optimization in tuplespace parallel programs. © Springer-Verlag Berlin Heidelberg 1999.
来源: 评论
An array data flow analysis based communication optimizer  10th
收藏 引用
10th Annual International Workshop on Languages and Compilers for Parallel Computing, LCPC 1997
作者: Yuan, Xin Gupta, Rajiv Melhem, Rami Dept. of Computer Science Univ. of Pittsburgh PittsburghPA15260 United States
We present an efficient array data flow analysis based global communication optimizer which manages the analysis cost by partitioning the data flow problems into subproblems and solving the subproblems one at a time i... 详细信息
来源: 评论
data flow analysis FOR PROCEDURAL LANGUAGES
收藏 引用
JOURNAL OF THE ACM 1979年 第2期26卷 322-344页
作者: ROSEN, BK Computer Sciences Department IBM Thomas J Watson Research Center Yorktown Heights NY
Global analysis and optimization techniques presuppose local data flow information about the effects of program statements on the values associated wRh names For procedure calls this information is not immediately ava... 详细信息
来源: 评论
Efficient Binary Static Code data flow analysis Using Unsupervised Learning  4
Efficient Binary Static Code Data Flow Analysis Using Unsupe...
收藏 引用
4th International Conference on Artificial Intelligence for Industries, AI4I 2021
作者: Obert, James Loffredo, Tim Sandia National Labs AlbuquerqueNM United States
The ever increasing need to ensure that code is reliably, efficiently and safely constructed has fueled the evolution of popular static binary code analysis tools. In identifying potential coding flaws in binaries, to... 详细信息
来源: 评论
Power system terminal continuous trust evaluation model based on fine-grained data flow analysis
Power system terminal continuous trust evaluation model base...
收藏 引用
2021 International Conference on Computer Vision and Pattern analysis, ICCPA 2021
作者: Xie, Ming Guangxi Power Grid Co. Ltd Nanning530023 China
With the wide application of new power services, the continuous strengthening of plant network coordination and interaction, resulting in a large extension of data network, network security protection is more difficul... 详细信息
来源: 评论
An efficient approach to data flow analysis in a multiple pass global optimizer  88
An efficient approach to data flow analysis in a multiple pa...
收藏 引用
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988
作者: Jain, Suneel Thompson, Carol Hewlett-Packard 19447 Pruneridge Avenue CupertinoCA95014 United States
data flow analysis is a time-consuming part of the optimization process. As transformations are made in a multiple pass global optimizer, the data flow information must be updated to reflect these changes. Various app... 详细信息
来源: 评论
Array data flow analysis for load-store optimizations in superscalar architectures  8th
Array data flow analysis for load-store optimizations in sup...
收藏 引用
8th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1995
作者: Bodík, Rastislav Gupta, Rajiv Dept. Of Computer Science University of Pittsburgh PittsburghPA15260 United States
The performance of scientific programs on superscalar processors can be significantly degraded by memory references that frequently arise due to load and store operations associated with array references. Therefore, r... 详细信息
来源: 评论
Optimal data flow analysis via observational equivalence  14th
收藏 引用
14th Symposium on Mathematical Foundations of Computer Science, MFCS 1989
作者: Steffen, Bernhard Laboratory for Foundations of Computer Science University of Edinburgh United Kingdom
In [18] a three level model was presented to establish a concept of completeness or optimality for data flow analysis algorithms in the framework of abstract interpretation [2]. The notion of observational equivalence... 详细信息
来源: 评论