Arama Sonuçları - parallel array programs function ((dysfunction https) OR (function https))*

1

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Scope Analysis for Generic Programs on Arrays....”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Tam Metin Erişim

Elektronik Ekitap

10

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

Yazar: Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Yazar: Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Tam Metin Erişim

Elektronik Ekitap

15

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2011

İçindekiler: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Tam Metin Erişim

Elektronik Ekitap

16

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim

Elektronik Ekitap

17

A Primer on Scientific Programming with Python

Yazar: Langtangen, Hans Petter., Langtangen, Hans Petter.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt