1
بواسطة van Haasteren, Rutger., van Haasteren, Rutger.
منشور في 2014
جدول المحتويات: ...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Jalalian, Afsaneh
منشور في 2010
الموضوعات: ...Parallel programming (Computer science)...
احصل على النص الكامل
أطروحة
3
منشور في 2015
جدول المحتويات: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
بواسطة Harrison, Lee Andrew (Andy),
منشور في 2020
جدول المحتويات: ... Antennas -- 3.2.2 Loop Antennas -- 3.2.3 Aperture Antennas -- 3.2.4 Horn Antennas -- 3.2.5 Antenna Arrays...
كتاب
6
منشور في 2014
جدول المحتويات: ... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2007
جدول المحتويات: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2005
جدول المحتويات: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2010
جدول المحتويات: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2005
جدول المحتويات: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2005
جدول المحتويات: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2010
جدول المحتويات: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
بواسطة Langtangen, Hans Petter., Langtangen, Hans Petter.
منشور في 2006
جدول المحتويات: ... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2007
جدول المحتويات: ... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2008
جدول المحتويات: ... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...
احصل على النص الكامل
الكتروني كتاب الكتروني