檢索結果 - parallel array program functionality

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文

電子電子書

2

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

出版 2006

書本目錄: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
獲取全文

電子電子書

3

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

出版 2005

書本目錄: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
獲取全文

電子電子書

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

出版 2007

書本目錄: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
獲取全文

電子電子書

5

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

出版 2010

書本目錄: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
獲取全文

電子電子書

6

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

出版 2006

書本目錄: “... Scope Analysis for Generic Programs on Arrays....”
獲取全文

電子電子書

7

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版 2005

書本目錄: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
獲取全文

電子電子書

8

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

出版 2010

書本目錄: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
獲取全文

電子電子書

9

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

出版 2013

書本目錄: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
獲取全文

電子電子書

10

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

由 Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
出版 2005

書本目錄: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
獲取全文

電子電子書

11

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

由 Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
出版 2012

書本目錄: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
獲取全文

電子電子書

12

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

由 Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
出版 2015

書本目錄: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
獲取全文

電子電子書

13

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

出版 2014

書本目錄: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
獲取全文

電子電子書

14

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

由 Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
出版 2006

書本目錄: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
獲取全文

電子電子書

15

A Primer on Scientific Programming with Python

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2011

書本目錄: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
獲取全文

電子電子書

16

A Primer on Scientific Programming with Python

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2012

書本目錄: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
獲取全文

電子電子書

17

A Primer on Scientific Programming with Python

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2014

書本目錄: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
獲取全文

電子電子書

18

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

出版 2008

書本目錄: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
獲取全文

電子電子書

19

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

出版 2006

書本目錄: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
獲取全文

電子電子書

20

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

出版 2010

書本目錄: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
獲取全文

電子電子書

縮小搜索