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 2013
Mục lục: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...
lấy văn bản
Điện tử eBook
4
Được phát hành 2006
Mục lục: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
lấy văn bản
Điện tử eBook
5
Mục lục: ... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...
lấy văn bản
Điện tử eBook
6
Bằng Serakos, Demetrios., Serakos, Demetrios.
Được phát hành 2015
Mục lục: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
lấy văn bản
Điện tử eBook
7
Được phát hành 2005
Mục lục: ... of Weighted Continuous Functions -- On a Gevrey-Nonsolvable Partial Differential Operator -- Optimal...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
lấy văn bản
Điện tử eBook
10
Đượ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
11
Được phát hành 2005
Mục lục: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
lấy văn bản
Điện tử eBook
12
Bằng Freeman, Adam., Freeman, Adam.
Được phát hành 2010
Mục lục: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
lấy văn bản
Điện tử eBook
13
Bằng Eisner, Tanja., Eisner, Tanja.
Được phát hành 2010
Mục lục: ...Introduction -- Chapter I. Functional analytic tools -- 1. Structure of compact semigroups -- 2...
lấy văn bản
Điện tử eBook
14
Được phát hành 2010
Mục lục: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
lấy văn bản
Điện tử eBook
17
Được phát hành 2013
Mục lục: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
lấy văn bản
Điện tử eBook
18
Được phát hành 2010
Mục lục: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
lấy văn bản
Điện tử eBook
19
Bằng Ruzhansky, Michael., Ruzhansky, Michael., Turunen, Ville.
Được phát hành 2010
Mục lục: ...Foundations of Analysis -- Sets, Topology and Metrics -- Elementary Functional Analysis -- Measure...
lấy văn bản
Điện tử eBook
20
Được phát hành 2008
Mục lục: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
lấy văn bản
Điện tử eBook