咨询与建议

限定检索结果

文献类型

  • 14 篇 期刊文献
  • 5 篇 会议

馆藏范围

  • 19 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 18 篇 工学
    • 17 篇 计算机科学与技术...
    • 9 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
  • 2 篇 理学
    • 2 篇 数学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 19 篇 recursive data s...
  • 2 篇 program analysis
  • 2 篇 constraints
  • 2 篇 load-address pre...
  • 2 篇 dead-code elimin...
  • 2 篇 context-based pr...
  • 2 篇 shape analysis
  • 2 篇 shape graphs
  • 2 篇 regular-tree gra...
  • 2 篇 predictor implem...
  • 2 篇 pointers
  • 2 篇 decidability
  • 2 篇 global correlati...
  • 2 篇 term algebras
  • 2 篇 slicing
  • 1 篇 programming lang...
  • 1 篇 performance
  • 1 篇 efficient implem...
  • 1 篇 theorem proving
  • 1 篇 frameworks

机构

  • 2 篇 suny stony brook...
  • 1 篇 intel israel 74 ...
  • 1 篇 computer science...
  • 1 篇 univ malaga comp...
  • 1 篇 univ orleans lif...
  • 1 篇 frequentis roman...
  • 1 篇 univ malaga dept...
  • 1 篇 university of ta...
  • 1 篇 natl taiwan ocea...
  • 1 篇 queens univ dept...
  • 1 篇 univ studi veron...
  • 1 篇 univ toronto dep...
  • 1 篇 queens univ belf...
  • 1 篇 babes bolyai uni...
  • 1 篇 babes bolyai uni...
  • 1 篇 tu kaiserslauter...
  • 1 篇 intel corporatio...
  • 1 篇 tufts univ. medf...
  • 1 篇 univ. of pennsyl...
  • 1 篇 stanford univ de...

作者

  • 2 篇 stoller sd
  • 2 篇 asenjo r
  • 2 篇 liu yha
  • 2 篇 niculescu virgin...
  • 2 篇 sterca adrian
  • 2 篇 corbera f
  • 1 篇 hwang ys
  • 1 篇 gull we
  • 1 篇 bekerman m
  • 1 篇 adi yoaz
  • 1 篇 jourdan s
  • 1 篇 ronny ronen
  • 1 篇 venkataraman kn
  • 1 篇 gauger nicolas r...
  • 1 篇 manna zohar
  • 1 篇 luk ck
  • 1 篇 lihu rappoport
  • 1 篇 sagebaum max
  • 1 篇 yoaz a
  • 1 篇 albring tim

语言

  • 16 篇 英文
  • 3 篇 其他
检索条件"主题词=recursive data structures"
19 条 记 录,以下是1-10 订阅
排序:
Reflections on the Design of Parallel Programming Frameworks  15th
Reflections on the Design of Parallel Programming Frameworks
收藏 引用
15th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
作者: Niculescu, Virginia Sterca, Adrian Loulergue, Frederic Babes Bolyai Univ Fac Math & Comp Sci Cluj Napoca Romania Univ Orleans LIFO Orleans France
Since parallel programming is much more complex and difficult than sequential programming, it is more challenging to achieve the same software quality in a parallel context. High-level parallel programming models, if ... 详细信息
来源: 评论
High-Performance Derivative Computations using CoDiPack
收藏 引用
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 2019年 第4期45卷 1–26页
作者: Sagebaum, Max Albring, Tim Gauger, Nicolas R. TU Kaiserslautern Bldg 34Paul Ehrlich Str D-67663 Kaiserslautern Germany
There are several AD tools available that all implement different strategies for the reverse mode of AD. The most common strategies are primal value taping (implemented e.g. by ADOL-C) and Jacobian taping (implemented... 详细信息
来源: 评论
Multi-way Divide and Conquer Parallel Programming based on PLists  27
Multi-way Divide and Conquer Parallel Programming based on P...
收藏 引用
27th International Conference on Software, Telecommunications and Computer Networks (SoftCOM)
作者: Niculescu, Virginia Bufnea, Darius Sterca, Adrian Silimon, Robert Babes Bolyai Univ Comp Sci Dept Cluj Napoca Romania Frequentis Romania Cluj Napoca Romania
Divide and Conquer with all its variants represents an important paradigm of parallel programming. In this paper we present an implementation of PLists data structures and functions, which is introduced as an extensio... 详细信息
来源: 评论
Rewrite-Based Satisfiability Procedures for recursive data structures
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 第8期174卷 55-70页
作者: Bonacina, Maria Paola Echenim, Mnacho Univ Studi Verona Dipartimento Informat Verona Italy
If a rewrite-based inference system is guaranteed to terminate on the axioms of a theory T and any set of ground literals, then any theorem-proving strategy based on that inference system is a rewrite-based decision p... 详细信息
来源: 评论
Decision procedures for term algebras with integer constraints
收藏 引用
INFORMATION AND COMPUTATION 2006年 第10期204卷 1526-1574页
作者: Zhang, Ting Sipma, Henny B. Manna, Zohar Stanford Univ Dept Comp Sci Stanford CA 94305 USA
Term algebras can model recursive data structures which are widely used in programming languages. To verify programs we must be able to reason about these structures. However, as programming languages often involve mu... 详细信息
来源: 评论
A framework to capture dynamic data structures in pointer-based codes
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2004年 第2期15卷 151-166页
作者: Corbera, F Asenjo, R Zapata, EL Univ Malaga Dept Comp Sci E-29080 Malaga Spain
To successfully exploit all the possibilities of current computer/multicomputer architectures, optimization compiling techniques are a must. However, for codes based on pointers. and dynamic data structures, these opt... 详细信息
来源: 评论
Eliminating dead code on recursive data
收藏 引用
SCIENCE OF COMPUTER PROGRAMMING 2003年 第2-3期47卷 221-242页
作者: Liu, YHA Stoller, SD SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA
This paper describes a powerful method for dead-code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using liveness patterns based on general regular... 详细信息
来源: 评论
Eliminating dead code on recursive data
Eliminating dead code on recursive data
收藏 引用
6th International Symposium on Static Analysis
作者: Liu, YHA Stoller, SD SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA
This paper describes a powerful method for dead-code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using liveness patterns based on general regular... 详细信息
来源: 评论
Parallelizing graph construction operations in programs with cyclic graphs
收藏 引用
PARALLEL COMPUTING 2002年 第9期28卷 1307-1328页
作者: Hwang, YS Natl Taiwan Ocean Univ Dept Comp Sci Chilung 20224 Taiwan
Pointer analysis has been an active research field in recent years. Combining pointer analysis and dependence analysis can identify parallelism in programs with pointers or graphs, which are in turn represented by dyn... 详细信息
来源: 评论
New shape analysis and interprocedural techniques for automatic parallelization of C codes
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 2002年 第1期30卷 37-64页
作者: Corbera, F Asenjo, R Zapata, E Univ Malaga Comp Architecture Dept E-29080 Malaga Spain
Automatic parallelization of codes with complex data structures is becoming very important. These complex, and often recursive, data structures are widely used in scientific computing. Shape analysis is one of the key... 详细信息
来源: 评论