1
Được phát hành 2005
Mục lục: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... Scope Analysis for Generic Programs on Arrays....
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
5
Được phát hành 2006
Mục lục: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
lấy văn bản
Điện tử eBook
7
Được phát hành 2005
Mục lục: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
lấy văn bản
Điện tử eBook
9
Được phát hành 2013
Mục lục: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
lấy văn bản
Điện tử eBook
10
Bằng Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Được phát hành 2005
Mục lục: ... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...
lấy văn bản
Điện tử eBook
11
Bằng Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Được phát hành 2006
Mục lục: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
lấy văn bản
Điện tử eBook
12
Bằng Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Được phát hành 2012
Mục lục: ... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...
lấy văn bản
Điện tử eBook
13
Bằng Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Được phát hành 2015
Mục lục: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
lấy văn bản
Điện tử eBook
14
Được phát hành 2014
Mục lục: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
lấy văn bản
Điện tử eBook
15
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2011
Mục lục: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
lấy văn bản
Điện tử eBook
16
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2012
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
17
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2014
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
18
Được phát hành 2008
Mục lục: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
lấy văn bản
Điện tử eBook
19
Được phát hành 2006
Mục lục: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
lấy văn bản
Điện tử eBook