咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Manim-DFA: Visualising data flow analysis and Abstract Interpretation Algorithms with Automated Video Generation  17
Manim-DFA: Visualising Data Flow Analysis and Abstract Inter...
收藏 引用
17th International Conference on Computer Supported Education, CSEDU 2025
作者: Berg, Lucas Yernaux, Gonzague Vandeloise, Mikel Vanhoof, Wim Faculty of Computer Science University of Namur Belgium
In this paper, we introduce Manim-DFA, an extension of the Manim library for generating video visualisations to teach data flow analysis and abstract interpretation. Despite the importance of data flow analysis in sta... 详细信息
来源: 评论
data flow-analysis OF DISTRIBUTED COMMUNICATING PROCESSES
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 1990年 第1期19卷 1-30页
作者: REIF, JH SMOLKA, SA DUKE UNIV DEPT COMP SCIDURHAMNC 27706 SUNY STONY BROOK DEPT COMP SCISTONY BROOKNY 11794
data flow analysis is a technique essential to the compile-time optimization of computer programs, wherein facts relevant to program optimizations are discovered by the global propagation of facts obvious locally. Thi... 详细信息
来源: 评论
data flow analysis as a General Concept for the Transport of Verifiable Program Annotations
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 第3期176卷 97-108页
作者: Amme, Wolfram Moeller, Marc-Andre Adler, Philipp Friedrich Schiller Univ Jena Inst Informat Jena Germany
Just-in-Time (JIT) compilation is frequently employed in order to speed-up the execution of platfor-independent and dynamically extensible mobile code applications. Since the time required for dynamic compilation dire... 详细信息
来源: 评论
data flow analysis of system: Specifications in LOTOS
收藏 引用
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 1997年 第1期7卷 43-68页
作者: vanderSchoot, H Ural, H UNIV OTTAWA DEPT COMP SCIOTTAWAON K1N 6N5CANADA
In LOTOS, a system is specified as a behaviour expression describing the externally observable behaviour of the system in terms of possible sequences of interactions between the system and its environment. The desired... 详细信息
来源: 评论
data flow analysis of Asynchronous Systems using Infinite Abstract Domains  1
收藏 引用
30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS)
作者: Athaiya, Snigdha Komondoor, Raghavan Kumar, K. Narayan Indian Inst Sci Bengaluru India Chennai Math Inst Chennai Tamil Nadu India
Asynchronous message-passing systems are employed frequently to implement distributed mechanisms, protocols, and processes. This paper addresses the problem of precise data flow analysis for such systems. To obtain go... 详细信息
来源: 评论
data flow analysis for software prefetching linked data structures in Java
Data flow analysis for software prefetching linked data stru...
收藏 引用
International Conference on Parallel Architectures and Compilation Techniques
作者: Cahoon, B McKinley, KS Univ Massachusetts Dept Comp Sci Amherst MA 01002 USA
In this paper we describe an effective compile-time analysis for software prefetching in Java. Previous work in software data prefetching for pointer-based codes uses simple compiler algorithms and does not investigat... 详细信息
来源: 评论
data flow analysis for CCS
Data Flow Analysis for CCS
收藏 引用
Symposium on Program analysis and Compilation, Theory and Practice held in Honor of Reinhard Wilhelm
作者: Nielson, Hanne Riis Nielson, Flemming Tech Univ Denmark Informat & Math Modelling Richard Petersens Plads Bldg 321 DK-2800 Lyngby Denmark
data flow analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementation of these languages. Robin Milner... 详细信息
来源: 评论
data flow-analysis AS MODEL CHECKING  1st
DATA FLOW-ANALYSIS AS MODEL CHECKING
收藏 引用
INTERNATIONAL CONF ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE ( TACS 91 )
作者: STEFFEN, B Lehrstuhl für Informatik II RWTH - Aachen Aachen D-5100 Germany
The paper develops a framework that is based on the idea that modal logic provides an appropriate framework for the specification of data flow analysis (DFA) algorithms as soon as programs are represented as models of... 详细信息
来源: 评论
data flow analysis and Testing of Abstract State Machines
收藏 引用
1st International Conference of Abstract State Machines, B and Z
作者: Cavarra, Alessandra Univ Oxford Comp Lab Oxford OX1 3QD England
This paper introduces an approach to apply data flow testing techniques to Abstract State Machines specifications. Since traditional data flow coverage criteria are strictly based on the mapping between a program and ... 详细信息
来源: 评论
data flow analysis of UML action semantics for executable models
Data flow analysis of UML action semantics for executable mo...
收藏 引用
4th European Conference on Model Driven Architecture - Foundations and Applications
作者: Waheed, Tabinda Iqbal, Muhammad Zohaib Z. Malik, Zafar I. Natl Univ Sci & Technol Mil Coll Signals Dept Comp Sci Rawalpindi Pakistan International Islam Univ Dept Comp Sci Islamabad Pakistan Minist Educ Acad Educ & Planning Islamabad Pakistan
Executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models use precise action languages to specify the algorithms and computational details requir... 详细信息
来源: 评论