咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1431-1440 订阅
排序:
A Simple Algorithm for Global data flow analysis Problems
收藏 引用
SIAM Journal on Computing 1975年 第4期4卷 519-532页
作者: Matthew S. Hecht Jeffrey D. Ullman
A simple, iterative bit propagation algorithm for solving global data flow analysis problems such as “available expressions” and “live variables” is presented and shown to be quite comparable in speed to the corre... 详细信息
来源: 评论
The detection of anomalous interprocedural data flow  2
The detection of anomalous interprocedural data flow
收藏 引用
2nd International Conference on Software Engineering, ICSE 1976
作者: Fosdick, Lloyd D. Osterweil, Leon J. Department of Computer Science University of Colorado BoulderCO80309 United States
In an earlier paper, the authors have defined type 1 and type 2 data flow anomalies to be, respectively, the reference to an undefined variable and the definition of a variable without subsequent reference. It is not ... 详细信息
来源: 评论
Dave—a validation error detection and documentation system for fortran programs
收藏 引用
Software: Practice and Experience 1976年 第4期6卷 473-486页
作者: Osterweil, Leon J. Fosdick, Lloyd D. Department of Computer Science University of Colorado Boulder Colorado United States
This paper describes DAVE, a system for analysing Fortran programs. DAVE is capable of detecting the symptoms of a wide variety of errors In programs, as well as assuring the absence of these errors. In addition, DAVE... 详细信息
来源: 评论
Application of lattice algebra to loop optimization  75
Application of lattice algebra to loop optimization
收藏 引用
2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1975
作者: Fong, Amelia Kam, John Ullman, Jeffrey Department of Electrical Engineering Princeton University PrincetonNJ08540 United States
Kildall [1] has recently developed lattice theoretic techniques for solving many data flow analysis problems. It is the purpose of this paper to demonstrate that many of the loop optimization such as 'code motion&... 详细信息
来源: 评论
An algorithm for tracing live variables based on a straightened program graph
收藏 引用
International journal of computer mathematics 1975年 第1-4期5卷 97-108页
作者: J. C. Beatty [a]Data Processing Product Group International Business Machines Corp. P.O. Box 390 South Road Poughkeepsie N.Y. 12602 U.S.A.
An algorithm is given for finding where the variables of a program are active or live. While the algorithm is modeled after that of Kennedy, it is based on the flow graph straightening procedure of Earnest, Balke, and... 详细信息
来源: 评论
analysis of a simple algorithm for global data flow problems  73
Analysis of a simple algorithm for global data flow problems
收藏 引用
1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1973
作者: Hecht, Matthew S. Ullman, Jeffrey D. Princeton University PrincetonNJ08540 United States
There is an ordering of the nodes of a flow graph G which topologically sorts the dominance relation and can be found in 0(edges) steps. This ordering is the reverse of the order in which a node is last visited while ... 详细信息
来源: 评论
OBJECT CODE OPTIMIZATION
收藏 引用
COMMUNICATIONS OF THE ACM 1969年 第1期12卷 13-&页
作者: LOWRY, ES MEDLOCK, CW International Business Machines Corp. Poughkeepsie NY International Business Machines Corp. Poughkeepsie NY
Methods of analyzing the control flow and data flow of programs during compilation are applied to transforming the program to improve object time efficiency. Dominance relationships, indicating which statements are ne... 详细信息
来源: 评论
Framework pro statickou analýzu skriptů pro shell
Framework pro statickou analýzu skriptů pro shell
收藏 引用
作者: Svoboda, František Brno University of Technology
Cílem této práce je vytvoření systému pro statickou analýzu skriptů některého unixového shellu.  Zmožných alternativ je jako hlavní předmět zájmu zvolen Bo... 详细信息
来源: 评论
Transformace kódů aplikovaná pro dekompilaci
Transformace kódů aplikovaná pro dekompilaci
收藏 引用
作者: Šomlo, Ivan Brno University of Technology
Táto práca popisuje proces a jednotlivé časti dekompilácie. Dekompilácia je opačný proces ku kompilácii. Jej úlohou je transformácia vstupného programu, obyčajne v str... 详细信息
来源: 评论