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