咨询与建议

限定检索结果

文献类型

  • 915 篇 会议
  • 328 篇 期刊文献
  • 190 册 图书
  • 4 篇 学位论文

馆藏范围

  • 1,437 篇 电子文献
  • 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,437 篇 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,384 篇 英文
  • 31 篇 其他
  • 13 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 1 篇 西班牙文
  • 1 篇 法文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
检索条件"主题词=Data Flow Analysis"
1437 条 记 录,以下是81-90 订阅
排序:
Development of an Integrated Multidiagnostic to Assess the High-Z Impurity Fluxes in the Metallic Environment of WEST Using IMAS
收藏 引用
IEEE TRANSACTIONS ON PLASMA SCIENCE 2022年 第11期50卷 4251-4256页
作者: Grosjean, Alex Radenac, T. Fedorczak, N. Donovan, D. C. Guillemaut, C. Johnson, C. A. Gunn, J. P. Ardizzone, P. L. Clairet, F. Easley, D. C. Gil, C. Klepper, C. C. Kosslow, S. R. Unterberg, E. A. Team, West Univ Tennessee Dept Nucl Engn Knoxville TN 37996 USA CEA Inst Res Fus Magnet Confinement F-13108 St Paul Les Durance France Oak Ridge Natl Lab Oak Ridge TN 37831 USA
WEST is an actively cooled, long-pulse tokamak with nearly all plasma-facing components (PFC) made of tungsten. One of the aims of WEST is to study plasma operations with tungsten PFCs in preparation for long-pulse op... 详细信息
来源: 评论
Virtual Power Plant Interactive communication simulation based on OPNET  7
Virtual Power Plant Interactive communication simulation bas...
收藏 引用
7th IEEE Advanced Information Technology, Electronic and Automation Control Conference, IAEAC 2024
作者: Fan, Huicong Geng, Shaobo Su, Han Zhao, Jianhua Li, Wenxiao State Grid Hebei Economic Research Institute Hebei China State Grid Hebei Electric Power Co. Ltd Hebei China
In recent years, distributed new energy represented by photovoltaic technology has been increasingly widely used, and the scale of grid connection is increasing. In response to the increasingly urgent demand for distr... 详细信息
来源: 评论
ThreadFuser: A SIMT analysis Framework for MIMD Programs  57
ThreadFuser: A SIMT Analysis Framework for MIMD Programs
收藏 引用
57th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2024
作者: Alawneh, Ahmad Kang, Ni Khairy, Mahmoud Rogers, Timothy G. Elmore Family School of Electrical and Computer Engineering Purdue University West LafayetteIN United States
The broad usage of accelerators, such as GPUs, faces two important challenges. Developing code for a new accelerator is expensive and unpredictable. Porting large parallel programs from Multiple Instruction Multiple D... 详细信息
来源: 评论
Fast and Precise Interval analysis on Industry code  35
Fast and Precise Interval Analysis on Industry code
收藏 引用
35th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2024
作者: Chimdyalwar, Bharti Tcs Research India
This paper introduces an algorithm for data-flow analysis using functional approach to solve infinite-height analyses, such as interval analysis. The algorithm utilizes function summaries and employs a combination of ... 详细信息
来源: 评论
Increasing the Thoroughness of data flow Testing with the Required k-Use Chains  24
Increasing the Thoroughness of Data Flow Testing with the Re...
收藏 引用
10th International Conference on Computer Technology Applications, ICCTA 2024
作者: Kolchyn, Oleksandr V Potiyenko, Stepan V V.M. Glushkov Institute of Cybernetics Nas of Ukraine Kyiv Ukraine
The required k-use chain is a new data flow coverage criterion designed to provide deeper analysis of possible refinements of constraints on program behavior paths. Such refinements represent a feasible chain of usage... 详细信息
来源: 评论
AN ATTEMPT TO UTILIZE FUNCTIONAL MODELING FOR ENHANCED APPLICATION CODE analysis  14
AN ATTEMPT TO UTILIZE FUNCTIONAL MODELING FOR ENHANCED APPLI...
收藏 引用
14th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering, QR2MSE 2024
作者: Wei, Zhenwen Wang, Jipu Xu, Yunfei Chen, Sijuan Li, Jin Yang, Ming Liang, Hao Cao, Zufeng Shenzhen Key Laboratory of Nuclear and Radiation Safety Institute for Advanced Study in Nuclear Energy & Safety College of Physics and Optoelectronic Engineering Shenzhen University Shenzhen China Institute of Material Research China Academy of Engineering Physics Mianyang China Nuclear Engineering & Radiological Sciences Bonisteel Blvd Ann ArborMI2355 United States
Due to the complex and highly interdependent relationships among parameters in system programs, anomalies can lead to abnormal propagation, thereby degrading system performance and potentially inducing measurement or ... 详细信息
来源: 评论
InterArch: Video Transformer Acceleration via Inter-Feature Deduplication with Cube-based dataflow  24
InterArch: Video Transformer Acceleration via Inter-Feature ...
收藏 引用
61st ACM/IEEE Design Automation Conference, DAC 2024
作者: Wang, Xuhang Song, Zhuoran Liang, Xiaoyao Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China
In the realm of video-oriented tasks, Video Transformer models (VidT), an evolution from vision Transformers (ViT), have demonstrated considerable success. However, their widespread application is constrained by subst... 详细信息
来源: 评论
Two Sparsification Strategies for Accelerating Demand-Driven Pointer analysis
Two Sparsification Strategies for Accelerating Demand-Driven...
收藏 引用
2024 Software Engineering, SE 2024
作者: Karakaya, Kadiray Bodden, Eric Paderborn University Heinz Nixdorf Institute Fürstenallee 11 Paderborn33102 Germany Fraunhofer IEM Zukunftsmeile 1 Paderborn33102 Germany
This work has been published as a full paper at ICST’23 [KB23]. In the context of real-world static program analysis, precise data-flow analyses rely on pointer analysis to resolve aliasing. Demand-driven pointer ana... 详细信息
来源: 评论
OpenCML: An Open Customizable Modeling Language for Directed Acyclic Graphs  22
OpenCML: An Open Customizable Modeling Language for Directed...
收藏 引用
22nd IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2024
作者: Wei, Zhenjie Xing, Weiwei Liu, Weibin Zou, Zhiyuan Chen, Genxiang Beijing Jiaotong University School of Software Engineering Beijing China Beijing Jiaotong University Institute of Information Science Beijing China Beijing Information Science and Technology University Computer School Beijing China Minzu University of China College of Science Beijing China
Directed Acyclic Graphs (DAGs) are widely utilized across various domains for tasks such as graph algorithms, data flow analysis, program optimization, and machine learning. Representing DAGs using General-purpose Pro... 详细信息
来源: 评论
Partial Redundancy Elimination in Two Iterative data flow Analyses  38
Partial Redundancy Elimination in Two Iterative Data Flow An...
收藏 引用
38th European Conference on Object-Oriented Programming, ECOOP 2024
作者: Roy, Reshma Sreekala, S. Paleri, Vineeth National Institute of Technology Calicut India
Partial Redundancy Elimination (PRE) is a powerful and well-known code optimization. The idea to combine Common Subexpression Elimination and Loop Invariant Code Motion optimizations into a single optimization was ori... 详细信息
来源: 评论