咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract data flow analysis
收藏 引用
IEEE TRANSACTIONS ON RELIABILITY 2024年
作者: Wang, Xingya Yang, Yumao Liu, Linwei Chen, Zhenyu Huang, Song Nanjing Tech Univ Coll Comp & Informat Engn Coll Artificial Intelligence Nanjing 211816 Peoples R China Army Engn Univ PLA Coll Command & Control Engn Nanjing 210007 Peoples R China Nanjing Univ State Key Lab Novel Software Technol Nanjing 210000 Peoples R China
Smart contracts manage numerous digital assets, their security requirements are particularly prominent. Testing is an effective way to ensure the reliability of smart contracts. Current test case generation methods do... 详细信息
来源: 评论
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... 详细信息
来源: 评论
OctopusTaint: Advanced data flow analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware  24
OctopusTaint: Advanced Data Flow Analysis for Detecting Tain...
收藏 引用
31st Conference on Computer and Communications Security
作者: Qasem, Abdullah Debbabi, Mourad Soeanu, Andrei Concordia Univ Secur Res Ctr Montreal PQ Canada
The widespread integration of Internet of Things (IoT) and Industrial IoT (IIoT) devices in respectively home and business environments offers both benefits and perils. While these devices, such as IP cameras and netw... 详细信息
来源: 评论
Electric Load Profile of 5G Base Station in Distribution Systems Based on data flow analysis
收藏 引用
IEEE TRANSACTIONS ON SMART GRID 2022年 第3期13卷 2452-2466页
作者: Zou, Yao Wang, Qianggang Chi, Yuan Wang, Jian Lei, Chao Zhou, Niancheng Xia, Qinqin Chongqing Univ State Key Lab Power Transmiss Equipment & Syst Se Chongqing 400044 Peoples R China Hohai Univ Coll Energy & Elect Engn Nanjing 211100 Peoples R China Hong Kong Polytech Univ Ctr Adv Reliabil & Safety Hong Kong Peoples R China Hong Kong Polytech Univ Dept Elect Engn Hong Kong Peoples R China
This paper proposes an electric load demand model of the 5th generation (5G) base station (BS) in a distribution system based on data flow analysis. First, the electric load model of a 5G BS is developed according to ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
AndroEvolve: automated Android API update with data flow analysis and variable denormalization
收藏 引用
EMPIRICAL SOFTWARE ENGINEERING 2022年 第3期27卷 1-31页
作者: Haryono, Stefanus A. Thung, Ferdian Lo, David Jiang, Lingxiao Lawall, Julia Kang, Hong Jin Serrano, Lucas Muller, Gilles Singapore Management Univ Sch Comp & Informat Syst Singapore Singapore Inria Paris France Sorbonne Univ Inria LIP6 Paris France
The Android operating system is frequently updated, with each version bringing a new set of APIs. New versions may involve API deprecation;Android apps using deprecated APIs need to be updated to ensure the apps' ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A Comprehensive Dynamic data flow analysis of Object-Oriented Programs  17
A Comprehensive Dynamic Data Flow Analysis of Object-Oriente...
收藏 引用
17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
作者: Troost, Laura Kuchen, Herbert Univ Munster Inst Pract Comp Sci Leonardo Campus Munster Germany
Studies have shown that in the area of testing data-flow coverage is often more effective in exposing errors compared to other approaches such as branch coverage. Thus, evaluating and generating test cases with respec... 详细信息
来源: 评论
Dflow: A data flow analysis tool for C/C plus
收藏 引用
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING 2021年 第12期16卷 1635-1641页
作者: Yan, Qiaoqiao Li, Yongjun Wu, Yuanhao Zhou, Jialong Northwestern Polytech Univ Sch Comp Xian 710072 Shaanxi Peoples R China
.Abstract syntax trees (ASTs), control flow graphs (CFGs), and data flow analysis (DFA) are prerequisites for static and dynamic analysis and vulnerability detection for programs;thus, obtaining them is significant. R... 详细信息
来源: 评论
data flow analysis Using Matrix Calculations
Data Flow Analysis Using Matrix Calculations
收藏 引用
2021 International Russian Automation Conference, RusAutoCon 2021
作者: Panchenko, O.V. Kazan National Research Technological University Department of Intelligent Systems and Information Resource Management Kazan Russia
In recent decades, many household items have become computerized, collecting data and sending it for further processing. Consequently, the number of data flow structure requirements to analyze data in real-time is ste... 详细信息
来源: 评论