咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
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 Extensible Framework for Architecture-Based data flow analysis for Information Security
arXiv
收藏 引用
arXiv 2024年
作者: Boltz, Nicolas Hahner, Sebastian Gerking, Christopher Heinrich, Robert Germany
The growing interconnection between software systems increases the need for security already at design time. Security-related properties like confidentiality are often analyzed based on data flow diagrams (DFDs). Howe... 详细信息
来源: 评论
Yama: Precise Opcode-based data flow analysis for Detecting PHP Applications Vulnerabilities
arXiv
收藏 引用
arXiv 2024年
作者: Jiazhen, Zhao Kailong, Zhu Lu, Yu Hui, Huang Yuliang, Lu The College of Electronic Engineering National University of Defense Technology Hefei230037 China Anhui Province Key Laboratory of Cyberspace Security Situation Awareness and Evaluation Heifei230037 China
Web applications encompass various aspects of daily life, including online shopping, e-learning, and internet banking. Once there is a vulnerability, it can cause severe societal and economic damage. Due to its ease o... 详细信息
来源: 评论
PROGRAML: A Graph-based Program Representation for data flow analysis and Compiler Optimizations  38
PROGRAML: A Graph-based Program Representation for Data Flow...
收藏 引用
International Conference on Machine Learning (ICML)
作者: Cummins, Chris Fisches, Zacharias, V Ben-Nun, Tal Hoefler, Torsten O'Boyle, Michael Leather, Hugh Facebook AI Res Menlo Pk CA 94025 USA Swiss Fed Inst Technol Zurich Switzerland Univ Edinburgh Edinburgh Midlothian Scotland
Machine learning (ML) is increasingly seen as a viable approach for building compiler optimization heuristics, but many ML methods cannot replicate even the simplest of the data flow analyses that are critical to maki... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Improving Indirect-Call analysis in LLVM with Type and data-flow Co-analysis  33
Improving Indirect-Call Analysis in LLVM with Type and Data-...
收藏 引用
33rd USENIX Security Symposium
作者: Liu, Dinghao Ji, Shouling Lu, Kangjie He, Qinming Zhejiang Univ Hangzhou Peoples R China Univ Minnesota Minneapolis MN 55455 USA
Indirect function calls are widely used in building system software like OS kernels for their high flexibility and performance. Statically resolving indirect-call targets has been known to be a hard problem, which is ... 详细信息
来源: 评论
data flow analysis of asynchronous systems using infinite abstract domains
arXiv
收藏 引用
arXiv 2021年
作者: Athaiya, Snigdha Komondoor, Raghavan Kumar, K. Narayan Indian Institute of Science Bengaluru India Chennai Mathematical Institute Chennai 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... 详细信息
来源: 评论
A Type System for data flow and Alias analysis in ReScript  8
A Type System for Data Flow and Alias Analysis in ReScript
收藏 引用
8th Symposium on Working Formal Methods, FROM 2024
作者: Lund, Nicky Ask Hüttel, Hans Department of Computer Science Aalborg University Denmark Department of Computer Science University of Copenhagen Denmark
ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of t... 详细信息
来源: 评论
Rogueone: Detecting Rogue Updates via Differential data-flow analysis Using Trust Domains  24
Rogueone: Detecting Rogue Updates via Differential Data-Flow...
收藏 引用
44th ACM/IEEE International Conference on Software Engineering, ICSE 2024
作者: Sofaer, Raphael J. David, Yaniv Kang, Mingqing Yu, Jianjia Cao, Yinzhi Yang, Junfeng Nieh, Jason Columbia University New York NY United States Johns Hopkins University Baltimore MD United States
Rogue updates, an important type of software supply-chain attack in which attackers conceal malicious code inside updates to benign software, are a growing problem due to their stealth and effective-ness. We design an... 详细信息
来源: 评论
Pipelining Bottom-up data flow analysis  20
Pipelining Bottom-up Data Flow Analysis
收藏 引用
42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) / 42nd ACM/IEEE International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)
作者: Shi, Qingkai Zhang, Charles Hong Kong Univ Sci & Technol Hong Kong Peoples R China
Bottom-up program analysis has been traditionally easy to parallelize because functions without caller-callee relations can be analyzed independently. However, such function-level parallelism is significantly limited ... 详细信息
来源: 评论