Rezultaty - detection ((computational programming) or (computing programming)) service arrays

1

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

od van Haasteren, Rutger., van Haasteren, Rutger.
Wydane 2014

Spis treści: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Wydane 2005

Spis treści: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Wydane 2005

Spis treści: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Wydane 2008

Spis treści: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Wydane 2005

Spis treści: “... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Wydane 2010

Spis treści: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Wydane 2010

Spis treści: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Python Scripting for Computational Science

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2006

Spis treści: “... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Wydane 2014

Spis treści: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Wydane 2007

Spis treści: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Dokumenty pełnotekstowe

Elektroniczne E-book