1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
3
Table of Contents: ... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... for Continuous Optimization Problems -- An Efficient Optimization Method for Revealing Local Optima of Projection...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ...  Foreword -- My Professional Career: A Summary by Kenneth Waldron -- Table of Contents -- Part 1...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
View full text
Electronic eBook
14
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: ...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Cooperative Artificial Immune System for Function Optimization -- Image Reconstruction from Projection under...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...Session 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Part I: Mathematical Foundations: 1 Cem Yolcu and Evren Özarslan: Diffusion-Weighted Magnetic...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook