Zoekresultaten - parallel array programming functionality functions https

1

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

Gepubliceerd in 2005

Inhoudsopgave: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2007

Inhoudsopgave: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2006

Inhoudsopgave: “... Scope Analysis for Generic Programs on Arrays....”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2007

Inhoudsopgave: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2006

Inhoudsopgave: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2010

Inhoudsopgave: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2010

Inhoudsopgave: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2005

Inhoudsopgave: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volledige tekst

Elektronisch E-boek

9

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

door Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Gepubliceerd in 2005

Inhoudsopgave: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2013

Inhoudsopgave: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Volledige tekst

Elektronisch E-boek

11

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

door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2012

Inhoudsopgave: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Volledige tekst

Elektronisch E-boek

12

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

door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2015

Inhoudsopgave: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2014

Inhoudsopgave: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volledige tekst

Elektronisch E-boek

14

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

door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2006

Inhoudsopgave: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Volledige tekst

Elektronisch E-boek

15

A Primer on Scientific Programming with Python

door Langtangen, Hans Petter., Langtangen, Hans Petter.
Gepubliceerd in 2011

Inhoudsopgave: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Volledige tekst

Elektronisch E-boek

16

A Primer on Scientific Programming with Python

door Langtangen, Hans Petter., Langtangen, Hans Petter.
Gepubliceerd in 2014

Inhoudsopgave: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volledige tekst

Elektronisch E-boek

17

A Primer on Scientific Programming with Python

door Langtangen, Hans Petter., Langtangen, Hans Petter.
Gepubliceerd in 2012

Inhoudsopgave: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2008

Inhoudsopgave: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2006

Inhoudsopgave: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken