1
Udgivet 2010
Indholdsfortegnelse: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...
Få fuldtekst
Electronisk eBog
6
Indholdsfortegnelse: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Få fuldtekst
Electronisk eBog
9
Udgivet 2005
Indholdsfortegnelse: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Få fuldtekst
Electronisk eBog
18
Udgivet 2012
Indholdsfortegnelse: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Få fuldtekst
Electronisk eBog