咨询与建议

限定检索结果

文献类型

  • 18 篇 会议
  • 12 篇 期刊文献
  • 4 册 图书
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 28 篇 工学
    • 21 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
  • 4 篇 理学
    • 3 篇 数学
    • 1 篇 物理学
    • 1 篇 统计学(可授理学、...

主题

  • 35 篇 array programmin...
  • 4 篇 programming soft...
  • 4 篇 generalmanual
  • 4 篇 nostromo array
  • 4 篇 functional progr...
  • 4 篇 nostromo
  • 3 篇 dependent types
  • 3 篇 array
  • 3 篇 smalltalk
  • 3 篇 rank-polymorphis...
  • 3 篇 f-script
  • 3 篇 single assignmen...
  • 3 篇 select
  • 2 篇 loadout manager
  • 2 篇 high-level langu...
  • 2 篇 macro
  • 2 篇 gamepad
  • 2 篇 message pattern
  • 2 篇 dual analog
  • 2 篇 type systems

机构

  • 5 篇 radboud univ nij...
  • 3 篇 mcgill univ mont...
  • 2 篇 mit 77 massachus...
  • 1 篇 inria
  • 1 篇 google res montr...
  • 1 篇 univ copenhagen ...
  • 1 篇 univ amsterdam
  • 1 篇 univ toronto on
  • 1 篇 victoria univ we...
  • 1 篇 heriot watt univ...
  • 1 篇 dyalog ltd on
  • 1 篇 ecole polytech f...
  • 1 篇 shandong univ sc...
  • 1 篇 google res warsa...
  • 1 篇 med univ lubeck ...
  • 1 篇 univ copenhagen ...
  • 1 篇 indiana univ ope...
  • 1 篇 natl univ singap...
  • 1 篇 mit csail 77 mas...
  • 1 篇 univ new s wales...

作者

  • 6 篇 scholz sven-bodo
  • 3 篇 ragan-kelley jon...
  • 3 篇 koopman thomas
  • 3 篇 grelck clemens
  • 2 篇 hendren laurie
  • 2 篇 philippe mougin
  • 2 篇 kemme bettina
  • 2 篇 liu amanda
  • 2 篇 vytiniotis dimit...
  • 2 篇 chlipala adam
  • 2 篇 aaldering jordy
  • 2 篇 chen hanfeng
  • 1 篇 bernstein gilber...
  • 1 篇 johnson matthew ...
  • 1 篇 lumsdaine a
  • 1 篇 dubach christoph...
  • 1 篇 leshchinskiy rom...
  • 1 篇 johnson daniel d...
  • 1 篇 ankner johan
  • 1 篇 lund simon andre...

语言

  • 33 篇 英文
  • 2 篇 其他
检索条件"主题词=array programming"
35 条 记 录,以下是21-30 订阅
排序:
Destination-Passing Style for Efficient Memory Management  6
Destination-Passing Style for Efficient Memory Management
收藏 引用
6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC)
作者: Shaikhha, Amir Fitzgibbon, Andrew Jones, Simon Peyton Vytiniotis, Dimitrios Ecole Polytech Fed Lausanne Lausanne Switzerland Microsoft HoloLens Cambridge England Microsoft Res Cambridge England
We show how to compile high-level functional array-processing programs, drawn from image processing and machine learning, into C code that runs as fast as hand-written C. The key idea is to transform the program to de... 详细信息
来源: 评论
Improving the game theoretic analysis of electricity auctions applied in medium markets
收藏 引用
JOURNAL OF COMPUTATIONAL SCIENCE 2016年 第Part1期17卷 83-96页
作者: Zarei, Mohammad Salami, Abolfazl Arak Univ Technol Dept Elect Engn Arak Iran
Payment cost minimization (PCM) is an appropriate method for bid selection. Solving auctions by PCM is complex and time consuming, particularly under game theoretic analysis of electricity auctions, because it require... 详细信息
来源: 评论
NumCIL and Bohrium: High Productivity and High Performance  11th
NumCIL and Bohrium: High Productivity and High Performance
收藏 引用
11th International Conference on Parallel Processing and Applied Mathematics (PPAM)
作者: Skovhede, Kenneth Lund, Simon Andreas Frimann Univ Copenhagen Niels Bohr Inst Copenhagen Denmark
In this paper, we explore the mapping of the NumCIL C# vector library where operations are offloaded to the Bohrium runtime system and evaluate the performance gains. By using a feature-rich language, such as C#, we a... 详细信息
来源: 评论
Generalmanual 000011488
收藏 引用
2016年
Generalmanual 000011488 by published by
来源: 评论
Generalmanual 000011623
收藏 引用
2016年
Generalmanual 000011623 by published by
来源: 评论
Generalmanual 000011502
收藏 引用
2016年
Generalmanual 000011502 by published by
来源: 评论
Generalmanual 000046208
收藏 引用
2016年
[Auto Generated] Page Introduction Installing the Software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1 Assigning Profiles to Games in Loadout Manager . . . . . . . . . . . . . . . ... 详细信息
来源: 评论
An EDSL Approach to High Performance Haskell programming
收藏 引用
ACM SIGPLAN NOTICES 2013年 第12期48卷 1-11页
作者: Ankner, Johan Svenningsson, Josef Chalmers Univ Technol Gothenburg Sweden
This paper argues for a new methodology for writing high performance Haskell programs by using Embedded Domain Specific Languages. We exemplify the methodology by describing a complete library, meta-repa, which is a r... 详细信息
来源: 评论
Dependently typed array programs don't go wrong
收藏 引用
JOURNAL OF LOGIC AND ALGEBRAIC programming 2009年 第7期78卷 643-664页
作者: Trojahner, Kai Grelck, Clemens Med Univ Lubeck Inst Software Technol & Programming Languages Lubeck Germany
The array programming paradigm adopts multidimensional arrays as the fundamental data structures of computation. array operations process entire arrays instead of just single elements. This makes array programs highly... 详细信息
来源: 评论
Recycle Your arrays!
收藏 引用
11th International Symposium on Practical Aspects of Declarative Languages
作者: Leshchinskiy, Roman Univ New S Wales Sch Engn & Comp Sci Sydney NSW 2052 Australia
Purely functional arrays are notoriously difficult to implement and use efficiently due to the absence of destructive updates and the resultant frequent copying. Deforestation frameworks such as stream fusion achieve ... 详细信息
来源: 评论