1
Bằng van Haasteren, Rutger., van Haasteren, Rutger.
Được phát hành 2014
Mục lục: ...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ... Infrastructure and a Service Level Agreement Negotiation Protocol for Robust Scheduling in Grid Computing...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
lấy văn bản
Điện tử eBook
6
Được phát hành 2005
Mục lục: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
lấy văn bản
Điện tử eBook
7
Được phát hành 2014
Mục lục: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
lấy văn bản
Điện tử eBook
13
Được phát hành 2010
Mục lục: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
lấy văn bản
Điện tử eBook
15
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2006
Mục lục: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
lấy văn bản
Điện tử eBook
16
Được phát hành 2005
Mục lục: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
lấy văn bản
Điện tử eBook
18
Được phát hành 2013
Mục lục: ... of Grid Workflow Service Based on GSCPN -- A Voice Conversion Method Based on the Separation of Speaker...
lấy văn bản
Điện tử eBook
19
Được phát hành 2005
Mục lục: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
lấy văn bản
Điện tử eBook
20
Được phát hành 2014
Mục lục: ... Queue with two Service Modes -- A Novel Approach for Gene Selection of Leukemia Dataset Using Different...
lấy văn bản
Điện tử eBook