咨询与建议

限定检索结果

文献类型

  • 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,385 篇 英文
  • 32 篇 其他
  • 13 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 1 篇 西班牙文
  • 1 篇 法文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
检索条件"主题词=Data Flow Analysis"
1439 条 记 录,以下是81-90 订阅
排序:
Node listings applied to data flow analysis  75
Node listings applied to data flow analysis
收藏 引用
2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1975
作者: Kennedy, K.W. Rice University United States
A new approach to global program data flow analysis which constructs a "node listing" for the control flow graph is discussed and a simple algorithm which uses a node listing to determine the live variables ... 详细信息
来源: 评论
A comprehensive approach to parallel data flow analysis  92
A comprehensive approach to parallel data flow analysis
收藏 引用
6th International Conference on Supercomputing, ICS 1992
作者: Lee, Yong-Fong Ryder, Barbara G. Department of Computer Science Rutgers University New BrunswickNJ08903 United States
We present a comprehensive approach to performing data flow analysis in parallel. We first identify three types of parallelism inherent in the data flow solution process: independent-problem parallelism, separate-unit... 详细信息
来源: 评论
Towards Inter-Service data flow analysis of Serverless Applications  31
Towards Inter-Service Data Flow Analysis of Serverless Appli...
收藏 引用
31st IEEE International Conference on Software analysis, Evolution and Reengineering, SANER 2024
作者: Raffa, Giuseppe Blasco, Jorge O'Keeffe, Dan Dash, Santanu Kumar Royal Holloway University London United Kingdom Universidad Politecnica Madrid Spain
The recent advent of serverless applications has created a need for static analysis tools to analyse them. However, the event-driven architecture of serverless applications, along with the black-box nature of the serv... 详细信息
来源: 评论
On the theoretical foundation for data flow analysis in workflow management
On the theoretical foundation for data flow analysis in work...
收藏 引用
11th Americas Conference on Information Systems, AMCIS 2005
作者: Sun, Sherry X. Zhao, J. Leon Nunamaker, Jay F. Department of MIS University of Arizona United States
In workflow management, the data flow perspective specifies how data are produced and consumed by activities in a workflow. data flow analysis can detect data flow anomalies occurring in a workflow while its control f... 详细信息
来源: 评论
Tutorial: Techniques to improve the scalability and precision of data flow analysis  6th
Tutorial: Techniques to improve the scalability and precisio...
收藏 引用
6th International Symposium on Static analysis, SAS 1999
作者: Soffa, Mary Lou Department of Computer Science University of Pittsburgh PittsburghPA15260 United States
Since the introduction of data flow analysis more than 20 years ago, the applications of data flow analysis have expanded considerably with the recognition of its practical benefits. The current use of data flow analy... 详细信息
来源: 评论
Interprocedural data flow analysis In the presence of pointers, procedure variables, and label variables  80
Interprocedural data flow analysis In the presence of pointe...
收藏 引用
7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980
作者: Weihl, William E. IBM Thomas J. Watson Research Center Yorktown HeightsNY10598 United States
Interprocedural data flow analysis is complicated by the use of procedure and label variables in programs and by the presence of aliasing among variables. In this paper we present an algorithm for computing possible v... 详细信息
来源: 评论
Reducing the cost of data flow analysis by congruence partitioning  5th
Reducing the cost of data flow analysis by congruence partit...
收藏 引用
5th International Conference on Compiler Construction, CC 1994
作者: Duesterwald, Evelyn Gupta, Rajiv Soffa, Mary Lou Department of Computer Science University of Pittsburgh PittsburghPA15260 United States
data flow analysis expresses the solution of an information gathering problem as the fixed point of a system of monotone equations. This paper presents a technique to improve the performance of data flow analysis by s... 详细信息
来源: 评论
Improving the accuracy of integer signedness error detection using data flow analysis  27
Improving the accuracy of integer signedness error detection...
收藏 引用
27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015
作者: Sun, Hao Su, Chao Wang, Yue Zeng, Qingkai State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Department of Computer Science and Technology Nanjing University Nanjing210023 China
Integer signedness error can be exploited by attackers to cause severe damages to computer systems. Despite of the significant advances in automating the detection of integer signedness errors, accurately differentiat... 详细信息
来源: 评论
Using global data flow analysis on bytecode to aid worst case execution time analysis for realtime java programs  08
Using global data flow analysis on bytecode to aid worst cas...
收藏 引用
6th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2008
作者: Hunt, James J. Tonin, Isabel Siebert, Fridtjof B. Aicas GmbH Haid-und-Neu-Straße 18 D-76139 Karlsruhe Germany
Though realtime Java offers significant advantages over other programming languages for safe programming, the analysis of worst case execution of realtime Java programs is considerably more difficult. The extra comple... 详细信息
来源: 评论
An Integration of Several Different data flow analysis Techniques
An Integration of Several Different Data Flow Analysis Techn...
收藏 引用
International Conference on Trustworthy Computing and Services, ISCTCS 2012
作者: Xing, Yuchen Wang, Hanfei Zhao, Jianhua Department of Computer Science and Technology Nanjing University Nanjing China
This paper describes a tool which integrates three different kinds of data flow analysis techniques: null pointer dereference analysis, integer variables differences analysis and single linked list analysis. Each one ... 详细信息
来源: 评论