1
Baskı/Yayın Bilgisi 2013
İçindekiler: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2013
İçindekiler: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2008
İçindekiler: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2005
İçindekiler: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2008
İçindekiler: ... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2014
İçindekiler: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Tam Metin Erişim
Elektronik Ekitap