1
Published 2006
Table of Contents: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Scope Analysis for Generic Programs on Arrays....
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors -- On the Difficulty...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...
View full text
Electronic eBook