咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Exploring context-sensitive data flow analysis for early vulnerability detection
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2016年 113卷 337-361页
作者: Sampaio, Luciano Garcia, Alessandro Pontif Catholic Univ Rio de Janeiro PUC Rio Rua Marques de Sao Vicente 225 BR-22453900 Rio De Janeiro Brazil
Secure programming is the practice of writing programs that are resistant to attacks by malicious people or programs. Programmers of secure software have to be continuously aware of security vulnerabilities when writi... 详细信息
来源: 评论
COD - A DYNAMIC data flow-analysis SYSTEM FOR COBOL
收藏 引用
INFORMATION & MANAGEMENT 1987年 第2期12卷 65-72页
作者: CHEN, TY KAO, H LUK, MS YING, WC UNIV MELBOURNE DEPT COMP SCIPARKVILLEVIC 3052AUSTRALIA UNIV HONG KONG CTR COMP STUDIES & APPLICATHONG KONGHONG KONG UNIV HONG KONG DENT DATA PROC UNITHONG KONGHONG KONG
The detection of data flow anomaly can help identify error locations and sources in a computer program, as well as reveal impure codings. COD is an automated, dynamic data flow analysis system for COBOL, in which the... 详细信息
来源: 评论
Array data flow analysis for load-store optimizations in fine-grain architectures
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 1996年 第6期24卷 481-512页
作者: Bodik, R Gupta, R 1. Department of Computer Science University of Pittsburgh Pittsburgh Pennsylvania 15260 USA
The performence of scientific programs on modern processors can be significantly degraded by memory references that frequently arise due to load and store operations associated with array references. We have developed... 详细信息
来源: 评论
Vector data flow analysis for SIMD optimizations on OpenCL programs
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2016年 第5期28卷 1629-1654页
作者: Lin, Yu-Te Lee, Jenq-Kuen Natl Tsing Hua Univ Dept Comp Sci Hsinchu 30013 Taiwan
Multi-core systems equipped with micro processing units and accelerators such as digital signal processors (DSPs) and graphics processing units (GPUs) have become a major trend in processor design in recent years in a... 详细信息
来源: 评论
data flow analysis of Java programs in the presence of exceptions  3rd
Data flow analysis of Java programs in the presence of excep...
收藏 引用
3rd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 1999
作者: Shelekhov, Vladimir I. Kuksenko, Sergey V. A. P. Ershov Institute of Informatics Systems Siberian Division Russian Academy of Sciences Acad. Lavrentjev pr. 6 Novosibirsk630090 Russia
For data flow analysis of Java program to be correct and pre-cise, the flows induced by exceptions must be properly analysed. In our data flow analysis, the implicit control flow for a raised exception is repre-sented... 详细信息
来源: 评论
On-the-Fly data flow analysis Based on Verification Technology
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 第4期190卷 33-48页
作者: del Mar Gallardo, Maria Joubert, Christophe Merino, Pedro Univ Malaga GISUM Campus Teatinos S-N E-29071 Malaga Spain
The combination of static and dynamic software analysis, such as data flow analysis (DFA) and model checking, provides benefits for both disciplines. On the one hand, the information extracted by DFAS about program da... 详细信息
来源: 评论
DESIGN OF A FUNCTIONALLY DISTRIBUTED, MULTIPROCESSOR dataBASE MACHINE USING data flow-analysis
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1987年 第6期36卷 650-666页
作者: BABA, T YAO, SB HEVNER, AR UNIV MARYLAND COLL BUSINESS & MANAGEMENTDATABASE SYST RES CTRCOLLEGE PKMD 20742
We propose a design methodology based on data flow analysis for a functionally distributed, multiprocessor database machine. We define a cost model of database processing with the objective cost being response time of... 详细信息
来源: 评论
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... 详细信息
来源: 评论
data flow analysis in the Presence of Correlated Calls
Data Flow Analysis in the Presence of Correlated Calls
收藏 引用
作者: Rapoport, Marianna University of Waterloo
学位级别:master
This thesis presents a technique to improve the precision of data-flow analyses on object-oriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (hav... 详细信息
来源: 评论
AN IMPROVEMENT IN THE ITERATIVE data flow-analysis ALGORITHM
收藏 引用
INFORMATION PROCESSING LETTERS 1980年 第2期10卷 108-110页
作者: JAZAYERI, M Department of Computer Science University of North Carolina Chapel Hill NC 27514 U.S.A.
来源: 评论